@refines

reldef:@refines

refines — 'refines' relation asserted between two atoms.