動詞句内主語仮説
すなわち、SLEEP(John) という意味表現は、SLEEPという関数が項Johnにより飽和された命題 (または真理値) の単位である。
よって、上記の意味表示は以下の構造を成している。
ここで重要となるのは、seemなどの動詞を繰り上げ述語としない場合に、どのように John seems to sleep all day の意味表示を導くかである。これには、主に2つの選択肢がある。
意味計算の段階で主語を繰り下げる。
it主語文と繰り上げ構文の間の意味的相関性を否定し、関数がさらに別の関数を項にとる (SEEM(SLEEP))(John) のような意味表示を仮定する。
これら2つの選択肢は、双方とも問題を孕んでいる。1つ目の選択肢は「繰り上げ」を逆にしたのみであるため有効な代替案とはなりえず、2つ目の選択肢は不可能ではないが、「seemという動詞の語彙項目は2つ存在する」ということを証左する強い証拠が必要となる。
さらに、論理上同じ意味となる下記のような文間の相関性も捉えられない。
特に、mightのような助動詞はIに生起するため、この問題は根本的に、「主語は動詞句の外に基底生成される」という仮定から生まれる問題である。一方、動詞句内主語仮説のもとでは、上記の文は同一の論理的意味構造を持つ。
等位構造制約 (英: Coordinate Structure Constraint, CSC) とは、Ross (1967)により提唱された、等位項 (英: conjunct) あるいは等位項内の一部を移動してはならないとする制約である。
なお、補足として、両方の等位項からの抜き出しがある場合は、非文は導かれない。
このような抜き出しは、全域的抜き出し (英: across-the-board (ATB) extraction) と呼ばれる。 一方で、提案者であるRoss自身、等位構造制約には例外があることを言及している。その代表例が、能動文と受動文の間の等位接続である。
Perlmutter (1978)が非対格仮説 (英: unaccusative hypothesis) を提案して以降、受動文の表層主語は他動詞の目的語位置に基底生成され、主語位置に移動することで派生されると考えられている。このため、(16) に示すように、能動文と受動文からなる等位構造は、片方の等位項内からの構成素の移動が関連していると考えられ、等位構造制約にとって大きな問題となる。 しかし、動詞句内主語仮説を採用した場合、VP等位項からのATB抜き出しとしてこの事実を包括的に説明することが可能となる。
その他のさらなる証拠については、McCloskey (1997)などを参照のこと。
動詞句内主語仮説は、文主語はSpec-IPではなくSpec-VPに基底生成されることを仮定する仮説である。この仮説のもとでは、上記の文は以下のように派生される。
この構造では、eatの主語項はSpec-VPに基底生成されたのち、Iの持つEPP素性(英語版)の要求、または格付与および一致の要請に応じて、Spec-IPへ移動することで文全体の線形順序が派生される。