姚從軍

一、組合范疇語(yǔ)法CCG|

在過(guò)去的二十年間，如何處理好照應(yīng)和省略現(xiàn)象，一直是范疇語(yǔ)法所關(guān)注的重點(diǎn)和難點(diǎn)。以往的相關(guān)工作可以總結(jié)為兩個(gè)方面的努力:一種是詞匯方法，即認(rèn)為回指含義由特定的語(yǔ)詞激發(fā)，照應(yīng)詞條的語(yǔ)義表達(dá)式包含一個(gè)λ-算子，約束一個(gè)變?cè)亩啻纬霈F(xiàn)①Szabolsci Anna，Bound Variables in Syntax(are there any?)，Semantics and Contextual Expressions，vol.32，no.6，1989，pp.295-318;Moortgat Michael，Generalized Quantification and Discontinuous Type Constructors，Discontinuous Constituency，De Gruyter，vol.16，no.8，1996，pp.181-208;Morrill Glyn，Type Logical Anaphora，Report de Recerca LSI-00-77-R，Department de Llenguatges I Sistemes Informàtics，Universitat Politècnica de Catalunya，2000.;另一種是句法方法，即認(rèn)為照應(yīng)操作在句法中進(jìn)行，承認(rèn)詞條之間具有線性性質(zhì)，允許語(yǔ)詞資源的重復(fù)使用②Pauline Jacobson，Paycheck Pronouns，Bach-Peters Sentences，and Variable-free Semantics，Natural Language Semantics，vol.8，no.2，2000，pp.88-101;J?ger.G，Anaphora and Type Logical Grammar，Netherland:Springer，2005，pp.121-129;滿海霞:《漢語(yǔ)照應(yīng)省略的類型邏輯研究》，博士學(xué)位論文，北京:中國(guó)社會(huì)科學(xué)院研究生院，2010年，第139～156頁(yè)。。

這些嘗試都是在類型邏輯語(yǔ)法框架內(nèi)對(duì)照應(yīng)和省略現(xiàn)象的處理，筆者將在組合范疇語(yǔ)法框架內(nèi)處理照應(yīng)和省略現(xiàn)象。針對(duì)漢語(yǔ)的代詞照應(yīng)現(xiàn)象、空代詞照應(yīng)現(xiàn)象，以及動(dòng)詞省略及其照應(yīng)現(xiàn)象，模擬J?ger和滿海霞在類型邏輯語(yǔ)法框架內(nèi)對(duì)照應(yīng)現(xiàn)象的處理方法，使用合適的規(guī)則對(duì)原生態(tài)組合范疇語(yǔ)法CCG進(jìn)行擴(kuò)展，得到包含照應(yīng)算子的組合范疇語(yǔ)法CCG|(|表示照應(yīng)算子);使用由此得到的組合范疇語(yǔ)法CCG|處理漢語(yǔ)的動(dòng)詞省略及其照應(yīng)現(xiàn)象。對(duì)于漢語(yǔ)的代詞照應(yīng)現(xiàn)象和空代詞照應(yīng)現(xiàn)象的處理將另文撰述。

CCG|就是在原生態(tài)組合范疇語(yǔ)法的基礎(chǔ)上，增加照應(yīng)算子|、照應(yīng)范疇以及涉及照應(yīng)的一些推理規(guī)則而得到的CCG的擴(kuò)展。

定義1 CCG|范疇

1.s和 np是范疇;

2.如果 A和B是范疇，那么A/B，BA，A·B，A|B也是范疇。

其中，“”、“/”與“·”與 CCG 中的定義相同，對(duì)自然語(yǔ)言中的連續(xù)成分進(jìn)行運(yùn)算;“|”可以直接處理通常為不連續(xù)結(jié)構(gòu)的照應(yīng)現(xiàn)象，直接尋找可以匹配的先行詞:一個(gè)范疇為A|B的語(yǔ)詞向后(或向前)找到一個(gè)范疇為B的先行詞，就生成一個(gè)范疇為A的詞項(xiàng)。

定義2 CCG|的規(guī)則

CCG|的規(guī)則集是在原生態(tài)CCG規(guī)則的基礎(chǔ)上增加關(guān)于照應(yīng)的規(guī)則而生成的。因此，CCG|的規(guī)則有兩部分組成:一是CCG的規(guī)則;二是關(guān)于照應(yīng)算子的規(guī)則。注意，在下面的表述中，“:”前面是范疇，后面是語(yǔ)義λ項(xiàng)。

原生態(tài)組合范疇語(yǔ)法CCG是范疇語(yǔ)法AB-演算的擴(kuò)展，因此CCG的規(guī)則就是對(duì)AB-演算①Bar-Hillel and Yehoshua，A Quasi-arithmetical Notation for Syntactic Description.Language，vol.29，no.3，1953，pp.47–58.的規(guī)則擴(kuò)展而成的。AB-演算僅包括函項(xiàng)應(yīng)用規(guī)則，這里表述如下:

(1)函項(xiàng)應(yīng)用規(guī)則

a.X/Y:fY:a?X:fa(＞)

b.Y:aXY:f?X:fa(＜)

上述規(guī)則a表示一個(gè)范疇為X/Y的自然語(yǔ)言表達(dá)式向右毗連一個(gè)范疇為Y的自然語(yǔ)言表達(dá)式后，得到一個(gè)范疇為X的自然語(yǔ)言表達(dá)式;規(guī)則b表示一個(gè)范疇為XY的自然語(yǔ)言表達(dá)式向左毗連一個(gè)范疇為Y的自然語(yǔ)言表達(dá)式后，得到一個(gè)范疇為 X的自然語(yǔ)言表達(dá)式。

在給出一個(gè)表達(dá)式的推演時(shí)，我們先把它的詞匯按固有順序依次列出，同時(shí)從詞庫(kù)中引入它們的范疇，然后把規(guī)則應(yīng)用到毗連的成對(duì)范疇上。通過(guò)加下劃線及給下劃線標(biāo)注代表規(guī)則的符號(hào)來(lái)表述每一步推演。不帶標(biāo)記的下劃線表示從詞庫(kù)中引入一個(gè)范疇。使用詞庫(kù)中的詞條，就可以給出一個(gè)語(yǔ)句在AB-演算中的推演。下面給出一個(gè)實(shí)例:

圖1 基本及物句在AB-演算中的推演

盡管使用AB-演算可以處理大量的語(yǔ)言現(xiàn)象，但是由于它使用的規(guī)則不具有結(jié)合和交換的性質(zhì)，因此不可刻畫(huà)像英語(yǔ)這樣的自然語(yǔ)言中的賓語(yǔ)抽象、非外圍抽象、跨界依存、詞序靈活性、重型NP-移位、動(dòng)詞毗連、主目毗連、寄生缺口和直接成分的非連續(xù)性等現(xiàn)象。對(duì)于漢語(yǔ)來(lái)說(shuō)，同樣由于它使用的規(guī)則不具有結(jié)合和交換的性質(zhì)，因此無(wú)法處理漢語(yǔ)中模態(tài)詞與及物動(dòng)詞毗連、副詞與及物動(dòng)詞毗連、主謂毗連、直接賓語(yǔ)和間接賓語(yǔ)毗連、賓語(yǔ)與后置狀語(yǔ)毗連等現(xiàn)象。因此，對(duì)于漢語(yǔ)句“大學(xué)生［應(yīng)該］(s p)/(s p)［珍惜］(s p)/np并且［合理］(s p)/(s p)［利用］(s p)/np時(shí)間”、“［小昆］np［喜歡］(s p)/np而［小東］np［討厭］(s p)/np那個(gè)歌手”、“媽媽給了［女兒］np［一塊糖］np、［兒子］np［一塊餅干］np”、“小紅喝 ［紅牛］np［很快］(s p)(s p)而［咖啡］np［很慢］(s p)(s p)”等等來(lái)說(shuō)，AB-演算無(wú)法處理。

斯蒂德曼(Steedman)基于組合邏輯的三個(gè)組合子定義新規(guī)則，并把這些新規(guī)則加入AB-演算，得到了組合范疇語(yǔ)法CCG.②Mark Steedman，Surface Structure and Interpretation.Cambridge Mass:MIT Press，1996，pp.30-43.。這三個(gè)組合子分別是:復(fù)合組合子B、類型提升組合子T和置換組合子S。下面介紹CCG的組合規(guī)則。

(2)函項(xiàng)復(fù)合規(guī)則

a.X/Y:fY/Z:g ?BX/Z:x.f(gx)(＞B)

b.Y:gXY:f?BX:x.f(gx)(＜B)

c.Y/Z:gXY:f?BX/Z:λx.f(gx)(＜B×)

d.X/Y:fY:g?BX:λx.f(gx)(＞B×)

(3)類型提升規(guī)則

a.X:a ?TT/(TX):λf.fa(＞ T)

b.X:a?TT(T/X):λf.fa(＜T)

(4)置換規(guī)則

a.(X/Y)/Z:fY/Z:g ?SX/Z:λx.fx(gx)(＞S)

b.Y:f(XY):g ?SX:λx.fx(gx)(＜S)

c.(X/Y):fY:g ?SX:λx.fx(gx)(＞S×)

d.Y/Z:g(XY)/Z:f?SX/Z:λx.fx(gx)(＜S×)

有了這些新增加的規(guī)則很容易處理上述AB-演算不能解決的問(wèn)題。下面給出一個(gè)實(shí)例:

圖2 及物動(dòng)詞和主語(yǔ)的毗連推演

AB-演算只能為及物動(dòng)詞和賓語(yǔ)毗連提供運(yùn)算規(guī)則，如圖1推演所示。此例需要及物動(dòng)詞和主語(yǔ)先毗連，然后才能使推演進(jìn)行下去，進(jìn)而生成整個(gè)語(yǔ)句。CCG的類型提升規(guī)則可使主語(yǔ)的范疇由論元范疇np變?yōu)楹?xiàng)范疇s/(s p)，而CCG的函項(xiàng)復(fù)合規(guī)則為這個(gè)函項(xiàng)范疇與及物動(dòng)詞的范疇進(jìn)行毗連提供了運(yùn)算依據(jù)，進(jìn)一步可推出整個(gè)語(yǔ)句。

但是，自然語(yǔ)言存在大量的照應(yīng)和省略現(xiàn)象，如代詞照應(yīng)語(yǔ)句(“張三喜歡自己”，這里的自己回指張三)、空代詞語(yǔ)句(“老師答應(yīng)參加我們的聚會(huì)”，這里“參加”之前省略主語(yǔ)，我們稱之為空代詞，該空代詞回指“老師”;“老師說(shuō)服學(xué)生參加勞動(dòng)”，這里“參加”之前省略主語(yǔ)，我們稱之為空代詞，該空代詞回指“學(xué)生”)。對(duì)于反身代詞照應(yīng)，原生態(tài)CCG通過(guò)增加一條統(tǒng)一為動(dòng)詞賦以照應(yīng)詞條的規(guī)則來(lái)處理。這樣除了給“喜歡”指派一般的及物動(dòng)詞詞條外，還要為其指派一個(gè)照應(yīng)詞條“(s p)/np:λg.λy.喜歡＇(ana ＇y)y”，用來(lái)處理該動(dòng)詞以反身代詞為賓語(yǔ)的語(yǔ)句，這樣會(huì)增加詞庫(kù)負(fù)擔(dān);對(duì)于后面的兩種空代詞情況，原生態(tài)CCG也是通過(guò)給主語(yǔ)控制動(dòng)詞和賓語(yǔ)控制動(dòng)詞指派特殊的詞條加以解決的。比如給主語(yǔ)控制動(dòng)詞“答應(yīng)”指派詞條“((s p)/(s p))/np:λx.λp.λy.答應(yīng)＇(p(ana ＇y)xy)”，給賓語(yǔ)控制動(dòng)詞“說(shuō)服”指派詞條“((s p)/(s p))/np:λx.λp.λy.說(shuō)服＇(p(ana ＇x)xy)”。筆者認(rèn)為通過(guò)指派詞條處理照應(yīng)或控制關(guān)系主要體現(xiàn)在語(yǔ)義表達(dá)式上，沒(méi)有在句法范疇上體現(xiàn)照應(yīng)關(guān)系。另外，自然語(yǔ)言還有大量的謂詞缺失語(yǔ)句，如“小坤不應(yīng)該來(lái)，小玲也是”(這里第二個(gè)小句省略了謂語(yǔ)，這個(gè)被省略的謂語(yǔ)回指第一個(gè)小句的謂語(yǔ)“不應(yīng)該來(lái)”)，如何在語(yǔ)法中處理這樣的省略現(xiàn)象，刻畫(huà)這樣的照應(yīng)關(guān)系，原生態(tài)CCG還沒(méi)有給出很好的解決方法。為了在句法和語(yǔ)義上同時(shí)處理照應(yīng)和省略現(xiàn)象，筆者在CCG的基礎(chǔ)上增加如下新規(guī)則:

