Assertion: upper set | /r/HasProperty | all of f.
Facets:
Source sentences:
text: A subset S of F is a filter basis if the upper set generated by S is all of F.