Assertion: vector | /r/HasSubgroup | tick vector
Facets:
Source sentences: