CCGWeb - Is that so?

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

that

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

> ⁰

S[adj]\NP

S[q]

> ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="S[q]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[q]/(S[adj]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Is" data-from="0" data-to="2" data-cat="(S[q]/(S[adj]\NP))/NP">
<tr><td class="token">Is</td></tr>
<tr><td class="cat" tabindex="0">(S[q]/(S[adj]\NP))/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="that" data-from="3" data-to="7" 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>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[q]/(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[adj]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="so" data-from="8" data-to="10" data-cat="S[adj]\NP">
<tr><td class="token">so</td></tr>
<tr><td class="cat" tabindex="0">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="?" data-from="10" data-to="11" 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[adj]\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[q]</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*{idm17}{Is}{(\catS[q]/(\catS[adj]\?\catNP))/\catNP}{} \&
		\lexnode*{idm31}{that}{\catNP}{} \&
		\lexnode*{idm46}{so}{\catS[adj]\?\catNP}{} \&
		\lexnode*{idm56}{?}{\cat.}{} \\
	};
	\binnode*{idm8}{idm17-cat}{idm31-cat}{\FC{0}}{\catS[q]/(\catS[adj]\?\catNP)}{}
	\binnode*{idm39}{idm46-cat}{idm56-cat}{.}{\catS[adj]\?\catNP}{}
	\binnode*{idm3}{idm8}{idm39}{\FC{0}}{\catS[q]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations