Assertion: büchi automaton | /r/HasProperty | a muller automaton
Facets:
Source sentences:
text: Every Büchi automaton can be regarded as a Muller automaton.