Assertion: set's number | /r/HasProperty | countable
Facets:
Source sentences:
text: Let q 1 , q 2 , ... be an enumeration of the rational numbers in [−1, 1] (recall that the rational numbers are countable).