Assertion: filter's element | /r/HasProperty | given
Facets:
Source sentences:
text: The smallest filter that contains a given element p is a principal filter and p is a principal element in this situation.