Assertion: future | /r/HasProperty | resolved
Facets:
Source sentences:
text: If the value of a future is accessed asynchronously, for example by sending a message to it, or by explicitly waiting for it using a construct such as when in E, then there is no difficulty in delaying until the future is resolved before the message can be received or the wait completes.
text: potentially, the access could succeed if the future is already resolved, but signal an error if it is not.