Assertion: expression | /r/HasProperty | evaluated in extended environment
Facets:
value: sequentially
type: MANNER
Source sentences:
text: When the procedure is later called with some actual arguments, the environment in which the lambda expression was evaluated will be extended by binding the variables in the formal argument list to fresh locations, the corresponding actual argument values will be stored in those locations, and the expressions in the body of the lambda expression will be evaluated sequentially in the extended environment.