Assertion: machine's state | /r/HasProperty | shown as concentric circles
Facets:
Source sentences:
text: The final state of a state machine diagram is shown as concentric circles.