Assertion: machine's state | /r/HasProperty | necessary
Facets:
Source sentences:
text: Nesting states inside others is necessary when an activity involves concurrent sub-activities.