Assertion: filter | /r/HasProperty | upward-closed
Facets:
Source sentences:
text: Thus the filter is upward-closed.