Assertion: group | /r/HasProperty | countable
Facets:
Source sentences:
text: The group of rotations by rational angles is countable, but still not cyclic.