Assertion: pda | /r/HasSubgroup | new pda
Facets:
Source sentences: