Assertion: set's property | /r/HasProperty | true
Facets:
value: for the empty set
type: TRANSITIVE-OBJECT
value: vacuously
type: DEGREE
Source sentences:
text: Many possible properties of sets are vacuously true for the empty set.