Assertion: script | /r/HasSubgroup | formal script
Facets:
Source sentences: