CCGWeb - He isn't at his father's level.

(S[dcl]\NP)/PP

n't

(S\NP)\(S\NP)

(S[dcl]\NP)/PP

< ¹_×

PP/NP

his

NP/(N/PP)

father

N/PP

> ⁰

(NP/(N/PP))\NP

NP/(N/PP)

< ⁰

level

N/PP

> ⁰

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="He" data-from="0" data-to="2" data-cat="NP">
<tr><td class="token">He</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)/PP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="is" data-from="3" data-to="5" data-cat="(S[dcl]\NP)/PP">
<tr><td class="token">is</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/PP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="n't" data-from="5" data-to="8" data-cat="(S\NP)\(S\NP)">
<tr><td class="token">n't</td></tr>
<tr><td class="cat" tabindex="0">(S\NP)\(S\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[dcl]\NP)/PP</div>
<div class="rule" title="Backward Crossed Composition">&lt; <sup>1</sup><sub>×</sub>
</div>
</div></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="at" data-from="9" data-to="11" data-cat="PP/NP">
<tr><td class="token">at</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 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 binaryrule" data-cat="NP/(N/PP)">
<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="his" data-from="12" data-to="15" data-cat="NP/(N/PP)">
<tr><td class="token">his</td></tr>
<tr><td class="cat" tabindex="0">NP/(N/PP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="father" data-from="16" data-to="22" data-cat="N/PP">
<tr><td class="token">father</td></tr>
<tr><td class="cat" tabindex="0">N/PP</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="Forward Application">&gt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="'s" data-from="22" data-to="24" data-cat="(NP/(N/PP))\NP">
<tr><td class="token">'s</td></tr>
<tr><td class="cat" tabindex="0">(NP/(N/PP))\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">NP/(N/PP)</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="level" data-from="25" data-to="30" data-cat="N/PP">
<tr><td class="token">level</td></tr>
<tr><td class="cat" tabindex="0">N/PP</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="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="30" data-to="31" 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">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">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}{He}{\catNP}{} \&
		\lexnode*{idm32}{is}{(\catS[dcl]\?\catNP)/\catPP}{} \&
		\lexnode*{idm44}{n't}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm63}{at}{\catPP/\catNP}{} \&
		\lexnode*{idm97}{his}{\catNP/(\catN/\catPP)}{} \&
		\lexnode*{idm109}{father}{\catN/\catPP}{} \&
		\lexnode*{idm119}{'s}{(\catNP/(\catN/\catPP))\?\catNP}{} \&
		\lexnode*{idm133}{level}{\catN/\catPP}{} \&
		\lexnode*{idm143}{.}{\cat.}{} \\
	};
	\binnode*{idm23}{idm32-cat}{idm44-cat}{\BXC{1}}{(\catS[dcl]\?\catNP)/\catPP}{}
	\binnode*{idm92}{idm97-cat}{idm109-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm83}{idm92}{idm119-cat}{\BC{0}}{\catNP/(\catN/\catPP)}{}
	\binnode*{idm78}{idm83}{idm133-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm73}{idm78}{idm143-cat}{.}{\catNP}{}
	\binnode*{idm58}{idm63-cat}{idm73}{\FC{0}}{\catPP}{}
	\binnode*{idm16}{idm23}{idm58}{\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