Assertion: syntax | /r/HasSubgroup | formula syntax
Facets:
Source sentences: