Assertion: moore machine | /r/HasAspect | one output
Facets:
Source sentences:
text: Simple Moore machines have one input and one output: