@preserves

reldef:@preserves

preserves — 'preserves' relation asserted between two atoms.