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