CCGWeb - È tutto a posto.

(S[dcl]\NP)/PP

tutto

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

T ^>

PP/NP

posto

> ⁰

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

T ^<

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

> ¹_×

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="È" data-from="0" data-to="1" data-cat="(S[dcl]\NP)/PP">
<tr><td class="token">È</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 binaryrule" data-cat="S[dcl]\((S[dcl]\NP)/PP)">
<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 lex" data-token="tutto" data-from="2" data-to="7" data-cat="NP">
<tr><td class="token">tutto</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="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)/PP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="PP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="a" data-from="8" data-to="9" data-cat="PP/NP">
<tr><td class="token">a</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="posto" data-from="10" data-to="15" data-cat="N">
<tr><td class="token">posto</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 class="rulecat"><div class="rulecat">
<div class="cat">(S[dcl]\NP)\((S[dcl]\NP)/PP)</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)/PP)</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>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="15" data-to="16" 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}{È}{(\catS[dcl]\?\catNP)/\catPP}{} \&
		\lexnode*{idm43}{tutto}{\catNP}{} \&
		\lexnode*{idm67}{a}{\catPP/\catNP}{} \&
		\lexnode*{idm80}{posto}{\catN}{} \&
		\lexnode*{idm88}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\unnode*{idm36}{idm43-cat}{\FTR}{\catS[dcl]/(\catS[dcl]\?\catNP)}{}
	\unnode*{idm77}{idm80-cat}{*}{\catNP}{}
	\binnode*{idm62}{idm67-cat}{idm77}{\FC{0}}{\catPP}{}
	\unnode*{idm51}{idm62}{*}{(\catS[dcl]\?\catNP)\?((\catS[dcl]\?\catNP)/\catPP)}{}
	\binnode*{idm25}{idm36}{idm51}{\FXC{1}}{\catS[dcl]\?((\catS[dcl]\?\catNP)/\catPP)}{}
	\binnode*{idm8}{idm13-cat}{idm25}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm88-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations