CCGWeb - Let's leave it at that.

Let

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

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

> ⁰

leave

(S[b]\NP)/NP

S[b]\NP

> ⁰

((S\NP)\(S\NP))/NP

that

(S\NP)\(S\NP)

> ⁰

S[b]\NP

< ⁰

S[b]\NP

> ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="S[b]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[b]\NP)/(S[b]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Let" data-from="0" data-to="3" data-cat="((S[b]\NP)/(S[b]\NP))/NP">
<tr><td class="token">Let</td></tr>
<tr><td class="cat" tabindex="0">((S[b]\NP)/(S[b]\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="'s" data-from="3" data-to="5" data-cat="N">
<tr><td class="token">'s</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[b]\NP)/(S[b]\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[b]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[b]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="leave" data-from="6" data-to="11" data-cat="(S[b]\NP)/NP">
<tr><td class="token">leave</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 lex" data-token="it" data-from="12" data-to="14" 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>
</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>
<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="at" data-from="15" data-to="17" data-cat="((S\NP)\(S\NP))/NP">
<tr><td class="token">at</td></tr>
<tr><td class="cat" tabindex="0">((S\NP)\(S\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="18" data-to="22" 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="22" data-to="23" 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\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[b]\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[b]\NP</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*{idm21}{Let}{((\catS[b]\?\catNP)/(\catS[b]\?\catNP))/\catNP}{} \&
		\lexnode*{idm40}{'s}{\catN}{} \&
		\lexnode*{idm62}{leave}{(\catS[b]\?\catNP)/\catNP}{} \&
		\lexnode*{idm74}{it}{\catNP}{} \&
		\lexnode*{idm93}{at}{((\catS\?\catNP)\?(\catS\?\catNP))/\catNP}{} \&
		\lexnode*{idm114}{that}{\catNP}{} \&
		\lexnode*{idm122}{.}{\cat.}{} \\
	};
	\unnode*{idm37}{idm40-cat}{*}{\catNP}{}
	\binnode*{idm10}{idm21-cat}{idm37}{\FC{0}}{(\catS[b]\?\catNP)/(\catS[b]\?\catNP)}{}
	\binnode*{idm55}{idm62-cat}{idm74-cat}{\FC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm109}{idm114-cat}{idm122-cat}{.}{\catNP}{}
	\binnode*{idm82}{idm93-cat}{idm109}{\FC{0}}{(\catS\?\catNP)\?(\catS\?\catNP)}{}
	\binnode*{idm48}{idm55}{idm82}{\BC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm3}{idm10}{idm48}{\FC{0}}{\catS[b]\?\catNP}{}
\end{tikzpicture}

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

Sentence

Parse

Translations