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