ECM

Cases where for assigns exceptional case (cf. (267), (268)) are handled.

(266)0(266

(267)

a book [_w<<15276>>i [for [Muriel to read _i]]]  (267)0(267

(268)

the time [_w<<15279>>i [for [Muriel to leave Haverford]]] 

The assignment of case by for is implemented by a combination of the following equations.
Comp.t:assign-caseacc
S_r.t:assign-caseComp.t:assign-case
S_r.b:assign-caseNP₀.t:case