Assertion: robot | /r/HasSubgroup | deterministic finite automaton
Facets:
Source sentences: