CCGWeb - C'est kif-kif.

NP/N

est

N/(N\N)

T ^>

NP/(N\N)

> ¹

kif

S[dcl]\NP

S[dcl]/(N\N)

< ¹_×

NP/NP

kif

S[dcl]\NP

S[dcl]/NP

< ¹_×

N\N

S[dcl]

> ⁰

S[dcl]\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[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[dcl]/(N\N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="NP/(N\N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="C'" data-from="0" data-to="2" data-cat="NP/N">
<tr><td class="token">C'</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 unaryrule" data-cat="N/(N\N)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="est" data-from="2" data-to="5" data-cat="N">
<tr><td class="token">est</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">N/(N\N)</div>
<div class="rule" title="Forward Type Raising">
									T <sup>&gt;</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP/(N\N)</div>
<div class="rule" title="Forward Composition">&gt; <sup>1</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="kif" data-from="6" data-to="9" data-cat="S[dcl]\NP">
<tr><td class="token">kif</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]\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]/(N\N)</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 unaryrule" data-cat="N\N">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="S[dcl]/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="-" data-from="9" data-to="10" data-cat="NP/NP">
<tr><td class="token">-</td></tr>
<tr><td class="cat" tabindex="0">NP/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="kif" data-from="10" data-to="13" data-cat="S[dcl]\NP">
<tr><td class="token">kif</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]\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</div>
<div class="rule" title="Backward Crossed Composition">&lt; <sup>1</sup><sub>×</sub>
</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">N\N</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[dcl]</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="13" data-to="14" data-cat="S[dcl]\S[dcl]">
<tr><td class="token">.</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]\S[dcl]</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]</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*{idm31}{C'}{\catNP/\catN}{} \&
		\lexnode*{idm48}{est}{\catN}{} \&
		\lexnode*{idm56}{kif}{\catS[dcl]\?\catNP}{} \&
		\lexnode*{idm78}{-}{\catNP/\catNP}{} \&
		\lexnode*{idm88}{kif}{\catS[dcl]\?\catNP}{} \&
		\lexnode*{idm98}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\unnode*{idm41}{idm48-cat}{\FTR}{\catN/(\catN\?\catN)}{}
	\binnode*{idm22}{idm31-cat}{idm41}{\FC{1}}{\catNP/(\catN\?\catN)}{}
	\binnode*{idm13}{idm22}{idm56-cat}{\BXC{1}}{\catS[dcl]/(\catN\?\catN)}{}
	\binnode*{idm71}{idm78-cat}{idm88-cat}{\BXC{1}}{\catS[dcl]/\catNP}{}
	\unnode*{idm66}{idm71}{*}{\catN\?\catN}{}
	\binnode*{idm8}{idm13}{idm66}{\FC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm98-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations