Assertion: package's file | /r/HasProperty | suitably-named subdirectory
Facets:
Source sentences:
text: file is a suitably-named subdirectory of texmf/tex/latex/ . "