CCGWeb - Non avrei dovuto lasciarvi da sole.

Non

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

avrei

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

T ^<

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

< ¹_×

dovuto

(S[b]\NP)/(S[pt]\NP)

lasciarvi

S[pt]\NP

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

sole

(S[pt]\NP)\(S[pt]\NP)

> ⁰

S[pt]\NP

< ⁰

S[b]\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 binaryrule" data-cat="S[dcl]/(S[b]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Non" data-from="0" data-to="3" data-cat="(S[dcl]/NP)/(S[b]\NP)">
<tr><td class="token">Non</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]/NP)/(S[b]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent unaryrule" data-cat="S[dcl]\(S[dcl]/NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="avrei" data-from="4" data-to="9" data-cat="NP">
<tr><td class="token">avrei</td></tr>
<tr><td class="cat" tabindex="0">NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]\(S[dcl]/NP)</div>
<div class="rule" title="Backward Type Raising">
									T <sup>&lt;</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]/(S[b]\NP)</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="S[b]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="dovuto" data-from="10" data-to="16" data-cat="(S[b]\NP)/(S[pt]\NP)">
<tr><td class="token">dovuto</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\NP)/(S[pt]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[pt]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="lasciarvi" data-from="17" data-to="26" data-cat="S[pt]\NP">
<tr><td class="token">lasciarvi</td></tr>
<tr><td class="cat" tabindex="0">S[pt]\NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[pt]\NP)\(S[pt]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="da" data-from="27" data-to="29" data-cat="((S[pt]\NP)\(S[pt]\NP))/NP">
<tr><td class="token">da</td></tr>
<tr><td class="cat" tabindex="0">((S[pt]\NP)\(S[pt]\NP))/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="sole" data-from="30" data-to="34" data-cat="N">
<tr><td class="token">sole</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">(S[pt]\NP)\(S[pt]\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[pt]\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[b]\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="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="34" data-to="35" 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*{idm22}{Non}{(\catS[dcl]/\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm43}{avrei}{\catNP}{} \&
		\lexnode*{idm58}{dovuto}{(\catS[b]\?\catNP)/(\catS[pt]\?\catNP)}{} \&
		\lexnode*{idm79}{lasciarvi}{\catS[pt]\?\catNP}{} \&
		\lexnode*{idm100}{da}{((\catS[pt]\?\catNP)\?(\catS[pt]\?\catNP))/\catNP}{} \&
		\lexnode*{idm119}{sole}{\catN}{} \&
		\lexnode*{idm127}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\unnode*{idm36}{idm43-cat}{*}{\catS[dcl]\?(\catS[dcl]/\catNP)}{}
	\binnode*{idm13}{idm22-cat}{idm36}{\BXC{1}}{\catS[dcl]/(\catS[b]\?\catNP)}{}
	\unnode*{idm116}{idm119-cat}{*}{\catNP}{}
	\binnode*{idm89}{idm100-cat}{idm116}{\FC{0}}{(\catS[pt]\?\catNP)\?(\catS[pt]\?\catNP)}{}
	\binnode*{idm72}{idm79-cat}{idm89}{\BC{0}}{\catS[pt]\?\catNP}{}
	\binnode*{idm51}{idm58-cat}{idm72}{\FC{0}}{\catS[b]\?\catNP}{}
	\binnode*{idm8}{idm13}{idm51}{\FC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm127-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations