Assertion: group | /r/HasAspect | finite number of elements
Facets:
Source sentences:
text: A group is called finite if it has a finite number of elements.