Assertion: sieve | /r/HasProperty | ′ ∈
Facets:
Source sentences:
text: and ′ are sieves on , ⊆ ′, and ∈ ( ), then ′ ∈ ( ).