Assertion: semaphore's state | /r/HasProperty | variable nfe
Facets:
Source sentences:
text: For the receiving side of the protocol, the state includes the variable NFE.