Assertion: kind | /r/HasSubgroup | different kind
Facets:
Source sentences: