CCGWeb - Tom ha due fratelli. Uno vive a Boston e l'altro vive a Chicago.

Tom

(S[dcl]\NP)/NP

due

N/N

fratelli

> ⁰

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

S[dcl]\S[dcl]

S[dcl]

< ⁰

Uno

NP/N

vive

S[dcl]\NP

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

T ^>

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

Boston

NP\(NP/N)

T ^<

(NP\NP)/NP

NP/N

altro

> ⁰

NP\NP

> ⁰

NP\(NP/N)

< ¹

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

> ¹_×

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

> ¹_×

S[dcl]\NP

< ⁰

vive

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

T ^>

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

Chicago

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

> ⁰

S[dcl]\(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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Tom" data-from="0" data-to="3" data-cat="N">
<tr><td class="token">Tom</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>
<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 lex" data-token="ha" data-from="4" data-to="6" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">ha</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 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="due" data-from="7" data-to="10" data-cat="N/N">
<tr><td class="token">due</td></tr>
<tr><td class="cat" tabindex="0">N/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="fratelli" data-from="11" data-to="19" data-cat="N">
<tr><td class="token">fratelli</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">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 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="19" data-to="20" 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>
 <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]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Uno" data-from="21" data-to="24" data-cat="NP/N">
<tr><td class="token">Uno</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 binaryrule" data-cat="(S[dcl]\NP)\(NP/N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="(S[dcl]\NP)/((S[dcl]\NP)\(S[dcl]\NP))">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="vive" data-from="25" data-to="29" data-cat="S[dcl]\NP">
<tr><td class="token">vive</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 class="rulecat"><div class="rulecat">
<div class="cat">(S[dcl]\NP)/((S[dcl]\NP)\(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 binaryrule" data-cat="((S[dcl]\NP)\(S[dcl]\NP))\(NP/N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="a" data-from="30" data-to="31" data-cat="((S[dcl]\NP)\(S[dcl]\NP))/NP">
<tr><td class="token">a</td></tr>
<tr><td class="cat" tabindex="0">((S[dcl]\NP)\(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="NP\(NP/N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="NP\(NP/N)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Boston" data-from="32" data-to="38" data-cat="N">
<tr><td class="token">Boston</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\(NP/N)</div>
<div class="rule" title="Backward Type Raising">
									T <sup>&lt;</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="NP\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="e" data-from="39" data-to="40" data-cat="(NP\NP)/NP">
<tr><td class="token">e</td></tr>
<tr><td class="cat" tabindex="0">(NP\NP)/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="l'" data-from="41" data-to="43" data-cat="NP/N">
<tr><td class="token">l'</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="altro" data-from="43" data-to="48" data-cat="N">
<tr><td class="token">altro</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 colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">NP\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">NP\(NP/N)</div>
<div class="rule" title="Backward Composition">&lt; <sup>1</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">((S[dcl]\NP)\(S[dcl]\NP))\(NP/N)</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]\NP)\(NP/N)</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]\NP</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="S[dcl]\(S[dcl]\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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="vive" data-from="49" data-to="53" data-cat="N">
<tr><td class="token">vive</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 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 binaryrule" data-cat="(S[dcl]\NP)\(S[dcl]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="a" data-from="54" data-to="55" data-cat="((S[dcl]\NP)\(S[dcl]\NP))/NP">
<tr><td class="token">a</td></tr>
<tr><td class="cat" tabindex="0">((S[dcl]\NP)\(S[dcl]\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="Chicago" data-from="56" data-to="63" data-cat="N">
<tr><td class="token">Chicago</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[dcl]\NP)\(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]\(S[dcl]\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>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="63" data-to="64" 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*{idm16}{Tom}{\catN}{} \&
		\lexnode*{idm31}{ha}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm51}{due}{\catN/\catN}{} \&
		\lexnode*{idm61}{fratelli}{\catN}{} \&
		\lexnode*{idm69}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\unnode*{idm13}{idm16-cat}{*}{\catNP}{}
	\binnode*{idm46}{idm51-cat}{idm61-cat}{\FC{0}}{\catN}{}
	\unnode*{idm43}{idm46}{*}{\catNP}{}
	\binnode*{idm24}{idm31-cat}{idm43}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm8}{idm13}{idm24}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm69-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}\begin{tikzpicture}[ampersand replacement=\&]
	\matrix [column sep=9pt] at (0, 0) {
		\lexnode*{idm97}{Uno}{\catNP/\catN}{} \&
		\lexnode*{idm131}{vive}{\catS[dcl]\?\catNP}{} \&
		\lexnode*{idm156}{a}{((\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP))/\catNP}{} \&
		\lexnode*{idm188}{Boston}{\catN}{} \&
		\lexnode*{idm203}{e}{(\catNP\?\catNP)/\catNP}{} \&
		\lexnode*{idm220}{l'}{\catNP/\catN}{} \&
		\lexnode*{idm230}{altro}{\catN}{} \&
		\lexnode*{idm257}{vive}{\catN}{} \&
		\lexnode*{idm276}{a}{((\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP))/\catNP}{} \&
		\lexnode*{idm295}{Chicago}{\catN}{} \&
		\lexnode*{idm303}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\unnode*{idm118}{idm131-cat}{\FTR}{(\catS[dcl]\?\catNP)/((\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP))}{}
	\unnode*{idm181}{idm188-cat}{*}{\catNP\?(\catNP/\catN)}{}
	\binnode*{idm215}{idm220-cat}{idm230-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm196}{idm203-cat}{idm215}{\FC{0}}{\catNP\?\catNP}{}
	\binnode*{idm172}{idm181}{idm196}{\BC{1}}{\catNP\?(\catNP/\catN)}{}
	\binnode*{idm141}{idm156-cat}{idm172}{\FXC{1}}{((\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP))\?(\catNP/\catN)}{}
	\binnode*{idm107}{idm118}{idm141}{\FXC{1}}{(\catS[dcl]\?\catNP)\?(\catNP/\catN)}{}
	\binnode*{idm90}{idm97-cat}{idm107}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\unnode*{idm254}{idm257-cat}{*}{\catNP}{}
	\unnode*{idm247}{idm254}{\FTR}{\catS[dcl]/(\catS[dcl]\?\catNP)}{}
	\unnode*{idm292}{idm295-cat}{*}{\catNP}{}
	\binnode*{idm265}{idm276-cat}{idm292}{\FC{0}}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm238}{idm247}{idm265}{\FXC{1}}{\catS[dcl]\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm85}{idm90}{idm238}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm80}{idm85}{idm303-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations