Assertion: robot | /r/CapableOf | start in state
Facets:
Source sentences:
text: The automaton starts in state, and transitions to the non-accepting stateupon reading the symbol.