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