CCGWeb - Tom might've believed you if you hadn't started laughing.

Tom

might

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

've

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

believed

(S[pt]\NP)/NP

you

S[pt]\NP

> ⁰

S[b]\NP

> ⁰

S[dcl]\NP

> ⁰

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

you

had

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

n't

(S\NP)\(S\NP)

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

< ¹_×

started

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

laughing

S[ng]\NP

S[pt]\NP

> ⁰

S[pt]\NP

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

(S\NP)\(S\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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Tom" data-from="0" data-to="3" 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 binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="might" data-from="4" data-to="9" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr><td class="token">might</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="9" data-to="12" 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="believed" data-from="13" data-to="21" data-cat="(S[pt]\NP)/NP">
<tr><td class="token">believed</td></tr>
<tr><td class="cat" tabindex="0">(S[pt]\NP)/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="you" data-from="22" data-to="25" data-cat="NP">
<tr><td class="token">you</td></tr>
<tr><td class="cat" tabindex="0">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[pt]\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[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>
<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="if" data-from="26" data-to="28" data-cat="((S\NP)\(S\NP))/S[dcl]">
<tr><td class="token">if</td></tr>
<tr><td class="cat" tabindex="0">((S\NP)\(S\NP))/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 lex" data-token="you" data-from="29" data-to="32" data-cat="NP">
<tr><td class="token">you</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[pt]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="had" data-from="33" data-to="36" data-cat="(S[dcl]\NP)/(S[pt]\NP)">
<tr><td class="token">had</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/(S[pt]\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="36" data-to="39" 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[pt]\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[pt]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[pt]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="started" data-from="40" data-to="47" data-cat="(S[pt]\NP)/(S[ng]\NP)">
<tr><td class="token">started</td></tr>
<tr><td class="cat" tabindex="0">(S[pt]\NP)/(S[ng]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="laughing" data-from="48" data-to="56" data-cat="S[ng]\NP">
<tr><td class="token">laughing</td></tr>
<tr><td class="cat" tabindex="0">S[ng]\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[pt]\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 lex" data-token="." data-from="56" data-to="57" 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[pt]\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[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\NP)\(S\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="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]</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*{idm11}{Tom}{\catN}{} \&
		\lexnode*{idm33}{might}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm54}{'ve}{(\catS[b]\?\catNP)/(\catS[pt]\?\catNP)}{} \&
		\lexnode*{idm75}{believed}{(\catS[pt]\?\catNP)/\catNP}{} \&
		\lexnode*{idm87}{you}{\catNP}{} \&
		\lexnode*{idm106}{if}{((\catS\?\catNP)\?(\catS\?\catNP))/\catS[dcl]}{} \&
		\lexnode*{idm127}{you}{\catNP}{} \&
		\lexnode*{idm153}{had}{(\catS[dcl]\?\catNP)/(\catS[pt]\?\catNP)}{} \&
		\lexnode*{idm167}{n't}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm195}{started}{(\catS[pt]\?\catNP)/(\catS[ng]\?\catNP)}{} \&
		\lexnode*{idm209}{laughing}{\catS[ng]\?\catNP}{} \&
		\lexnode*{idm219}{.}{\cat.}{} \\
	};
	\unnode*{idm8}{idm11-cat}{*}{\catNP}{}
	\binnode*{idm68}{idm75-cat}{idm87-cat}{\FC{0}}{\catS[pt]\?\catNP}{}
	\binnode*{idm47}{idm54-cat}{idm68}{\FC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm26}{idm33-cat}{idm47}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm142}{idm153-cat}{idm167-cat}{\BXC{1}}{(\catS[dcl]\?\catNP)/(\catS[pt]\?\catNP)}{}
	\binnode*{idm188}{idm195-cat}{idm209-cat}{\FC{0}}{\catS[pt]\?\catNP}{}
	\binnode*{idm181}{idm188}{idm219-cat}{.}{\catS[pt]\?\catNP}{}
	\binnode*{idm135}{idm142}{idm181}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm122}{idm127-cat}{idm135}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm95}{idm106-cat}{idm122}{\FC{0}}{(\catS\?\catNP)\?(\catS\?\catNP)}{}
	\binnode*{idm19}{idm26}{idm95}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm3}{idm8}{idm19}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations