Assertion: state machine | /r/CapableOf | enter the auction
Facets:
Source sentences:
text: In this example, the state machine first entering the Auction requires a fork at the start into two separate start threads.