Assertion: package's subprogram | /r/HasProperty | invoked by other subprograms
Facets:
value: in the same package
type: OTHER
Source sentences:
text: If a subprogram spec is not included in the package spec, that subprogram can only be invoked by other subprograms in the same package.