(5)照應(yīng)標(biāo)記增刪規(guī)則［］i

ⅰ.A:M ?［］i［A］i:M

ⅱ.［A］i:M ?［］iA:M

規(guī)則ⅰ表明，在推演的過(guò)程中，根據(jù)照應(yīng)運(yùn)算的需要給照應(yīng)先行語(yǔ)范疇添加一元算子［］i;規(guī)則ⅱ表明，在照應(yīng)運(yùn)算后，可以把照應(yīng)先行語(yǔ)范疇上的一元算子［］i刪去。

(6)照應(yīng)類型提升規(guī)則|T

ⅰ.np:x ?|Tnp|np:λx.x

ⅱ.vp:P ?|Tvp|vp:λP.P

ⅲ.tv:P ?|Ttv|tv:λP.P

規(guī)則ⅰ表明，在推演的過(guò)程中，可以把代詞的范疇np提升為照應(yīng)范疇np|np;規(guī)則ⅱ表明，在推演過(guò)程中，可以把指稱不及物動(dòng)詞短語(yǔ)的助動(dòng)詞范疇(如“是”“應(yīng)該”“要”等)提升為照應(yīng)范疇vp|vp;規(guī)則ⅲ表明，在推演過(guò)程中，可以把指稱及物動(dòng)詞短語(yǔ)的助動(dòng)詞范疇(如“做”等)提升為照應(yīng)范疇 tv|tv，這里 tv=(s p)/np。

(7)照應(yīng)算子應(yīng)用規(guī)則(＜|)

［A］i:M……B|A:N ?|，iB:N(M)(＜|，i)

該規(guī)則表明，在推演的過(guò)程中，一個(gè)范疇B|A的照應(yīng)語(yǔ)向左遇到一個(gè)范疇為A的先行語(yǔ)之后，轉(zhuǎn)換成范疇為B的詞項(xiàng)。

(8)照應(yīng)算子抽象規(guī)則|λ

np:x……s:M ?|λs|np:λx.M(|λ)這條規(guī)則規(guī)定:如果被處理的語(yǔ)句含有沒(méi)有先行詞的代詞，在生成范疇為s的結(jié)論后，需要在結(jié)論中引入照應(yīng)算子，反映照應(yīng)槽，同時(shí)使用λ算子對(duì)語(yǔ)義表達(dá)式中的自由變?cè)M(jìn)行約束。

(9)省略槽(ellipsis slot)規(guī)則(el)

A:M C:N ?elA:M(B|B:λx.x C:N)(el)

顯然，這個(gè)新的推演工具的直觀功能就是在兩范疇之間添加第三個(gè)范疇，給出其命名el(ellipsis slot的縮略)，表示在省略處引入范疇的規(guī)則。需要指出，補(bǔ)出范疇的運(yùn)算順序是:其相鄰貼合優(yōu)先右側(cè)的范疇，在規(guī)則中用括號(hào)加以體現(xiàn)。

筆者把包含所有這些規(guī)則的系統(tǒng)稱作組合范疇語(yǔ)法CCG|。

二、漢語(yǔ)謂詞缺失結(jié)構(gòu)

李艷惠提到，在漢語(yǔ)中有三種謂詞缺失現(xiàn)象①李艷惠:《省略與成分缺失》，《語(yǔ)言科學(xué)》2005年第3期。。三類謂詞缺失結(jié)構(gòu)均由各自結(jié)構(gòu)的中心語(yǔ)類別命名，在目標(biāo)從句中，由該部分的中心語(yǔ)選擇方括號(hào)中被省略的部分。

表1 漢語(yǔ)中的三類謂詞缺失結(jié)構(gòu)

對(duì)于句c來(lái)說(shuō)，若把“小李也要”替換為“小李也要探望”，就變成了動(dòng)詞結(jié)構(gòu);對(duì)于 b句來(lái)說(shuō)，如果把“小趙也是”換成“小趙應(yīng)該”，就變成了助動(dòng)詞結(jié)構(gòu)。比較b句及其變形“小明不應(yīng)該來(lái)，小趙應(yīng)該”:b句中的“是”選擇了整個(gè)謂語(yǔ)部分［不應(yīng)該來(lái)］，而變形句中助動(dòng)詞選擇的只是助動(dòng)詞后面的動(dòng)詞短語(yǔ)［來(lái)］。

