CCGWeb - I don't think that Tom should've left early.

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

n't

(S\NP)\(S\NP)

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

< ¹_×

think

(S[b]\NP)/S[em]

that

S[em]/S[dcl]

Tom

should

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

've

(S[b]\NP)/(S[pt]\NP)

left

S[pt]\NP

early

(S\NP)\(S\NP)

S[pt]\NP

< ⁰

S[b]\NP

> ⁰

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

S[em]

> ⁰

S[b]\NP

> ⁰

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="S[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="I" data-from="0" data-to="1" data-cat="NP">
<tr><td class="token">I</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 binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="do" data-from="2" data-to="4" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr><td class="token">do</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/(S[b]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="n't" data-from="4" data-to="7" data-cat="(S\NP)\(S\NP)">
<tr><td class="token">n't</td></tr>
<tr><td class="cat" tabindex="0">(S\NP)\(S\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[b]\NP)</div>
<div class="rule" title="Backward Crossed Composition">&lt; <sup>1</sup><sub>×</sub>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[b]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="think" data-from="8" data-to="13" data-cat="(S[b]\NP)/S[em]">
<tr><td class="token">think</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\NP)/S[em]</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[em]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="that" data-from="14" data-to="18" data-cat="S[em]/S[dcl]">
<tr><td class="token">that</td></tr>
<tr><td class="cat" tabindex="0">S[em]/S[dcl]</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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Tom" data-from="19" data-to="22" data-cat="N">
<tr><td class="token">Tom</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 binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="should" data-from="23" data-to="29" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr><td class="token">should</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/(S[b]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[b]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="'ve" data-from="29" data-to="32" data-cat="(S[b]\NP)/(S[pt]\NP)">
<tr><td class="token">'ve</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\NP)/(S[pt]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[pt]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="left" data-from="33" data-to="37" data-cat="S[pt]\NP">
<tr><td class="token">left</td></tr>
<tr><td class="cat" tabindex="0">S[pt]\NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S\NP)\(S\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="early" data-from="38" data-to="43" data-cat="(S\NP)\(S\NP)">
<tr><td class="token">early</td></tr>
<tr><td class="cat" tabindex="0">(S\NP)\(S\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="43" data-to="44" 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">(S\NP)\(S\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">S[pt]\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">S[b]\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>
</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[em]</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[b]\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>
</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*{idm8}{I}{\catNP}{} \&
		\lexnode*{idm34}{do}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm48}{n't}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm69}{think}{(\catS[b]\?\catNP)/\catS[em]}{} \&
		\lexnode*{idm86}{that}{\catS[em]/\catS[dcl]}{} \&
		\lexnode*{idm104}{Tom}{\catN}{} \&
		\lexnode*{idm119}{should}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm140}{'ve}{(\catS[b]\?\catNP)/(\catS[pt]\?\catNP)}{} \&
		\lexnode*{idm161}{left}{\catS[pt]\?\catNP}{} \&
		\lexnode*{idm182}{early}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm196}{.}{\cat.}{} \\
	};
	\binnode*{idm23}{idm34-cat}{idm48-cat}{\BXC{1}}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{}
	\unnode*{idm101}{idm104-cat}{*}{\catNP}{}
	\binnode*{idm171}{idm182-cat}{idm196-cat}{.}{(\catS\?\catNP)\?(\catS\?\catNP)}{}
	\binnode*{idm154}{idm161-cat}{idm171}{\BC{0}}{\catS[pt]\?\catNP}{}
	\binnode*{idm133}{idm140-cat}{idm154}{\FC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm112}{idm119-cat}{idm133}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm96}{idm101}{idm112}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm81}{idm86-cat}{idm96}{\FC{0}}{\catS[em]}{}
	\binnode*{idm62}{idm69-cat}{idm81}{\FC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm16}{idm23}{idm62}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm3}{idm8-cat}{idm16}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations