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