Assertion: filter | /r/HasProperty | closed with respect
Facets:
value: to finite intersection
type: OTHER
Source sentences:
text: Thus the filter should be closed with respect to finite intersection.