CCGWeb - There are some aircraft, called gliders, that have no engines at all, but fly just fine.

There

NP[thr]

are

(S[dcl]\NP[thr])/NP

some

NP/N

aircraft

> ⁰

S[dcl]\NP[thr]

> ⁰

S[dcl]

< ⁰

called

(S[dcl]\NP)/NP

gliders

that

(NP\NP)/(S[dcl]\NP)

have

(S[dcl]\NP)/NP

NP/N

engines

(N\N)/NP

all

N\N

> ⁰

< ⁰

> ⁰

S[dcl]\NP

> ⁰

but

conj

fly

S[dcl]\NP

(S[dcl]\NP)\(S[dcl]\NP)

∨

S[dcl]\NP

< ⁰

NP\NP

> ⁰

< ⁰

S[X]/(S[X]\NP)

T ^>

just

N/N

fine

> ⁰

(S[X]\NP)\((S[X]\NP)/NP)

T ^<

S[X]\((S[X]\NP)/NP)

> ¹_×

S[dcl]

< ⁰

S[dcl]\S[dcl]

∨

S[dcl]

< ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="S[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="There" data-from="0" data-to="5" data-cat="NP[thr]">
<tr><td class="token">There</td></tr>
<tr><td class="cat" tabindex="0">NP[thr]</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[dcl]\NP[thr]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="are" data-from="6" data-to="9" data-cat="(S[dcl]\NP[thr])/NP">
<tr><td class="token">are</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP[thr])/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="some" data-from="10" data-to="14" data-cat="NP/N">
<tr><td class="token">some</td></tr>
<tr><td class="cat" tabindex="0">NP/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="aircraft" data-from="15" data-to="23" data-cat="N">
<tr><td class="token">aircraft</td></tr>
<tr><td class="cat" tabindex="0">N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]\NP[thr]</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[dcl]\S[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="," data-from="23" data-to="24" data-cat=",">
<tr><td class="token">,</td></tr>
<tr><td class="cat" tabindex="0">,</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="called" data-from="25" data-to="31" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">called</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[X]\((S[X]\NP)/NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="S[X]/(S[X]\NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="gliders" data-from="32" data-to="39" data-cat="N">
<tr><td class="token">gliders</td></tr>
<tr><td class="cat" tabindex="0">N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Type Changing">
									*
								</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="," data-from="39" data-to="40" data-cat=",">
<tr><td class="token">,</td></tr>
<tr><td class="cat" tabindex="0">,</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Remove Punctuation">.</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="NP\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="that" data-from="41" data-to="45" data-cat="(NP\NP)/(S[dcl]\NP)">
<tr><td class="token">that</td></tr>
<tr><td class="cat" tabindex="0">(NP\NP)/(S[dcl]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="have" data-from="46" data-to="50" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">have</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="no" data-from="51" data-to="53" data-cat="NP/N">
<tr><td class="token">no</td></tr>
<tr><td class="cat" tabindex="0">NP/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="engines" data-from="54" data-to="61" data-cat="N">
<tr><td class="token">engines</td></tr>
<tr><td class="cat" tabindex="0">N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="N\N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="at" data-from="62" data-to="64" data-cat="(N\N)/NP">
<tr><td class="token">at</td></tr>
<tr><td class="cat" tabindex="0">(N\N)/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="all" data-from="65" data-to="68" data-cat="NP">
<tr><td class="token">all</td></tr>
<tr><td class="cat" tabindex="0">NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="," data-from="68" data-to="69" data-cat=",">
<tr><td class="token">,</td></tr>
<tr><td class="cat" tabindex="0">,</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Remove Punctuation">.</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">N\N</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">N</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]\NP</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[dcl]\NP)\(S[dcl]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="but" data-from="70" data-to="73" data-cat="conj">
<tr><td class="token">but</td></tr>
<tr><td class="cat" tabindex="0">conj</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="fly" data-from="74" data-to="77" data-cat="S[dcl]\NP">
<tr><td class="token">fly</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]\NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">(S[dcl]\NP)\(S[dcl]\NP)</div>
<div class="rule" title="Conjunction">∨</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]\NP</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP\NP</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">S[X]/(S[X]\NP)</div>
<div class="rule" title="Forward Type Raising">
									T <sup>&gt;</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent unaryrule" data-cat="(S[X]\NP)\((S[X]\NP)/NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="just" data-from="78" data-to="82" data-cat="N/N">
<tr><td class="token">just</td></tr>
<tr><td class="cat" tabindex="0">N/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="fine" data-from="83" data-to="87" data-cat="N">
<tr><td class="token">fine</td></tr>
<tr><td class="cat" tabindex="0">N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">N</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Type Changing">
									*
								</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="87" data-to="88" data-cat=".">
<tr><td class="token">.</td></tr>
<tr><td class="cat" tabindex="0">.</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Remove Punctuation">.</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">(S[X]\NP)\((S[X]\NP)/NP)</div>
<div class="rule" title="Backward Type Raising">
									T <sup>&lt;</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[X]\((S[X]\NP)/NP)</div>
<div class="rule" title="Forward Crossed Composition">&gt; <sup>1</sup><sub>×</sub>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]\S[dcl]</div>
<div class="rule" title="Conjunction">∨</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table> </div>

Use with der.css.

\begin{tikzpicture}[ampersand replacement=\&]
	\matrix [column sep=9pt] at (0, 0) {
		\lexnode*{idm13}{There}{\catNP[thr]}{} \&
		\lexnode*{idm28}{are}{(\catS[dcl]\?\catNP[thr])/\catNP}{} \&
		\lexnode*{idm45}{some}{\catNP/\catN}{} \&
		\lexnode*{idm55}{aircraft}{\catN}{} \&
		\lexnode*{idm70}{,}{\cat,}{} \&
		\lexnode*{idm83}{called}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm126}{gliders}{\catN}{} \&
		\lexnode*{idm134}{,}{\cat,}{} \&
		\lexnode*{idm149}{that}{(\catNP\?\catNP)/(\catS[dcl]\?\catNP)}{} \&
		\lexnode*{idm177}{have}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm194}{no}{\catNP/\catN}{} \&
		\lexnode*{idm209}{engines}{\catN}{} \&
		\lexnode*{idm224}{at}{(\catN\?\catN)/\catNP}{} \&
		\lexnode*{idm241}{all}{\catNP}{} \&
		\lexnode*{idm249}{,}{\cat,}{} \&
		\lexnode*{idm268}{but}{\catconj}{} \&
		\lexnode*{idm276}{fly}{\catS[dcl]\?\catNP}{} \&
		\lexnode*{idm310}{just}{\catN/\catN}{} \&
		\lexnode*{idm320}{fine}{\catN}{} \&
		\lexnode*{idm328}{.}{\cat.}{} \\
	};
	\binnode*{idm40}{idm45-cat}{idm55-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm21}{idm28-cat}{idm40}{\FC{0}}{\catS[dcl]\?\catNP[thr]}{}
	\binnode*{idm8}{idm13-cat}{idm21}{\BC{0}}{\catS[dcl]}{}
	\unnode*{idm123}{idm126-cat}{*}{\catNP}{}
	\binnode*{idm118}{idm123}{idm134-cat}{.}{\catNP}{}
	\binnode*{idm236}{idm241-cat}{idm249-cat}{.}{\catNP}{}
	\binnode*{idm217}{idm224-cat}{idm236}{\FC{0}}{\catN\?\catN}{}
	\binnode*{idm204}{idm209-cat}{idm217}{\BC{0}}{\catN}{}
	\binnode*{idm189}{idm194-cat}{idm204}{\FC{0}}{\catNP}{}
	\binnode*{idm170}{idm177-cat}{idm189}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm257}{idm268-cat}{idm276-cat}{\wedge}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm163}{idm170}{idm257}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm142}{idm149-cat}{idm163}{\FC{0}}{\catNP\?\catNP}{}
	\binnode*{idm113}{idm118}{idm142}{\BC{0}}{\catNP}{}
	\unnode*{idm106}{idm113}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\binnode*{idm305}{idm310-cat}{idm320-cat}{\FC{0}}{\catN}{}
	\unnode*{idm302}{idm305}{*}{\catNP}{}
	\binnode*{idm297}{idm302}{idm328-cat}{.}{\catNP}{}
	\unnode*{idm286}{idm297}{*}{(\catS[X]\?\catNP)\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm95}{idm106}{idm286}{\FXC{1}}{\catS[X]\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm78}{idm83-cat}{idm95}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm63}{idm70-cat}{idm78}{\wedge}{\catS[dcl]\?\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm63}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

Use with ccgsym.sty and tikzlibraryccgder.code.tex.

Sentence

Parse

Translations