Assertion: package's file | /r/HasProperty | produced
Facets:
Source sentences:
text: (glossary) file has been produced.