CCGWeb - È possibile arrivare a Boston in treno?

S[q]/NP

possibile

S[adj]\NP

N/N

arrivare

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

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

Boston

S[b]\NP

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

T ^>

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

(S[b]\NP)/NP

> ¹

(S[to]\NP)/NP

> ¹

S[dcl]/NP

> ¹

N\N

N/N

< ¹_×

treno

> ⁰

S[q]

> ⁰

S[q]\S[q]

S[q]

< ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="S[q]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[q]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="È" data-from="0" data-to="1" data-cat="S[q]/NP">
<tr><td class="token">È</td></tr>
<tr><td class="cat" tabindex="0">S[q]/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 binaryrule" data-cat="N/N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="N/N">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="possibile" data-from="2" data-to="11" data-cat="S[adj]\NP">
<tr><td class="token">possibile</td></tr>
<tr><td class="cat" tabindex="0">S[adj]\NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">N/N</div>
<div class="rule" title="Type Changing">
									*
								</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent unaryrule" data-cat="N\N">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="S[dcl]/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="arrivare" data-from="12" data-to="20" data-cat="S[dcl]/(S[to]\NP)">
<tr><td class="token">arrivare</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]/(S[to]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[to]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="a" data-from="21" data-to="22" data-cat="(S[to]\NP)/(S[b]\NP)">
<tr><td class="token">a</td></tr>
<tr><td class="cat" tabindex="0">(S[to]\NP)/(S[b]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[b]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="(S[b]\NP)/((S[b]\NP)\(S[b]\NP))">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Boston" data-from="23" data-to="29" data-cat="S[b]\NP">
<tr><td class="token">Boston</td></tr>
<tr><td class="cat" tabindex="0">S[b]\NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">(S[b]\NP)/((S[b]\NP)\(S[b]\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 lex" data-token="in" data-from="30" data-to="32" data-cat="((S[b]\NP)\(S[b]\NP))/NP">
<tr><td class="token">in</td></tr>
<tr><td class="cat" tabindex="0">((S[b]\NP)\(S[b]\NP))/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[b]\NP)/NP</div>
<div class="rule" title="Forward Composition">&gt; <sup>1</sup>
</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">(S[to]\NP)/NP</div>
<div class="rule" title="Forward Composition">&gt; <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</div>
<div class="rule" title="Forward Composition">&gt; <sup>1</sup>
</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">N\N</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">N/N</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="treno" data-from="33" data-to="38" data-cat="N">
<tr><td class="token">treno</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[q]</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="38" data-to="39" data-cat="S[q]\S[q]">
<tr><td class="token">?</td></tr>
<tr><td class="cat" tabindex="0">S[q]\S[q]</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[q]</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[q]/\catNP}{} \&
		\lexnode*{idm43}{possibile}{\catS[adj]\?\catNP}{} \&
		\lexnode*{idm65}{arrivare}{\catS[dcl]/(\catS[to]\?\catNP)}{} \&
		\lexnode*{idm86}{a}{(\catS[to]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm122}{Boston}{\catS[b]\?\catNP}{} \&
		\lexnode*{idm132}{in}{((\catS[b]\?\catNP)\?(\catS[b]\?\catNP))/\catNP}{} \&
		\lexnode*{idm148}{treno}{\catN}{} \&
		\lexnode*{idm156}{?}{\catS[q]\?\catS[q]}{} \\
	};
	\unnode*{idm38}{idm43-cat}{*}{\catN/\catN}{}
	\unnode*{idm109}{idm122-cat}{\FTR}{(\catS[b]\?\catNP)/((\catS[b]\?\catNP)\?(\catS[b]\?\catNP))}{}
	\binnode*{idm100}{idm109}{idm132-cat}{\FC{1}}{(\catS[b]\?\catNP)/\catNP}{}
	\binnode*{idm77}{idm86-cat}{idm100}{\FC{1}}{(\catS[to]\?\catNP)/\catNP}{}
	\binnode*{idm58}{idm65-cat}{idm77}{\FC{1}}{\catS[dcl]/\catNP}{}
	\unnode*{idm53}{idm58}{*}{\catN\?\catN}{}
	\binnode*{idm31}{idm38}{idm53}{\BXC{1}}{\catN/\catN}{}
	\binnode*{idm26}{idm31}{idm148-cat}{\FC{0}}{\catN}{}
	\unnode*{idm23}{idm26}{*}{\catNP}{}
	\binnode*{idm8}{idm13-cat}{idm23}{\FC{0}}{\catS[q]}{}
	\binnode*{idm3}{idm8}{idm156-cat}{\BC{0}}{\catS[q]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations