CCGWeb - It's naive of you to believe that.

(S[dcl]\NP)/S

naive

N/PP

PP/NP

you

> ⁰

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

believe

(S[b]\NP)/NP

that

S[b]\NP

> ⁰

S[to]\NP

> ⁰

S[to]

< ⁰

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="It" data-from="0" data-to="2" data-cat="NP">
<tr><td class="token">It</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="2" data-to="4" data-cat="(S[dcl]\NP)/S">
<tr><td class="token">'s</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/S</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[to]">
<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="naive" data-from="5" data-to="10" data-cat="N/PP">
<tr><td class="token">naive</td></tr>
<tr><td class="cat" tabindex="0">N/PP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="PP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="of" data-from="11" data-to="13" data-cat="PP/NP">
<tr><td class="token">of</td></tr>
<tr><td class="cat" tabindex="0">PP/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="14" data-to="17" 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">PP</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="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 binaryrule" data-cat="S[to]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="to" data-from="18" data-to="20" 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 binaryrule" data-cat="S[b]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="believe" data-from="21" data-to="28" data-cat="(S[b]\NP)/NP">
<tr><td class="token">believe</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\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="that" data-from="29" data-to="33" 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 lex" data-token="." data-from="33" data-to="34" 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[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[to]\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[to]</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}{It}{\catNP}{} \&
		\lexnode*{idm23}{'s}{(\catS[dcl]\?\catNP)/\catS}{} \&
		\lexnode*{idm48}{naive}{\catN/\catPP}{} \&
		\lexnode*{idm63}{of}{\catPP/\catNP}{} \&
		\lexnode*{idm73}{you}{\catNP}{} \&
		\lexnode*{idm88}{to}{(\catS[to]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm109}{believe}{(\catS[b]\?\catNP)/\catNP}{} \&
		\lexnode*{idm126}{that}{\catNP}{} \&
		\lexnode*{idm134}{.}{\cat.}{} \\
	};
	\binnode*{idm58}{idm63-cat}{idm73-cat}{\FC{0}}{\catPP}{}
	\binnode*{idm43}{idm48-cat}{idm58}{\FC{0}}{\catN}{}
	\unnode*{idm40}{idm43}{*}{\catNP}{}
	\binnode*{idm121}{idm126-cat}{idm134-cat}{.}{\catNP}{}
	\binnode*{idm102}{idm109-cat}{idm121}{\FC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm81}{idm88-cat}{idm102}{\FC{0}}{\catS[to]\?\catNP}{}
	\binnode*{idm35}{idm40}{idm81}{\BC{0}}{\catS[to]}{}
	\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