Assertion: default | /r/HasProperty | searched
Facets:
Source sentences:
text: Although the default set of files to be searched for is lib name .so