Assertion: package's type | /r/HasProperty | record a
Facets:
Source sentences:
text: Unbounded; type Basic_Record is record A : Unbounded.