Assertion: set | /r/HasProperty | countable
Facets:
Source sentences:
text: There exists an enumeration for a set (in this sense) if and only if the set is countable.