Assertion: barrier | /r/HasProperty | 21 b -flag
Facets:
Source sentences:
text: no other threads in barrier 20 { 21 b -> flag = 0 ; // first arriver clears flag 22