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