@defines

reldef:@defines

defines — 'defines' relation asserted between two atoms.