Assertion: package's body | /r/CapableOf | define subprogram
Facets:
value: fully
type: MANNER
Source sentences:
text: The body fully defines cursors and subprograms, and so implements the spec.