Assertion: indefinite wait | /r/HasProperty | possible
Facets:
value: at these points
type: TEMPORAL
Source sentences:
text: The reason for this is that an indefinite wait is possible at these points-whatever event is being waited for, even if the program is totally correct, might never occur; for example, some input data being awaited might never be sent.