Assertion: package's specification | /r/CapableOf | define private function
Facets:
Source sentences:
text: The body declares a private variable, defines the public cursor and subprograms that the specification declares, declares and defines a private function, and has an initialization part.