Assertion: ω automaton | /r/CapableOf | admit many different runs
Facets:
value: on any given input
type: LOCATION
Source sentences:
text: A nondeterministic ω-automaton may admit many different runs on any given input, or none at all.