@next Locus

reldef:@next_locus

next locus — 'next locus' relation asserted between two atoms.