Assertion: semaphore | /r/HasProperty | a counter integer
Facets:
value: basically
type: DEGREE
Source sentences:
text: Basically a semaphore is a counter (integer) that allows a thread to get into a critical region if the value of the counter is greater than 0.