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