CCGWeb - Tom is making dinner, isn't he?

Tom

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

making

(S[ng]\NP)/NP

dinner

S[ng]\NP

> ⁰

S[dcl]\NP

> ⁰

(S[dcl]\NP)/NP

n't

(S\NP)\(S\NP)

(S[dcl]\NP)/NP

< ¹_×

S[dcl]\NP

> ⁰

(S[dcl]\NP)\(S[dcl]\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="is" data-from="4" data-to="6" data-cat="(S[dcl]\NP)/(S[ng]\NP)">
<tr><td class="token">is</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/(S[ng]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[ng]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="making" data-from="7" data-to="13" data-cat="(S[ng]\NP)/NP">
<tr><td class="token">making</td></tr>
<tr><td class="cat" tabindex="0">(S[ng]\NP)/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="dinner" data-from="14" data-to="20" data-cat="N">
<tr><td class="token">dinner</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>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[ng]\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="," data-from="20" data-to="21" 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]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[dcl]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="is" data-from="22" data-to="24" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">is</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 lex" data-token="n't" data-from="24" data-to="27" 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)/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="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="he" data-from="28" data-to="30" data-cat="NP">
<tr><td class="token">he</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="30" data-to="31" 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">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]\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">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}{is}{(\catS[dcl]\?\catNP)/(\catS[ng]\?\catNP)}{} \&
		\lexnode*{idm54}{making}{(\catS[ng]\?\catNP)/\catNP}{} \&
		\lexnode*{idm69}{dinner}{\catN}{} \&
		\lexnode*{idm88}{,}{\cat,}{} \&
		\lexnode*{idm112}{is}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm124}{n't}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm143}{he}{\catNP}{} \&
		\lexnode*{idm151}{?}{\cat.}{} \\
	};
	\unnode*{idm8}{idm11-cat}{*}{\catNP}{}
	\unnode*{idm66}{idm69-cat}{*}{\catNP}{}
	\binnode*{idm47}{idm54-cat}{idm66}{\FC{0}}{\catS[ng]\?\catNP}{}
	\binnode*{idm26}{idm33-cat}{idm47}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm103}{idm112-cat}{idm124-cat}{\BXC{1}}{(\catS[dcl]\?\catNP)/\catNP}{}
	\binnode*{idm138}{idm143-cat}{idm151-cat}{.}{\catNP}{}
	\binnode*{idm96}{idm103}{idm138}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm77}{idm88-cat}{idm96}{\wedge}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm19}{idm26}{idm77}{\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