Assertion: machine's state | /r/HasProperty | split in multiple moore machine states
Facets:
Source sentences:
text: Every such state needs to be split in multiple Moore machine states, one for every incident output symbol.