CCGWeb - —Ya veo —dijo el ciego, mientras cogía su martillo y su sierra.

—

N/N

> ⁰

veo

(S[dcl]\NP)/NP

—

NP/N

dijo

(S[dcl]\NP)/NP

N/N

ciego

> ⁰

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

T ^>

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

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

< ⁰

mientras

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

cogía

S[dcl]\NP

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

< ⁿ

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

martillo

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

> ⁰

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

> ¹_×

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

> ¹_×

S[dcl]/NP

< ¹_×

N\N

NP\N

> ¹_×

(S[dcl]\NP)\N

> ¹_×

S[dcl]\NP

< ⁰

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

T ^>

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

sierra

(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 binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="—" data-from="0" data-to="1" data-cat="N/N">
<tr><td class="token">—</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="Ya" data-from="1" data-to="3" data-cat="N">
<tr><td class="token">Ya</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>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[dcl]\NP)\N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="veo" data-from="4" data-to="7" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">veo</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="NP\N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="—" data-from="8" data-to="9" data-cat="NP/N">
<tr><td class="token">—</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 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="dijo" data-from="9" data-to="13" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">dijo</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)">
<tr class="daughters">
<td class="daughter daughter-left"><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 binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="el" data-from="14" data-to="16" data-cat="N/N">
<tr><td class="token">el</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="ciego" data-from="17" data-to="22" data-cat="N">
<tr><td class="token">ciego</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 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 lex" data-token="," data-from="22" data-to="23" data-cat="(S[dcl]/(S[dcl]\NP))\(S[dcl]/(S[dcl]\NP))">
<tr><td class="token">,</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]/(S[dcl]\NP))\(S[dcl]/(S[dcl]\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]\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]\NP)\(S[dcl]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><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="mientras" data-from="24" data-to="32" data-cat="(NP\NP)/(S[dcl]\NP)">
<tr><td class="token">mientras</td></tr>
<tr><td class="cat" tabindex="0">(NP\NP)/(S[dcl]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="cogía" data-from="33" data-to="38" data-cat="S[dcl]\NP">
<tr><td class="token">cogía</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 colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">(S[dcl]\NP)/(S[dcl]\NP)</div>
<div class="rule" title="Backward Composition">&lt; <sup><i>n</i></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="su" data-from="39" data-to="41" data-cat="((S[dcl]\NP)\(S[dcl]\NP))/NP">
<tr><td class="token">su</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="martillo" data-from="42" data-to="50" data-cat="N">
<tr><td class="token">martillo</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]\NP)\(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]\(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]/NP</div>
<div class="rule" title="Backward Crossed Composition">&lt; <sup>1</sup><sub>×</sub>
</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">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)\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="y" data-from="51" data-to="52" data-cat="N">
<tr><td class="token">y</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="su" data-from="53" data-to="55" data-cat="((S[dcl]\NP)\(S[dcl]\NP))/NP">
<tr><td class="token">su</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="sierra" data-from="56" data-to="62" data-cat="N">
<tr><td class="token">sierra</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="62" data-to="63" 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*{idm25}{—}{\catN/\catN}{} \&
		\lexnode*{idm35}{Ya}{\catN}{} \&
		\lexnode*{idm52}{veo}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm71}{—}{\catNP/\catN}{} \&
		\lexnode*{idm93}{dijo}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm138}{el}{\catN/\catN}{} \&
		\lexnode*{idm148}{ciego}{\catN}{} \&
		\lexnode*{idm156}{,}{(\catS[dcl]/(\catS[dcl]\?\catNP))\?(\catS[dcl]/(\catS[dcl]\?\catNP))}{} \&
		\lexnode*{idm196}{mientras}{(\catNP\?\catNP)/(\catS[dcl]\?\catNP)}{} \&
		\lexnode*{idm210}{cogía}{\catS[dcl]\?\catNP}{} \&
		\lexnode*{idm231}{su}{((\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP))/\catNP}{} \&
		\lexnode*{idm250}{martillo}{\catN}{} \&
		\lexnode*{idm277}{y}{\catN}{} \&
		\lexnode*{idm296}{su}{((\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP))/\catNP}{} \&
		\lexnode*{idm315}{sierra}{\catN}{} \&
		\lexnode*{idm323}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\binnode*{idm20}{idm25-cat}{idm35-cat}{\FC{0}}{\catN}{}
	\binnode*{idm133}{idm138-cat}{idm148-cat}{\FC{0}}{\catN}{}
	\unnode*{idm130}{idm133}{*}{\catNP}{}
	\unnode*{idm123}{idm130}{\FTR}{\catS[dcl]/(\catS[dcl]\?\catNP)}{}
	\binnode*{idm114}{idm123}{idm156-cat}{\BC{0}}{\catS[dcl]/(\catS[dcl]\?\catNP)}{}
	\binnode*{idm185}{idm196-cat}{idm210-cat}{\BC{n}}{(\catS[dcl]\?\catNP)/(\catS[dcl]\?\catNP)}{}
	\unnode*{idm247}{idm250-cat}{*}{\catNP}{}
	\binnode*{idm220}{idm231-cat}{idm247}{\FC{0}}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm174}{idm185}{idm220}{\FXC{1}}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm105}{idm114}{idm174}{\FXC{1}}{\catS[dcl]\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm86}{idm93-cat}{idm105}{\BXC{1}}{\catS[dcl]/\catNP}{}
	\unnode*{idm81}{idm86}{*}{\catN\?\catN}{}
	\binnode*{idm64}{idm71-cat}{idm81}{\FXC{1}}{\catNP\?\catN}{}
	\binnode*{idm43}{idm52-cat}{idm64}{\FXC{1}}{(\catS[dcl]\?\catNP)\?\catN}{}
	\binnode*{idm13}{idm20}{idm43}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\unnode*{idm274}{idm277-cat}{*}{\catNP}{}
	\unnode*{idm267}{idm274}{\FTR}{\catS[dcl]/(\catS[dcl]\?\catNP)}{}
	\unnode*{idm312}{idm315-cat}{*}{\catNP}{}
	\binnode*{idm285}{idm296-cat}{idm312}{\FC{0}}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm258}{idm267}{idm285}{\FXC{1}}{\catS[dcl]\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm8}{idm13}{idm258}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm323-cat}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations