Assertion: filter | /r/CapableOf | satisfy the properties of ii
Facets:
Source sentences:
text: : if F is a filter base satisfying the properties of (i), then the filter associated to F satisfies the properties of (ii).