CCGWeb - Riesci a farlo, vero?

Riesci

N/(S[to]\NP)

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

farlo

S[b]\NP

S[to]\NP

> ⁰

(NP\NP)/NP

vero

NP\NP

> ⁰

< ⁰

NP\NP

< ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="NP">
<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 binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Riesci" data-from="0" data-to="6" data-cat="N/(S[to]\NP)">
<tr><td class="token">Riesci</td></tr>
<tr><td class="cat" tabindex="0">N/(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">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="a" data-from="7" data-to="8" 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 lex" data-token="farlo" data-from="9" data-to="14" data-cat="S[b]\NP">
<tr><td class="token">farlo</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 colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[to]\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">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>
<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="," data-from="14" data-to="15" data-cat="(NP\NP)/NP">
<tr><td class="token">,</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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="vero" data-from="16" data-to="20" data-cat="N">
<tr><td class="token">vero</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">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</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="20" data-to="21" data-cat="NP\NP">
<tr><td class="token">?</td></tr>
<tr><td class="cat" tabindex="0">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">NP</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*{idm21}{Riesci}{\catN/(\catS[to]\?\catNP)}{} \&
		\lexnode*{idm40}{a}{(\catS[to]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm54}{farlo}{\catS[b]\?\catNP}{} \&
		\lexnode*{idm71}{,}{(\catNP\?\catNP)/\catNP}{} \&
		\lexnode*{idm86}{vero}{\catN}{} \&
		\lexnode*{idm94}{?}{\catNP\?\catNP}{} \\
	};
	\binnode*{idm33}{idm40-cat}{idm54-cat}{\FC{0}}{\catS[to]\?\catNP}{}
	\binnode*{idm16}{idm21-cat}{idm33}{\FC{0}}{\catN}{}
	\unnode*{idm13}{idm16}{*}{\catNP}{}
	\unnode*{idm83}{idm86-cat}{*}{\catNP}{}
	\binnode*{idm64}{idm71-cat}{idm83}{\FC{0}}{\catNP\?\catNP}{}
	\binnode*{idm8}{idm13}{idm64}{\BC{0}}{\catNP}{}
	\binnode*{idm3}{idm8}{idm94-cat}{\BC{0}}{\catNP}{}
\end{tikzpicture}

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

Sentence

Parse

Translations