CCGWeb - That's not true at all.

That

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

not

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

true

S[adj]\NP

> ⁰

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

all

(S\NP)\(S\NP)

> ⁰

S[adj]\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 lex" data-token="That" data-from="0" data-to="4" 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 binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="'s" data-from="4" data-to="6" data-cat="(S[dcl]\NP)/(S[adj]\NP)">
<tr><td class="token">'s</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 binaryrule" data-cat="S[adj]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[adj]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="not" data-from="7" data-to="10" data-cat="(S[adj]\NP)/(S[adj]\NP)">
<tr><td class="token">not</td></tr>
<tr><td class="cat" tabindex="0">(S[adj]\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="true" data-from="11" data-to="15" data-cat="S[adj]\NP">
<tr><td class="token">true</td></tr>
<tr><td class="cat" tabindex="0">S[adj]\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[adj]\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="16" data-to="18" 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 lex" data-token="all" data-from="19" data-to="22" data-cat="NP">
<tr><td class="token">all</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\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[adj]\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]\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="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">S[dcl]\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]</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}{That}{\catNP}{} \&
		\lexnode*{idm30}{'s}{(\catS[dcl]\?\catNP)/(\catS[adj]\?\catNP)}{} \&
		\lexnode*{idm58}{not}{(\catS[adj]\?\catNP)/(\catS[adj]\?\catNP)}{} \&
		\lexnode*{idm72}{true}{\catS[adj]\?\catNP}{} \&
		\lexnode*{idm93}{at}{((\catS\?\catNP)\?(\catS\?\catNP))/\catNP}{} \&
		\lexnode*{idm109}{all}{\catNP}{} \&
		\lexnode*{idm117}{.}{\cat.}{} \\
	};
	\binnode*{idm51}{idm58-cat}{idm72-cat}{\FC{0}}{\catS[adj]\?\catNP}{}
	\binnode*{idm82}{idm93-cat}{idm109-cat}{\FC{0}}{(\catS\?\catNP)\?(\catS\?\catNP)}{}
	\binnode*{idm44}{idm51}{idm82}{\BC{0}}{\catS[adj]\?\catNP}{}
	\binnode*{idm23}{idm30-cat}{idm44}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm16}{idm23}{idm117-cat}{.}{\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