三、組合范疇語(yǔ)法CCG|對(duì)“‘是’字結(jié)構(gòu)”的處理

謂詞缺失中的“是”字結(jié)構(gòu)是以“是”字代替缺失動(dòng)詞的結(jié)構(gòu)，如表1中例句b所示。由于目標(biāo)從句中的謂語(yǔ)動(dòng)詞“是”可以代替源從句的謂語(yǔ)動(dòng)詞②“目標(biāo)從句”和“源從句”解釋如下:前者指包含缺省部分的從句，后者指與目標(biāo)從句并列、語(yǔ)句完整的從句。如“John walks，and Bill does too”的前一個(gè)小句是源從句，后一個(gè)小句是目標(biāo)從句。，且是缺省部分的中心詞，所以李艷惠稱之為“是”字結(jié)構(gòu)。b句完整的語(yǔ)義是“小明不應(yīng)該來(lái)，小趙也不應(yīng)該來(lái)”。從照應(yīng)的角度說(shuō)，就是“是”需要源從句中主語(yǔ)之后的范疇為vp的表達(dá)式為先行詞，找到之后，就能夠像vp范疇的表達(dá)式一樣參與運(yùn)算。換言之，“是”可以提升成范疇為vp|vp(即(nps)|(nps))的照應(yīng)詞，語(yǔ)義上為作用在個(gè)體性質(zhì)(謂詞)上的恒等函項(xiàng)，記作λP.P。由此，b的邏輯生成如圖3所示:

圖3 b在CCG|中的邏輯生成圖

上面的推演用到照應(yīng)類型提升規(guī)則ii(vp:P ?|Tvp|vp:λP.P)。

在“是”字結(jié)構(gòu)的目標(biāo)從句中，由于“是”要拷貝源從句中的 vp，所以“是”字句的整體解讀其實(shí)受源從句中vp語(yǔ)義的影響。當(dāng)源從句的vp含有代詞時(shí)，兩個(gè)具有照應(yīng)功能的語(yǔ)詞撞在一起，就會(huì)導(dǎo)致歧義。如語(yǔ)句“張三看見(jiàn)了他的媽媽，李四也是”①劉麗萍:《漢語(yǔ)截省句》，博士學(xué)位論文，北京:北京語(yǔ)言大學(xué)文學(xué)院，2006年，第25頁(yè)。。一般認(rèn)為，它有三種解讀:

(1)a.張三i看見(jiàn)了他k的媽媽，李四j也看見(jiàn)了他k的媽媽。

b.張三i看見(jiàn)了他i的媽媽，李四j也看見(jiàn)了他i的媽媽。

c.張三i看見(jiàn)了他i的媽媽，李四j也看見(jiàn)了他j的媽媽。

◆一種是張三、李四都看見(jiàn)第三個(gè)人的媽媽，這個(gè)“他”在句中沒(méi)有先行詞，或者說(shuō)從域外求先行詞，即(1)a，生成方法如下圖:

圖4a 解讀(1)a在CCG|中的邏輯生成圖

上面的推演用到照應(yīng)類型提升規(guī)則ii(vp:P?|Tvp|vp:λP.P)和照應(yīng)算子抽象規(guī)則|λ(np:x……s:M ?|λs|np:λx.M)。

◆第二種解讀是第一種解讀的特殊情況，源從句的代詞和目標(biāo)從句省略的代詞在句中的先行語(yǔ)都是源從句的主語(yǔ)，推演如下:

圖4b 解讀(1)b在CCG|中的邏輯生成圖

上面的推演用到照應(yīng)類型提升規(guī)則ii(vp:P?|Tvp|vp:λP.P)，無(wú)須使用照應(yīng)算子抽象規(guī)則|λ。

◆如果源從句中的代詞以源從句的主語(yǔ)為先行詞，目標(biāo)從句中省略的代詞以目標(biāo)從句的主語(yǔ)為先行詞，那就得到上述解讀c，具體推演如圖4c所示。

特別要注意，圖4c的推演使用了兩個(gè)照應(yīng)類型提升規(guī)則，分別為照應(yīng)類型提升規(guī)則ⅲ(tv:P?|Ttv|tv:λP.P)、照應(yīng)類型提升規(guī)則ⅰ(np:x ?|Tnp|np:λx.x)。另外，還使用了省略槽規(guī)則el(A:M C:N?elA:M(B|B:λx.x C:N))。

圖4c 解讀(1)c在CCG|中的邏輯生成圖

四、組合范疇語(yǔ)法CCG|對(duì)“助動(dòng)詞結(jié)構(gòu)”的處理

前一節(jié)已經(jīng)為“是”字結(jié)構(gòu)給出了合適的分析，仿效“是”字結(jié)構(gòu)的分析，可以得出助動(dòng)詞結(jié)構(gòu)的合理解讀。以表1中的c句為例，使目標(biāo)從句中的助動(dòng)詞“要”的范疇提升為vp|vp，語(yǔ)義為作用在個(gè)體性質(zhì)(謂詞)上的恒等函項(xiàng)，該句的生成如圖5所示。

圖5的推演使用了照應(yīng)類型提升規(guī)則ii(vp:P ?|Tvp|vp:λP.P)。

圖5 表1的例句c在CCG|中的邏輯生成圖

五、組合范疇語(yǔ)法CCG|對(duì)“動(dòng)詞結(jié)構(gòu)”的處理

現(xiàn)在我們來(lái)看謂詞缺失現(xiàn)象中的動(dòng)詞結(jié)構(gòu)。這類謂詞缺失現(xiàn)象重復(fù)使用了源從句中謂語(yǔ)動(dòng)詞后面的名詞。為了言說(shuō)表現(xiàn)更加經(jīng)濟(jì)，重復(fù)部分被省略，在句法表層沒(méi)有對(duì)應(yīng)的語(yǔ)詞表現(xiàn)，沒(méi)有像“是”“應(yīng)該”之類可以賦以照應(yīng)范疇的語(yǔ)詞。如果退而求其次，為生成這樣的語(yǔ)句，參照對(duì)助動(dòng)詞和“是”的做法，使在此類謂詞缺失結(jié)構(gòu)中出現(xiàn)的動(dòng)詞(設(shè)其范疇為vp)范疇提升為照應(yīng)范疇vp|vp，使目標(biāo)從句的這個(gè)中心語(yǔ)動(dòng)詞有能力為它后面的省略槽拷貝源從句的賓語(yǔ)，則會(huì)造成動(dòng)詞范疇變化的任意性，失去了形式化方法的嚴(yán)格性優(yōu)勢(shì)，不是一個(gè)好辦法。

那么該如何解決這個(gè)問(wèn)題呢?同是謂詞缺失現(xiàn)象的子類，同樣都涉及動(dòng)詞的語(yǔ)義重復(fù)使用，有兩種情況已經(jīng)在CCG|中得到很好的分析，我們希望第三種情況也能夠在CCG|系統(tǒng)中得到正確生成。首先嘗試在CCG中對(duì)表1的語(yǔ)句a直接做毗連生成，如圖6a所示:

圖6a 圖(3)的例句a在CCG中的邏輯生成圖

在這一生成過(guò)程中，源從句可以直接毗連生成范疇為s的表達(dá)式，而目標(biāo)從句部分最多只能運(yùn)用CCG的類型提升規(guī)則和向前復(fù)合規(guī)則使得“媽媽＇”和“送＇”結(jié)合，得到范疇(s/np)/np，之后無(wú)法繼續(xù)前進(jìn)。

返回來(lái)想想，該類語(yǔ)句中重復(fù)使用的語(yǔ)詞資源是因?yàn)橹貜?fù)了源從句中已有的成分，依據(jù)交流的經(jīng)濟(jì)性原則而被省略。或者說(shuō)，可以認(rèn)為在目標(biāo)從句的“送”之后存在著兩個(gè)包含省略語(yǔ)詞的槽位，在做語(yǔ)義生成時(shí)需要將省略的語(yǔ)詞補(bǔ)充出來(lái)。那么，什么規(guī)則有能力補(bǔ)出省略的語(yǔ)詞呢?是el規(guī)則。下面在CCG|系統(tǒng)中生成表1的例句a，如圖6b所示:

圖6b 表1的例句a在CCG|中的邏輯生成圖

注意，這里用了兩次省略槽規(guī)則，這是由謂詞“送”的元數(shù)決定的。

總之，有了組合范疇語(yǔ)法CCG|，我們很容易分析漢語(yǔ)的三種謂詞缺失現(xiàn)象。不僅如此，使用這個(gè)系統(tǒng)，我們也很容易處理自然語(yǔ)言的代詞照應(yīng)現(xiàn)象和空代詞及其照應(yīng)現(xiàn)象。