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