CCGWeb - I think Tom isn't sure that's what Mary needs to do.

think

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

Tom

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

n't

(S\NP)\(S\NP)

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

< ¹_×

sure

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

that

(S[dcl]\NP)/NP

what

NP/(S[dcl]/NP)

Mary

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

T ^>

needs

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

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

(S[b]\NP)/NP

(S[to]\NP)/NP

> ¹

(S[to]\NP)/NP

(S[dcl]\NP)/NP

> ¹

S[dcl]/NP

> ¹

> ⁰

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

S[adj]\NP

> ⁰

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

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 lex" data-token="think" data-from="2" data-to="7" data-cat="(S[dcl]\NP)/S[dcl]">
<tr><td class="token">think</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Tom" data-from="8" data-to="11" 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)/(S[adj]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="is" data-from="12" data-to="14" data-cat="(S[dcl]\NP)/(S[adj]\NP)">
<tr><td class="token">is</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/(S[adj]\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="14" data-to="17" 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[adj]\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[adj]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="sure" data-from="18" data-to="22" data-cat="(S[adj]\NP)/S[dcl]">
<tr><td class="token">sure</td></tr>
<tr><td class="cat" tabindex="0">(S[adj]\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="that" data-from="23" data-to="27" data-cat="NP">
<tr><td class="token">that</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 lex" data-token="'s" data-from="27" data-to="29" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">'s</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="what" data-from="30" data-to="34" data-cat="NP/(S[dcl]/NP)">
<tr><td class="token">what</td></tr>
<tr><td class="cat" tabindex="0">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 unaryrule" data-cat="S[X]/(S[X]\NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Mary" data-from="35" data-to="39" data-cat="N">
<tr><td class="token">Mary</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 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 binaryrule" data-cat="(S[dcl]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="needs" data-from="40" data-to="45" data-cat="(S[dcl]\NP)/(S[to]\NP)">
<tr><td class="token">needs</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/(S[to]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[to]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[to]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="to" data-from="46" data-to="48" data-cat="(S[to]\NP)/(S[b]\NP)">
<tr><td class="token">to</td></tr>
<tr><td class="cat" tabindex="0">(S[to]\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="do" data-from="49" data-to="51" data-cat="(S[b]\NP)/NP">
<tr><td class="token">do</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\NP)/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[to]\NP)/NP</div>
<div class="rule" title="Forward Composition">&gt; <sup>1</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="51" data-to="52" 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[to]\NP)/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)/NP</div>
<div class="rule" title="Forward Composition">&gt; <sup>1</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 Composition">&gt; <sup>1</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>
</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[adj]\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[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*{idm23}{think}{(\catS[dcl]\?\catNP)/\catS[dcl]}{} \&
		\lexnode*{idm43}{Tom}{\catN}{} \&
		\lexnode*{idm69}{is}{(\catS[dcl]\?\catNP)/(\catS[adj]\?\catNP)}{} \&
		\lexnode*{idm83}{n't}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm104}{sure}{(\catS[adj]\?\catNP)/\catS[dcl]}{} \&
		\lexnode*{idm121}{that}{\catNP}{} \&
		\lexnode*{idm136}{'s}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm153}{what}{\catNP/(\catS[dcl]/\catNP)}{} \&
		\lexnode*{idm182}{Mary}{\catN}{} \&
		\lexnode*{idm199}{needs}{(\catS[dcl]\?\catNP)/(\catS[to]\?\catNP)}{} \&
		\lexnode*{idm231}{to}{(\catS[to]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm245}{do}{(\catS[b]\?\catNP)/\catNP}{} \&
		\lexnode*{idm257}{.}{\cat.}{} \\
	};
	\unnode*{idm40}{idm43-cat}{*}{\catNP}{}
	\binnode*{idm58}{idm69-cat}{idm83-cat}{\BXC{1}}{(\catS[dcl]\?\catNP)/(\catS[adj]\?\catNP)}{}
	\unnode*{idm179}{idm182-cat}{*}{\catNP}{}
	\unnode*{idm172}{idm179}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\binnode*{idm222}{idm231-cat}{idm245-cat}{\FC{1}}{(\catS[to]\?\catNP)/\catNP}{}
	\binnode*{idm213}{idm222}{idm257-cat}{.}{(\catS[to]\?\catNP)/\catNP}{}
	\binnode*{idm190}{idm199-cat}{idm213}{\FC{1}}{(\catS[dcl]\?\catNP)/\catNP}{}
	\binnode*{idm165}{idm172}{idm190}{\FC{1}}{\catS[dcl]/\catNP}{}
	\binnode*{idm148}{idm153-cat}{idm165}{\FC{0}}{\catNP}{}
	\binnode*{idm129}{idm136-cat}{idm148}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm116}{idm121-cat}{idm129}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm97}{idm104-cat}{idm116}{\FC{0}}{\catS[adj]\?\catNP}{}
	\binnode*{idm51}{idm58}{idm97}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm35}{idm40}{idm51}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm16}{idm23-cat}{idm35}{\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