CCGWeb - With pure logic you can prove the biggest nonsense.

With

(S/S)/NP

pure

N/N

logic

> ⁰

S/S

> ⁰

you

can

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

prove

(S[b]\NP)/NP

the

NP/N

biggest

N/N

nonsense

> ⁰

S[b]\NP

> ⁰

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

S[dcl]

> ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="S[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S/S">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="With" data-from="0" data-to="4" data-cat="(S/S)/NP">
<tr><td class="token">With</td></tr>
<tr><td class="cat" tabindex="0">(S/S)/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 binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="pure" data-from="5" data-to="9" data-cat="N/N">
<tr><td class="token">pure</td></tr>
<tr><td class="cat" tabindex="0">N/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="logic" data-from="10" data-to="15" data-cat="N">
<tr><td class="token">logic</td></tr>
<tr><td class="cat" tabindex="0">N</td></tr>
<tr><td class="span-swiper"> </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>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S/S</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]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="you" data-from="16" data-to="19" 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 lex" data-token="can" data-from="20" data-to="23" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr><td class="token">can</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="prove" data-from="24" data-to="29" data-cat="(S[b]\NP)/NP">
<tr><td class="token">prove</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 binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="the" data-from="30" data-to="33" data-cat="NP/N">
<tr><td class="token">the</td></tr>
<tr><td class="cat" tabindex="0">NP/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="biggest" data-from="34" data-to="41" data-cat="N/N">
<tr><td class="token">biggest</td></tr>
<tr><td class="cat" tabindex="0">N/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="nonsense" data-from="42" data-to="50" data-cat="N">
<tr><td class="token">nonsense</td></tr>
<tr><td class="cat" tabindex="0">N</td></tr>
<tr><td class="span-swiper"> </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 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>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="50" data-to="51" 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[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]</div>
<div class="rule" title="Forward Application">&gt; <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*{idm15}{With}{(\catS/\catS)/\catNP}{} \&
		\lexnode*{idm35}{pure}{\catN/\catN}{} \&
		\lexnode*{idm45}{logic}{\catN}{} \&
		\lexnode*{idm58}{you}{\catNP}{} \&
		\lexnode*{idm73}{can}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm94}{prove}{(\catS[b]\?\catNP)/\catNP}{} \&
		\lexnode*{idm116}{the}{\catNP/\catN}{} \&
		\lexnode*{idm131}{biggest}{\catN/\catN}{} \&
		\lexnode*{idm141}{nonsense}{\catN}{} \&
		\lexnode*{idm149}{.}{\cat.}{} \\
	};
	\binnode*{idm30}{idm35-cat}{idm45-cat}{\FC{0}}{\catN}{}
	\unnode*{idm27}{idm30}{*}{\catNP}{}
	\binnode*{idm8}{idm15-cat}{idm27}{\FC{0}}{\catS/\catS}{}
	\binnode*{idm126}{idm131-cat}{idm141-cat}{\FC{0}}{\catN}{}
	\binnode*{idm111}{idm116-cat}{idm126}{\FC{0}}{\catNP}{}
	\binnode*{idm106}{idm111}{idm149-cat}{.}{\catNP}{}
	\binnode*{idm87}{idm94-cat}{idm106}{\FC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm66}{idm73-cat}{idm87}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm53}{idm58-cat}{idm66}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm53}{\FC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations