@provides Efficiently

reldef:@provides_efficiently

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