@achieves

reldef:@achieves

achieves — 'achieves' relation asserted between two atoms.