@violates

reldef:@violates

violates — 'violates' relation asserted between two atoms.