Assertion: filter | /r/HasProperty | free
Facets:
Source sentences:
text: A filter on S is free if and only if it includes the Fréchet filter.
text: A filter on is free if and only if it includes the Fréchet filter.