Assertion: sieve | /r/HasProperty | empty
Facets:
value: for any f
type: OTHER
value: always
type: DEGREE
Source sentences:
text: His hands were tired, the sand was boiling, the sieve was empty.
text: If we denote by ∅ c the empty sieve on c, that is, the sieve for which ∅(d) is always the empty set, then for any f