Assertion: semaphore | /r/HasProperty | initialized as s1 = 0
Facets:
Source sentences:
text: The semaphores are initialized as S0 = 1, S1 = 0 and S2 = 0.