Assertion: different semaphore | /r/HasProperty | owned by a. more complex combinations
Facets:
Source sentences:
text: In the simplest case, thread A is trying to get a semaphore which is owned by B, while B is trying to get a different semaphore which is owned by A. More complex combinations are also possible: