Assertion: tangle | /r/HasSubgroup | iota tangle
Facets:
Source sentences: