Assertion: package's subprogram | /r/HasProperty | defined in the specification
Facets:
Source sentences:
text: All the subprograms defined in the specification have to be implemented in the body.