CCGWeb - If I'd known her address, I would've written her a letter.

(S/S)/S[dcl]

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

known

(S[pt]\NP)/NP

her

NP/(N/PP)

address

N/PP

> ⁰

NP\NP

∨

< ⁰

S[pt]\NP

> ⁰

S[dcl]\NP

> ⁰

S[dcl]

< ⁰

S/S

> ⁰

would

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

've

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

written

(S[pt]\NP)/NP

(S[b]\NP)/NP

> ¹

(S[dcl]\NP)/NP

> ¹

her

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

T ^>

NP/N

letter

> ⁰

(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="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="I" data-from="3" data-to="4" data-cat="NP">
<tr><td class="token">I</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="'d" data-from="4" data-to="6" data-cat="(S[dcl]\NP)/(S[pt]\NP)">
<tr><td class="token">'d</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP)/(S[pt]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="S[pt]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="known" data-from="7" data-to="12" data-cat="(S[pt]\NP)/NP">
<tr><td class="token">known</td></tr>
<tr><td class="cat" tabindex="0">(S[pt]\NP)/NP</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 binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="her" data-from="13" data-to="16" data-cat="NP/(N/PP)">
<tr><td class="token">her</td></tr>
<tr><td class="cat" tabindex="0">NP/(N/PP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="address" data-from="17" data-to="24" data-cat="N/PP">
<tr><td class="token">address</td></tr>
<tr><td class="cat" tabindex="0">N/PP</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="Forward Application">&gt; <sup>0</sup>
</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="," data-from="24" data-to="25" 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 lex" data-token="I" data-from="26" data-to="27" data-cat="NP">
<tr><td class="token">I</td></tr>
<tr><td class="cat" tabindex="0">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">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">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[pt]\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="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="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)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="would" data-from="28" data-to="33" data-cat="(S[dcl]\NP)/(S[b]\NP)">
<tr><td class="token">would</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="'ve" data-from="33" data-to="36" data-cat="(S[b]\NP)/(S[pt]\NP)">
<tr><td class="token">'ve</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\NP)/(S[pt]\NP)</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="written" data-from="37" data-to="44" data-cat="(S[pt]\NP)/NP">
<tr><td class="token">written</td></tr>
<tr><td class="cat" tabindex="0">(S[pt]\NP)/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[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 lex" data-token="her" data-from="45" data-to="48" data-cat="NP">
<tr><td class="token">her</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 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 binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="a" data-from="49" data-to="50" data-cat="NP/N">
<tr><td class="token">a</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 lex" data-token="letter" data-from="51" data-to="57" data-cat="N">
<tr><td class="token">letter</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">NP</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="57" data-to="58" 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}{If}{(\catS/\catS)/\catS[dcl]}{} \&
		\lexnode*{idm32}{I}{\catNP}{} \&
		\lexnode*{idm47}{'d}{(\catS[dcl]\?\catNP)/(\catS[pt]\?\catNP)}{} \&
		\lexnode*{idm68}{known}{(\catS[pt]\?\catNP)/\catNP}{} \&
		\lexnode*{idm90}{her}{\catNP/(\catN/\catPP)}{} \&
		\lexnode*{idm102}{address}{\catN/\catPP}{} \&
		\lexnode*{idm119}{,}{\cat,}{} \&
		\lexnode*{idm127}{I}{\catNP}{} \&
		\lexnode*{idm149}{would}{(\catS[dcl]\?\catNP)/(\catS[b]\?\catNP)}{} \&
		\lexnode*{idm172}{'ve}{(\catS[b]\?\catNP)/(\catS[pt]\?\catNP)}{} \&
		\lexnode*{idm186}{written}{(\catS[pt]\?\catNP)/\catNP}{} \&
		\lexnode*{idm216}{her}{\catNP}{} \&
		\lexnode*{idm245}{a}{\catNP/\catN}{} \&
		\lexnode*{idm255}{letter}{\catN}{} \&
		\lexnode*{idm263}{.}{\cat.}{} \\
	};
	\binnode*{idm85}{idm90-cat}{idm102-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm112}{idm119-cat}{idm127-cat}{\wedge}{\catNP\?\catNP}{}
	\binnode*{idm80}{idm85}{idm112}{\BC{0}}{\catNP}{}
	\binnode*{idm61}{idm68-cat}{idm80}{\FC{0}}{\catS[pt]\?\catNP}{}
	\binnode*{idm40}{idm47-cat}{idm61}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm27}{idm32-cat}{idm40}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm8}{idm15-cat}{idm27}{\FC{0}}{\catS/\catS}{}
	\binnode*{idm163}{idm172-cat}{idm186-cat}{\FC{1}}{(\catS[b]\?\catNP)/\catNP}{}
	\binnode*{idm140}{idm149-cat}{idm163}{\FC{1}}{(\catS[dcl]\?\catNP)/\catNP}{}
	\unnode*{idm209}{idm216-cat}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\binnode*{idm240}{idm245-cat}{idm255-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm235}{idm240}{idm263-cat}{.}{\catNP}{}
	\unnode*{idm224}{idm235}{*}{(\catS[X]\?\catNP)\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm198}{idm209}{idm224}{\FXC{1}}{\catS[X]\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm135}{idm140}{idm198}{\BC{0}}{\catS[dcl]}{}
	\binnode*{idm3}{idm8}{idm135}{\FC{0}}{\catS[dcl]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations