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