@implements

reldef:@implements

implements — 'implements' relation asserted between two atoms.