Assertion: semaphore's counter | /r/HasProperty | initialized to * nonnegative value
Facets:
value: by default
type: MANNER
Source sentences:
text: Its counter can be initialized to any * nonnegative value -- by default, it is zero.