Assertion: package's subprogram | /r/HasProperty | called 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 called by other subprograms in the same package.