Assertion: machine's input | /r/HasSubevent | more than one
Facets:
value: in a non-deterministic automaton
type: OTHER
Source sentences:
text: In a non-deterministic automaton, an input can lead to one, more than one, or no transition for a given state.