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