<
Eval( Id , C) = _lookup(C, id)
As defined in Section A.3.4.5, _lookup(b, nm) is the value associated with the non-empty name nm in the binding b. The evaluation halts with a runtime error if nm is empty or is not in b's domain.
