Assertion: lie | /r/HasSubgroup | sur lie
Facets:
Source sentences: