Assertion: set's cardinality | /r/HasProperty | finite
Facets:
Source sentences:
text: The cardinality of X is neither finite nor equal to ℵ 0