Assertion: ball | /r/HasSubgroup | formal ball
Facets:
Source sentences: