Assertion: customer semaphore | /r/AtLocation | signaled state
Facets:
Source sentences:
text: As we know, the customer semaphore is initially in the signaled state.