CCGWeb - Se avessi saputo il suo indirizzo le avrei scritto.

(S[dcl]/S[dcl])/S[dcl]

avessi

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

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

> ¹

saputo

(S[dcl]\NP)/NP

NP/N

suo

> ⁰

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

T ^>

indirizzo

N/PP

PP/NP

avrei

> ⁰

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

T ^<

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

> ¹_×

S[dcl]

< ⁰

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

T ^<

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

< ¹_×

scritto

S[pt]\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[pt]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[dcl]/S[dcl])/(S[pt]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Se" data-from="0" data-to="2" data-cat="(S[dcl]/S[dcl])/S[dcl]">
<tr><td class="token">Se</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]/S[dcl])/S[dcl]</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="avessi" data-from="3" data-to="9" data-cat="S[dcl]/(S[pt]\NP)">
<tr><td class="token">avessi</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]/(S[pt]\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]/S[dcl])/(S[pt]\NP)</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 unaryrule" data-cat="S[dcl]\(S[dcl]/S[dcl])">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="S[dcl]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="saputo" data-from="10" data-to="16" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">saputo</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/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]\((S[dcl]\NP)/NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="S[dcl]/(S[dcl]\NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="il" data-from="17" data-to="19" data-cat="NP/N">
<tr><td class="token">il</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 lex" data-token="suo" data-from="20" data-to="23" data-cat="N">
<tr><td class="token">suo</td></tr>
<tr><td class="cat" tabindex="0">N</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></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]/(S[dcl]\NP)</div>
<div class="rule" title="Forward Type Raising">
									T <sup>&gt;</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent unaryrule" data-cat="(S[dcl]\NP)\((S[dcl]\NP)/NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="indirizzo" data-from="24" data-to="33" data-cat="N/PP">
<tr><td class="token">indirizzo</td></tr>
<tr><td class="cat" tabindex="0">N/PP</td></tr>
<tr><td class="span-swiper"> </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="le" data-from="34" data-to="36" data-cat="PP/NP">
<tr><td class="token">le</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 lex" data-token="avrei" data-from="37" data-to="42" 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 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">N</div>
<div class="rule" title="Forward Application">&gt; <sup>0</sup>
</div>
</div></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 class="rulecat"><div class="rulecat">
<div class="cat">(S[dcl]\NP)\((S[dcl]\NP)/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[dcl]\NP)/NP)</div>
<div class="rule" title="Forward Crossed Composition">&gt; <sup>1</sup><sub>×</sub>
</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></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]\(S[dcl]/S[dcl])</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[pt]\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 lex" data-token="scritto" data-from="43" data-to="50" data-cat="S[pt]\NP">
<tr><td class="token">scritto</td></tr>
<tr><td class="cat" tabindex="0">S[pt]\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]</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="50" data-to="51" 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*{idm33}{Se}{(\catS[dcl]/\catS[dcl])/\catS[dcl]}{} \&
		\lexnode*{idm45}{avessi}{\catS[dcl]/(\catS[pt]\?\catNP)}{} \&
		\lexnode*{idm69}{saputo}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm104}{il}{\catNP/\catN}{} \&
		\lexnode*{idm114}{suo}{\catN}{} \&
		\lexnode*{idm141}{indirizzo}{\catN/\catPP}{} \&
		\lexnode*{idm156}{le}{\catPP/\catNP}{} \&
		\lexnode*{idm166}{avrei}{\catNP}{} \&
		\lexnode*{idm174}{scritto}{\catS[pt]\?\catNP}{} \&
		\lexnode*{idm184}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\binnode*{idm22}{idm33-cat}{idm45-cat}{\FC{1}}{(\catS[dcl]/\catS[dcl])/(\catS[pt]\?\catNP)}{}
	\binnode*{idm99}{idm104-cat}{idm114-cat}{\FC{0}}{\catNP}{}
	\unnode*{idm92}{idm99}{\FTR}{\catS[dcl]/(\catS[dcl]\?\catNP)}{}
	\binnode*{idm151}{idm156-cat}{idm166-cat}{\FC{0}}{\catPP}{}
	\binnode*{idm136}{idm141-cat}{idm151}{\FC{0}}{\catN}{}
	\unnode*{idm133}{idm136}{*}{\catNP}{}
	\unnode*{idm122}{idm133}{*}{(\catS[dcl]\?\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm81}{idm92}{idm122}{\FXC{1}}{\catS[dcl]\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm64}{idm69-cat}{idm81}{\BC{0}}{\catS[dcl]}{}
	\unnode*{idm57}{idm64}{*}{\catS[dcl]\?(\catS[dcl]/\catS[dcl])}{}
	\binnode*{idm13}{idm22}{idm57}{\BXC{1}}{\catS[dcl]/(\catS[pt]\?\catNP)}{}
	\binnode*{idm8}{idm13}{idm174-cat}{\FC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm184-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations