理論言語学において，統語構造を決定するテストの一つに弱交差現象がある．英語の二重目的語構文，与格構文内の二つの目的語のなす階層構造には異なる分析が存在するが，弱交差現象が観測できれば，それらの間の優劣を決めることができる．しかしながら，上述の二つの構文についての弱交差現象の判断には一般的に揺れがあり，これまで決定的な結論は得られていなかった．本研究では，言語機能科学の手法を採用して，上述の異なる分析について，判断に関わる様々な要因をコントロールした厳密な実験を行った．検証の結果は，生成文法におけるLarsonの古典的な分析や，近年の継続文法を支持し，組み合わせ範疇文法と依存型意味論によるBekkiの分析を反証するものである．

理論言語学において，束縛変項照応(BoundVariableAnaphora：以下BVA)解釈とは，代名詞の指示対象が，先行詞である量化詞の解釈に連動する解釈である．たとえば主語・目的語間では，(1a)1）は，「全ての従業員がそれぞれ自身のメンターを褒めた」のように，“theirmentor”を従業員ひとりひとりに対し，それぞれのメンターとして解釈可能である．しかし，(1b)においては「それぞれの従業員のメンターがその従業員を褒めたということが，すべての従業員について起こった」というBVA解釈は難しいとされている．この現象は弱交差(WeakCrossover：以下，WCO)現象[1,2]として知られている．(1)a.[Everyemployee]𝑖praisedtheir𝑖mentor.b.*Their𝑖mentorpraised[everyemployee]𝑖.1）ここでのtheirはいわゆるsingulartheyを意図しており，単数である．WCO現象は，自然言語の統語構造が階層的であることの証拠の一つとして捉えられてきたが，同時に統語構造を決定するためにも用いられてきた．英語において，その統語構造について異なる分析が与えられてきた構文として，二重目的語構文(doubleobjectconstruction,DOC)と与格構文(obliquedativeconstruction,ODC)がある．組合せ範疇文法(Combinatorycategorialgrammar：以下，CCG;Steedman[3,4])では，二つ目の目的語が一つ目の目的語より上の位置にあり，(2a)や(3a)でWCO現象がみられることを予測するが，Larson[5]やBarkerandShan[6]では，一つ目の目的語が二つ目の目的語より上の位置になるため(2b)や(3b)でWCO現象がみられることを予測する．(2)a.Johnshowed[everyemployee]𝑖their𝑖mentor.b.Johnshowedtheir𝑖mentor[everyemployee]𝑖.(3)a.Johnshowed[everyemployee]𝑖totheir𝑖men-tor.b.Johnshowedtheir𝑖mentorto[everyemployee]𝑖.このようにWCO現象は，上述の分析のいずれが正しいかを決定するテストになりうるが，WCO現象には被験者の判断に揺れがあるとされており，これまで強い証拠として扱われてこなかった．しかし，言語機能科学（LanguageFacultyScience：以下LFS;Hoji[7,8]）では，主語・目的語間のWCO現象に対し，構造以外の要因に基づくBVA解釈をする被験者を排除するようにコントロールした実験を行うと，判断の揺れが取り除くことができ，(1b)のような文は容認不可能となることを示した．この実験結果は，Fukushimaetal.[9]でも再現されている．そこで本研究では，LFSの手法を用いることによって，二重目的語構文や与格構文におけるWCO.現象について，構造以外の要因に基づくBVA解釈を排除するようにコントロールした実験を行う．この実験によって得られた結果は，二重目的語構文と与格構文について，異なる分析のいずれが正しい予測をもたらすのかを検証することができる．そのような分析のうち，本稿では，二つの意味論的アプローチ，BarkerandShan[6]のContinuation-basedgrammarと，Bekki[10]の依存型意味論(dependenttypesemantics：以下，DTS)を取り上げ，それらの二重目的語構文や与格構文についての予測を検証する．