Assertion: state machine | /r/Desires | fork
Facets:
value: in this example
type: OTHER
value: at the start
type: TEMPORAL
value: into two separate start threads
type: OTHER
Source sentences:
text: In this example, the state machine first entering the Auction requires a fork at the start into two separate start threads.