ECM

Cases where for assigns exceptional case (cf. (215), (216)) are handled.

(214)0(214

(215)

a book [$\epsilon$_w<<14212>>i [for [Muriel to read $\epsilon$_i]]]  (215)0(215

(216)

the time [$\epsilon$_w<<14215>>i [for [Muriel to leave Haverford]]] 

The assignment of case by for is implemented by a combination of the following equations.
Comp.t:$\langle$assign-case$\rangle =$acc
S_r.t:$\langle$assign-case$\rangle =$Comp.t:$\langle$assign-case$\rangle$
S_r.b:$\langle$assign-case$\rangle =$NP₀.t:$\langle$case$\rangle$