@contradicts

reldef:@contradicts

contradicts — 'contradicts' relation asserted between two atoms.