CCGWeb - Lei ha smesso di fumare.

Lei

smesso

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

(S[dcl]\NP)/PP

< ⁰

PP/NP

fumare

> ⁰

S[dcl]\NP

> ⁰

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 lex" data-token="Lei" data-from="0" data-to="3" data-cat="NP">
<tr><td class="token">Lei</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="ha" data-from="4" data-to="6" data-cat="NP">
<tr><td class="token">ha</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="smesso" data-from="7" data-to="13" data-cat="((S[dcl]\NP)/PP)\NP">
<tr><td class="token">smesso</td></tr>
<tr><td class="cat" tabindex="0">((S[dcl]\NP)/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">(S[dcl]\NP)/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 binaryrule" data-cat="PP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="di" data-from="14" data-to="16" data-cat="PP/NP">
<tr><td class="token">di</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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="fumare" data-from="17" data-to="23" data-cat="N">
<tr><td class="token">fumare</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">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></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="23" data-to="24" 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*{idm13}{Lei}{\catNP}{} \&
		\lexnode*{idm37}{ha}{\catNP}{} \&
		\lexnode*{idm45}{smesso}{((\catS[dcl]\?\catNP)/\catPP)\?\catNP}{} \&
		\lexnode*{idm64}{di}{\catPP/\catNP}{} \&
		\lexnode*{idm77}{fumare}{\catN}{} \&
		\lexnode*{idm85}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\binnode*{idm28}{idm37-cat}{idm45-cat}{\BC{0}}{(\catS[dcl]\?\catNP)/\catPP}{}
	\unnode*{idm74}{idm77-cat}{*}{\catNP}{}
	\binnode*{idm59}{idm64-cat}{idm74}{\FC{0}}{\catPP}{}
	\binnode*{idm21}{idm28}{idm59}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm8}{idm13-cat}{idm21}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm85-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations