Assertion: machine's state | /r/HasProperty | more machines
Facets:
value: in a hierarchical fashion
type: MANNER
Source sentences:
text: A statechart is essentially a state machine that allows any state to include more machines, in a hierarchical fashion.