Assertion: paragraph | /r/HasSubgroup | inductive paragraph
Facets:
Source sentences: