Assertion: robot | /r/CapableOf | jump into any of a number of states
Facets:
value: after reading an input symbol
type: TEMPORAL
Source sentences:
text: : An automaton that, after reading an input symbol, may jump into any of a number of states, as licensed by its transition relation.