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