Assertion: version | /r/HasSubgroup | binary version
Facets:
Source sentences: