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