Assertion: semaphore's state | /r/HasProperty | msg *frame
Facets:
Source sentences:
text: deliverSWP(SwpState state, Msg *frame)