Assertion: resolution | /r/HasSubgroup | concurrent resolution
Facets:
Source sentences: