@generates Efficiently

reldef:@generates_efficiently

generates efficiently — 'generates efficiently' relation asserted between two atoms.