CCGWeb - If you can, don't get on buses; go on foot.

(S/S)/S[dcl]

you

can

S[dcl]\NP

S[dcl]

< ⁰

S/S

> ⁰

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

n't

(S\NP)\(S\NP)

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

< ¹_×

get

(S[b]\NP)/PP

PP/NP

(S[b]\NP)/NP

> ¹

(S[dcl]\NP)/NP

> ¹

buses

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

T ^>

;

(S[dcl]\NP)/PP

PP/NP

(S[dcl]\NP)/NP

> ¹

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

∨

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

> ⁿ

S[dcl]/NP

< ⁰

foot

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/S">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="If" data-from="0" data-to="2" data-cat="(S/S)/S[dcl]">
<tr><td class="token">If</td></tr>
<tr><td class="cat" tabindex="0">(S/S)/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 lex" data-token="you" data-from="3" data-to="6" data-cat="NP">
<tr><td class="token">you</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 lex" data-token="can" data-from="7" data-to="10" data-cat="S[dcl]\NP">
<tr><td class="token">can</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 lex" data-token="," data-from="10" data-to="11" 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</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]</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/S</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]">
<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="(S[dcl]\NP)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="do" data-from="12" data-to="14" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr><td class="token">do</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 lex" data-token="n't" data-from="14" data-to="17" data-cat="(S\NP)\(S\NP)">
<tr><td class="token">n't</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[dcl]\NP)/(S[b]\NP)</div>
<div class="rule" title="Backward Crossed Composition">&lt; <sup>1</sup><sub>×</sub>
</div>
</div></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="get" data-from="18" data-to="21" data-cat="(S[b]\NP)/PP">
<tr><td class="token">get</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\NP)/PP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="on" data-from="22" data-to="24" data-cat="PP/NP">
<tr><td class="token">on</td></tr>
<tr><td class="cat" tabindex="0">PP/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[b]\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)/NP</div>
<div class="rule" title="Forward Composition">&gt; <sup>1</sup>
</div>
</div></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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="buses" data-from="25" data-to="30" data-cat="N">
<tr><td class="token">buses</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[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=";" 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>
<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="go" data-from="32" data-to="34" data-cat="(S[dcl]\NP)/PP">
<tr><td class="token">go</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/PP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="on" data-from="35" data-to="37" data-cat="PP/NP">
<tr><td class="token">on</td></tr>
<tr><td class="cat" tabindex="0">PP/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)/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)/NP)\((S[dcl]\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)\((S[dcl]\NP)/NP)</div>
<div class="rule" title="Forward 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>
<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="foot" data-from="38" data-to="42" data-cat="N">
<tr><td class="token">foot</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]</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]</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 lex" data-token="." data-from="42" data-to="43" 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]</div>
<div class="rule" title="Remove Punctuation">.</div>
</div></td></tr>
</table> </div>

Use with der.css.

\begin{tikzpicture}[ampersand replacement=\&]
	\matrix [column sep=9pt] at (0, 0) {
		\lexnode*{idm20}{If}{(\catS/\catS)/\catS[dcl]}{} \&
		\lexnode*{idm37}{you}{\catNP}{} \&
		\lexnode*{idm52}{can}{\catS[dcl]\?\catNP}{} \&
		\lexnode*{idm62}{,}{\cat,}{} \&
		\lexnode*{idm102}{do}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm116}{n't}{(\catS\?\catNP)\?(\catS\?\catNP)}{} \&
		\lexnode*{idm139}{get}{(\catS[b]\?\catNP)/\catPP}{} \&
		\lexnode*{idm151}{on}{\catPP/\catNP}{} \&
		\lexnode*{idm184}{buses}{\catN}{} \&
		\lexnode*{idm207}{;}{\cat;}{} \&
		\lexnode*{idm224}{go}{(\catS[dcl]\?\catNP)/\catPP}{} \&
		\lexnode*{idm236}{on}{\catPP/\catNP}{} \&
		\lexnode*{idm249}{foot}{\catN}{} \&
		\lexnode*{idm257}{.}{\cat.}{} \\
	};
	\binnode*{idm45}{idm52-cat}{idm62-cat}{.}{\catS[dcl]\?\catNP}{}
	\binnode*{idm32}{idm37-cat}{idm45}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm13}{idm20-cat}{idm32}{\FC{0}}{\catS/\catS}{}
	\binnode*{idm91}{idm102-cat}{idm116-cat}{\BXC{1}}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{}
	\binnode*{idm130}{idm139-cat}{idm151-cat}{\FC{1}}{(\catS[b]\?\catNP)/\catNP}{}
	\binnode*{idm82}{idm91}{idm130}{\FC{1}}{(\catS[dcl]\?\catNP)/\catNP}{}
	\unnode*{idm181}{idm184-cat}{*}{\catNP}{}
	\unnode*{idm174}{idm181}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\binnode*{idm215}{idm224-cat}{idm236-cat}{\FC{1}}{(\catS[dcl]\?\catNP)/\catNP}{}
	\binnode*{idm192}{idm207-cat}{idm215}{\wedge}{((\catS[dcl]\?\catNP)/\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm161}{idm174}{idm192}{\FC{n}}{(\catS[dcl]/\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm75}{idm82}{idm161}{\BC{0}}{\catS[dcl]/\catNP}{}
	\unnode*{idm246}{idm249-cat}{*}{\catNP}{}
	\binnode*{idm70}{idm75}{idm246}{\FC{0}}{\catS[dcl]}{}
	\binnode*{idm8}{idm13}{idm70}{\FC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm257-cat}{.}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations