@reverts

reldef:@reverts

reverts — 'reverts' relation asserted between two atoms.