@precedes

reldef:@precedes

precedes — 'precedes' relation asserted between two atoms.