Assertion: set | /r/CapableOf | call principal filter
Facets:
Source sentences:
text: For example, if x is an element of the poset, then the set of elements that are above x is a filter, called the principal filter at