CCGWeb - They know very well who we are, and what we can do.

They

know

S[dcl]\NP

very

((S\NP)\(S\NP))/((S\NP)\(S\NP))

well

(S\NP)\(S\NP)

> ⁰

S[dcl]\NP

< ⁰

who

conj

are

(S[dcl]\NP)/NP

and

conj

what

NP/(S[dcl]/NP)

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

T ^>

can

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

(S[b]\NP)/NP

(S[dcl]\NP)/NP

> ¹

S[dcl]/NP

> ¹

> ⁰

NP\NP

∨

(S[dcl]\NP)\NP

> ¹_×

S[dcl]\NP

< ⁰

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

∨

S[dcl]\NP

< ⁰

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="They" data-from="0" data-to="4" data-cat="NP">
<tr><td class="token">They</td></tr>
<tr><td class="cat" tabindex="0">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">
<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="know" data-from="5" data-to="9" data-cat="S[dcl]\NP">
<tr><td class="token">know</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]\NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S\NP)\(S\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="very" data-from="10" data-to="14" data-cat="((S\NP)\(S\NP))/((S\NP)\(S\NP))">
<tr><td class="token">very</td></tr>
<tr><td class="cat" tabindex="0">((S\NP)\(S\NP))/((S\NP)\(S\NP))</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="well" data-from="15" data-to="19" data-cat="(S\NP)\(S\NP)">
<tr><td class="token">well</td></tr>
<tr><td class="cat" tabindex="0">(S\NP)\(S\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\NP)\(S\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</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 lex" data-token="who" data-from="20" data-to="23" data-cat="conj">
<tr><td class="token">who</td></tr>
<tr><td class="cat" tabindex="0">conj</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">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="we" data-from="24" data-to="26" data-cat="NP">
<tr><td class="token">we</td></tr>
<tr><td class="cat" tabindex="0">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)\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[dcl]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="are" data-from="27" data-to="30" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">are</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 lex" data-token="," data-from="30" data-to="31" data-cat=",">
<tr><td class="token">,</td></tr>
<tr><td class="cat" tabindex="0">,</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)/NP</div>
<div class="rule" title="Remove Punctuation">.</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="and" data-from="32" data-to="35" data-cat="conj">
<tr><td class="token">and</td></tr>
<tr><td class="cat" tabindex="0">conj</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="what" data-from="36" data-to="40" data-cat="NP/(S[dcl]/NP)">
<tr><td class="token">what</td></tr>
<tr><td class="cat" tabindex="0">NP/(S[dcl]/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">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="S[X]/(S[X]\NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="we" data-from="41" data-to="43" data-cat="NP">
<tr><td class="token">we</td></tr>
<tr><td class="cat" tabindex="0">NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">S[X]/(S[X]\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)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="can" data-from="44" data-to="47" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr><td class="token">can</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\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 lex" data-token="do" data-from="48" data-to="50" data-cat="(S[b]\NP)/NP">
<tr><td class="token">do</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\NP)/NP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="50" data-to="51" data-cat=".">
<tr><td class="token">.</td></tr>
<tr><td class="cat" tabindex="0">.</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="Remove Punctuation">.</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">(S[dcl]\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 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="Conjunction">∨</div>
</div></td></tr>
</table></td>
</tr>
<tr><td colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">(S[dcl]\NP)\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 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]\NP)\(S[dcl]\NP)</div>
<div class="rule" title="Conjunction">∨</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> </div>

Use with der.css.

\begin{tikzpicture}[ampersand replacement=\&]
	\matrix [column sep=9pt] at (0, 0) {
		\lexnode*{idm8}{They}{\catNP}{} \&
		\lexnode*{idm30}{know}{\catS[dcl]\?\catNP}{} \&
		\lexnode*{idm51}{very}{((\catS\?\catNP)\?(\catS\?\catNP))/((\catS\?\catNP)\?(\catS\?\catNP))}{} \&
		\lexnode*{idm73}{well}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm98}{who}{\catconj}{} \&
		\lexnode*{idm113}{we}{\catNP}{} \&
		\lexnode*{idm139}{are}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm151}{,}{\cat,}{} \&
		\lexnode*{idm166}{and}{\catconj}{} \&
		\lexnode*{idm179}{what}{\catNP/(\catS[dcl]/\catNP)}{} \&
		\lexnode*{idm205}{we}{\catNP}{} \&
		\lexnode*{idm222}{can}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm245}{do}{(\catS[b]\?\catNP)/\catNP}{} \&
		\lexnode*{idm257}{.}{\cat.}{} \\
	};
	\binnode*{idm40}{idm51-cat}{idm73-cat}{\FC{0}}{(\catS\?\catNP)\?(\catS\?\catNP)}{}
	\binnode*{idm23}{idm30-cat}{idm40}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm130}{idm139-cat}{idm151-cat}{.}{(\catS[dcl]\?\catNP)/\catNP}{}
	\unnode*{idm198}{idm205-cat}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\binnode*{idm236}{idm245-cat}{idm257-cat}{.}{(\catS[b]\?\catNP)/\catNP}{}
	\binnode*{idm213}{idm222-cat}{idm236}{\FC{1}}{(\catS[dcl]\?\catNP)/\catNP}{}
	\binnode*{idm191}{idm198}{idm213}{\FC{1}}{\catS[dcl]/\catNP}{}
	\binnode*{idm174}{idm179-cat}{idm191}{\FC{0}}{\catNP}{}
	\binnode*{idm159}{idm166-cat}{idm174}{\wedge}{\catNP\?\catNP}{}
	\binnode*{idm121}{idm130}{idm159}{\FXC{1}}{(\catS[dcl]\?\catNP)\?\catNP}{}
	\binnode*{idm106}{idm113-cat}{idm121}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm87}{idm98-cat}{idm106}{\wedge}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm16}{idm23}{idm87}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm3}{idm8-cat}{idm16}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations