Assertion: line | /r/HasSubgroup | infinite line
Facets:
Source sentences: