@reduces

reldef:@reduces

reduces — 'reduces' relation asserted between two atoms.