CCGWeb - What time does the next train arrive?

What

(S/S)/N

time

S/S

> ⁰

does

(S[dcl]\NP)/NP

the

NP/N

N/N

train

> ⁰

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

T ^>

arrive

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

T ^<

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

> ¹_×

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/S">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="What" data-from="0" data-to="4" data-cat="(S/S)/N">
<tr><td class="token">What</td></tr>
<tr><td class="cat" tabindex="0">(S/S)/N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="time" data-from="5" data-to="9" data-cat="N">
<tr><td class="token">time</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">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 lex" data-token="does" data-from="10" data-to="14" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">does</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[X]\((S[X]\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 binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="the" data-from="15" data-to="18" data-cat="NP/N">
<tr><td class="token">the</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 binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="next" data-from="19" data-to="23" data-cat="N/N">
<tr><td class="token">next</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="train" data-from="24" data-to="29" data-cat="N">
<tr><td class="token">train</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 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 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 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="arrive" data-from="30" data-to="36" data-cat="N">
<tr><td class="token">arrive</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="36" data-to="37" 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[X]\((S[X]\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]</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*{idm15}{What}{(\catS/\catS)/\catN}{} \&
		\lexnode*{idm27}{time}{\catN}{} \&
		\lexnode*{idm40}{does}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm75}{the}{\catNP/\catN}{} \&
		\lexnode*{idm90}{next}{\catN/\catN}{} \&
		\lexnode*{idm100}{train}{\catN}{} \&
		\lexnode*{idm127}{arrive}{\catN}{} \&
		\lexnode*{idm135}{?}{\cat.}{} \\
	};
	\binnode*{idm8}{idm15-cat}{idm27-cat}{\FC{0}}{\catS/\catS}{}
	\binnode*{idm85}{idm90-cat}{idm100-cat}{\FC{0}}{\catN}{}
	\binnode*{idm70}{idm75-cat}{idm85}{\FC{0}}{\catNP}{}
	\unnode*{idm63}{idm70}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\unnode*{idm124}{idm127-cat}{*}{\catNP}{}
	\binnode*{idm119}{idm124}{idm135-cat}{.}{\catNP}{}
	\unnode*{idm108}{idm119}{*}{(\catS[X]\?\catNP)\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm52}{idm63}{idm108}{\FXC{1}}{\catS[X]\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm35}{idm40-cat}{idm52}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm35}{\FC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations