Further constraints on the null Comp $\epsilon$_C

There are additional constraints on where the null Comp $\epsilon$_C can occur. The null Comp is not permitted in cases of subject extraction unless there is an intervening clause or or the relative clause is a reduced relative (mode = ppart/ger). This can be seen in ((191)-(194)).

(190)0(190

(191)

*the toy [$\epsilon$_i [$\epsilon$_C [ $\epsilon$_i likes Dafna]]]  (191)0(191

(192)

the toy [$\epsilon$_i [$\epsilon$_C Fred thinks [ $\epsilon$_i likes Dafna]]]  (192)0(192

(193)

the boy [$\epsilon$_i [$\epsilon$_C [ $\epsilon$_i eating the guava]]]  (193)0(193

(194)

the guava [$\epsilon$_i [$\epsilon$_C [ $\epsilon$_i eaten by the boy]]] 

To model this paradigm, the feature $\langle$rel-pron$\rangle$ is used in conjunction with the following equations:

• S_r.t:$\langle$rel-pron$\rangle =$ Comp.t:$\langle$rel-pron$\rangle$
• S_r.b:$\langle$rel-pron$\rangle =$ S_r.b:$\langle$mode$\rangle$
• Comp.b:$\langle$rel-pron$\rangle =$ppart/ger/adj-clause (for $\epsilon$_C)

The full set of the equations shown above is only present in Comp substitution trees involving subject extraction. So ((195)) will not be ruled out.

(194)0(194

(195)

the toy [$\epsilon$_i [$\epsilon$_C [ Dafna likes $\epsilon$_i ]]] 

The feature mismatch induced by the above equations is not remedied by adjunction of just any S-adjunct because all other S-adjuncts are transparent to the $\langle$rel-pron$\rangle$ feature because of the following equation:
S_m.b:$\langle$rel-pron$\rangle =$ S_f.t:$\langle$rel-pron$\rangle$