Assertion: semaphore's count | /r/CapableOf | retain only one state
Facets:
Source sentences:
text: However, a recursive mutex can be locked more than once (POSIX complaint systems), in which a count is associated with it, yet retains only one state (locked/unlocked).