CCGWeb - Tom knows we believe Mary.

Tom

knows

(S[dcl]\NP)/NP

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

T ^>

believe

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

Mary

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

T ^<

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

> ⁿ

(S[dcl]\NP)\((S[dcl]\NP)/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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="Tom" data-from="0" data-to="3" 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="knows" data-from="4" data-to="9" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">knows</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[X]/(S[X]\NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="we" data-from="10" data-to="12" 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)\((S[dcl]\NP)/NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="believe" data-from="13" data-to="20" data-cat="(S[dcl]\NP)/S[dcl]">
<tr><td class="token">believe</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/S[dcl]</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent unaryrule" data-cat="(S[X]\NP)\((S[X]\NP)/NP)">
<tr class="daughters"><td class="daughter daughter-only"><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 lex" data-token="Mary" data-from="21" data-to="25" data-cat="N">
<tr><td class="token">Mary</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 lex" data-token="." data-from="25" data-to="26" 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">NP</div>
<div class="rule" title="Remove Punctuation">.</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">(S[X]\NP)\((S[X]\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)\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)\((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> </div>

Use with der.css.

\begin{tikzpicture}[ampersand replacement=\&]
	\matrix [column sep=9pt] at (0, 0) {
		\lexnode*{idm11}{Tom}{\catN}{} \&
		\lexnode*{idm26}{knows}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm58}{we}{\catNP}{} \&
		\lexnode*{idm81}{believe}{(\catS[dcl]\?\catNP)/\catS[dcl]}{} \&
		\lexnode*{idm112}{Mary}{\catN}{} \&
		\lexnode*{idm120}{.}{\cat.}{} \\
	};
	\unnode*{idm8}{idm11-cat}{*}{\catNP}{}
	\unnode*{idm51}{idm58-cat}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\unnode*{idm109}{idm112-cat}{*}{\catNP}{}
	\binnode*{idm104}{idm109}{idm120-cat}{.}{\catNP}{}
	\unnode*{idm93}{idm104}{*}{(\catS[X]\?\catNP)\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm66}{idm81-cat}{idm93}{\FXC{n}}{((\catS[dcl]\?\catNP)\?\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm38}{idm51}{idm66}{\FXC{n}}{(\catS[dcl]\?\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm19}{idm26-cat}{idm38}{\BC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm3}{idm8}{idm19}{\BC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations