Assertion: configuration | /r/HasSubgroup | spdf configuration
Facets:
Source sentences: