CCGWeb - O Tom ainda está na Austrália.

S[dcl]/S[dcl]

Tom

ainda

(S[dcl]\NP)/NP

está

S[pss]\NP

S[dcl]/S[dcl]

N/N

Austrália

> ⁰

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

T ^<

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

> ⁿ

S[dcl]\NP

< ⁰

S[dcl]

< ⁰

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 lex" data-token="O" data-from="0" data-to="1" data-cat="S[dcl]/S[dcl]">
<tr><td class="token">O</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]/S[dcl]</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><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="2" data-to="5" 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="ainda" data-from="6" data-to="11" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">ainda</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]\NP)\((S[dcl]\NP)/NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="S[dcl]/S[dcl]">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="está" data-from="12" data-to="16" data-cat="S[pss]\NP">
<tr><td class="token">está</td></tr>
<tr><td class="cat" tabindex="0">S[pss]\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]</div>
<div class="rule" title="Type Changing">
									*
								</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent unaryrule" data-cat="(S[dcl]\NP)\((S[dcl]\NP)/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="na" data-from="17" data-to="19" data-cat="N/N">
<tr><td class="token">na</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="Austrália" data-from="20" data-to="29" data-cat="N">
<tr><td class="token">Austrália</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]\NP)\((S[dcl]\NP)/NP)</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]\NP)\((S[dcl]\NP)/NP)</div>
<div class="rule" title="Forward Crossed Composition">&gt; <sup><i>n</i></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="Backward Application">&lt; <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="29" data-to="30" 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></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">S[dcl]</div>
<div class="rule" title="Forward Application">&gt; <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*{idm8}{O}{\catS[dcl]/\catS[dcl]}{} \&
		\lexnode*{idm31}{Tom}{\catN}{} \&
		\lexnode*{idm46}{ainda}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm76}{está}{\catS[pss]\?\catNP}{} \&
		\lexnode*{idm105}{na}{\catN/\catN}{} \&
		\lexnode*{idm115}{Austrália}{\catN}{} \&
		\lexnode*{idm123}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\unnode*{idm28}{idm31-cat}{*}{\catNP}{}
	\unnode*{idm71}{idm76-cat}{*}{\catS[dcl]/\catS[dcl]}{}
	\binnode*{idm100}{idm105-cat}{idm115-cat}{\FC{0}}{\catN}{}
	\unnode*{idm97}{idm100}{*}{\catNP}{}
	\unnode*{idm86}{idm97}{*}{(\catS[dcl]\?\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm58}{idm71}{idm86}{\FXC{n}}{(\catS[dcl]\?\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm39}{idm46-cat}{idm58}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm23}{idm28}{idm39}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm18}{idm23}{idm123-cat}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8-cat}{idm18}{\FC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations