Assertion: void | /r/HasSubgroup | qed vacuum
Facets:
Source sentences: