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