Assertion: package's body | /r/CapableOf | define public cursor
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.