Assertion: customer semaphore | /r/HasProperty | signaled
Facets:
Source sentences:
text: If it is signaled then the loop continues, otherwise it waits till the customer semaphore is signaled.