Assertion: machine's state | /r/HasProperty | indicated with solid circle
Facets:
Source sentences:
text: The initial state of a state machine diagram, known as an initial pseudo-state, is indicated with a solid circle.