CCGWeb - The shoe that fits one person pinches another; there is no recipe for living that suits all cases.

The

NP/N

shoe

that

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

fits

(S[dcl]\NP)/NP

(N\N)/NP

> ¹

one

N/N

person

> ⁰

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

T ^>

pinches

(S[dcl]\NP)/NP

S[dcl]/NP

> ¹

N\N

another

N\N

< ¹

;

there

NP[thr]

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

NP/N

recipe

N/PP

for

PP/NP

N/NP

> ¹

NP/NP

> ¹

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

> ¹

living

(S[ng]\NP)/S[em]

that

S[em]/S[dcl]

suits

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

T ^<

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

> ⁿ

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

> ⁿ

(S[ng]\NP)\NP

< ⁰

S[ng]\NP

< ⁰

N\N

(N\N)\(N\N)

∨

N\N

< ⁰

(N\N)/NP

< ⁿ

all

NP/N

cases

> ⁰

N\N

> ⁰

< ⁰

> ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="The" data-from="0" data-to="3" 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="shoe" data-from="4" data-to="8" data-cat="N">
<tr><td class="token">shoe</td></tr>
<tr><td class="cat" tabindex="0">N</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="N\N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(N\N)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(N\N)/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="that" data-from="9" data-to="13" data-cat="(N\N)/(S[dcl]\NP)">
<tr><td class="token">that</td></tr>
<tr><td class="cat" tabindex="0">(N\N)/(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="fits" data-from="14" data-to="18" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">fits</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\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">(N\N)/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="N\N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="N\N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="N\N">
<tr class="daughters"><td class="daughter daughter-only"><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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="one" data-from="19" data-to="22" data-cat="N/N">
<tr><td class="token">one</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="person" data-from="23" data-to="29" data-cat="N">
<tr><td class="token">person</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 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 lex" data-token="pinches" data-from="30" data-to="37" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">pinches</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\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[dcl]/NP</div>
<div class="rule" title="Forward Composition">&gt; <sup>1</sup>
</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">N\N</div>
<div class="rule" title="Type Changing">
									*
								</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="another" data-from="38" data-to="45" data-cat="N\N">
<tr><td class="token">another</td></tr>
<tr><td class="cat" tabindex="0">N\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\N</div>
<div class="rule" title="Backward Composition">&lt; <sup>1</sup>
</div>
</div></td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(N\N)\(N\N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token=";" data-from="45" data-to="46" 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 unaryrule" data-cat="N\N">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent binaryrule" data-cat="S[ng]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="there" data-from="47" data-to="52" data-cat="NP[thr]">
<tr><td class="token">there</td></tr>
<tr><td class="cat" tabindex="0">NP[thr]</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[ng]\NP)\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="(S[dcl]\NP[thr])/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="is" data-from="53" data-to="55" data-cat="(S[dcl]\NP[thr])/NP">
<tr><td class="token">is</td></tr>
<tr><td class="cat" tabindex="0">(S[dcl]\NP[thr])/NP</td></tr>
<tr><td class="span-swiper"> </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="no" data-from="56" data-to="58" data-cat="NP/N">
<tr><td class="token">no</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/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="recipe" data-from="59" data-to="65" data-cat="N/PP">
<tr><td class="token">recipe</td></tr>
<tr><td class="cat" tabindex="0">N/PP</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent lex" data-token="for" data-from="66" data-to="69" data-cat="PP/NP">
<tr><td class="token">for</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">N/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/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[thr])/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[ng]\NP)\NP)\((S[dcl]\NP)/NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="living" data-from="70" data-to="76" data-cat="(S[ng]\NP)/S[em]">
<tr><td class="token">living</td></tr>
<tr><td class="cat" tabindex="0">(S[ng]\NP)/S[em]</td></tr>
<tr><td class="span-swiper"> </td></tr>
</table></td>
<td class="daughter daughter-right"><table class="constituent binaryrule" data-cat="(S[em]\NP)\((S[dcl]\NP)/NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="that" data-from="77" data-to="81" data-cat="S[em]/S[dcl]">
<tr><td class="token">that</td></tr>
<tr><td class="cat" tabindex="0">S[em]/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 unaryrule" data-cat="NP">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="suits" data-from="82" data-to="87" data-cat="N">
<tr><td class="token">suits</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]\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[em]\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[ng]\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[ng]\NP)\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[ng]\NP</div>
<div class="rule" title="Backward Application">&lt; <sup>0</sup>
</div>
</div></td></tr>
</table></td></tr>
<tr><td class="rulecat"><div class="rulecat">
<div class="cat">N\N</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">(N\N)\(N\N)</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">N\N</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">(N\N)/NP</div>
<div class="rule" title="Backward Composition">&lt; <sup><i>n</i></sup>
</div>
</div></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="all" data-from="88" data-to="91" data-cat="NP/N">
<tr><td class="token">all</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="cases" data-from="92" data-to="97" data-cat="N">
<tr><td class="token">cases</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="97" data-to="98" 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 colspan="2" class="rulecat"><div class="rulecat">
<div class="cat">N\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">N</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">NP</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*{idm8}{The}{\catNP/\catN}{} \&
		\lexnode*{idm23}{shoe}{\catN}{} \&
		\lexnode*{idm56}{that}{(\catN\?\catN)/(\catS[dcl]\?\catNP)}{} \&
		\lexnode*{idm70}{fits}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm123}{one}{\catN/\catN}{} \&
		\lexnode*{idm133}{person}{\catN}{} \&
		\lexnode*{idm141}{pinches}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm153}{another}{\catN\?\catN}{} \&
		\lexnode*{idm174}{;}{\cat;}{} \&
		\lexnode*{idm194}{there}{\catNP[thr]}{} \&
		\lexnode*{idm220}{is}{(\catS[dcl]\?\catNP[thr])/\catNP}{} \&
		\lexnode*{idm239}{no}{\catNP/\catN}{} \&
		\lexnode*{idm256}{recipe}{\catN/\catPP}{} \&
		\lexnode*{idm266}{for}{\catPP/\catNP}{} \&
		\lexnode*{idm291}{living}{(\catS[ng]\?\catNP)/\catS[em]}{} \&
		\lexnode*{idm316}{that}{\catS[em]/\catS[dcl]}{} \&
		\lexnode*{idm340}{suits}{\catN}{} \&
		\lexnode*{idm358}{all}{\catNP/\catN}{} \&
		\lexnode*{idm368}{cases}{\catN}{} \&
		\lexnode*{idm376}{.}{\cat.}{} \\
	};
	\binnode*{idm47}{idm56-cat}{idm70-cat}{\FC{1}}{(\catN\?\catN)/\catNP}{}
	\binnode*{idm118}{idm123-cat}{idm133-cat}{\FC{0}}{\catN}{}
	\unnode*{idm115}{idm118}{*}{\catNP}{}
	\unnode*{idm108}{idm115}{\FTR}{\catS[X]/(\catS[X]\?\catNP)}{}
	\binnode*{idm101}{idm108}{idm141-cat}{\FC{1}}{\catS[dcl]/\catNP}{}
	\unnode*{idm96}{idm101}{*}{\catN\?\catN}{}
	\binnode*{idm89}{idm96}{idm153-cat}{\BC{1}}{\catN\?\catN}{}
	\binnode*{idm249}{idm256-cat}{idm266-cat}{\FC{1}}{\catN/\catNP}{}
	\binnode*{idm232}{idm239-cat}{idm249}{\FC{1}}{\catNP/\catNP}{}
	\binnode*{idm211}{idm220-cat}{idm232}{\FC{1}}{(\catS[dcl]\?\catNP[thr])/\catNP}{}
	\unnode*{idm337}{idm340-cat}{*}{\catNP}{}
	\unnode*{idm326}{idm337}{*}{(\catS[X]\?\catNP)\?((\catS[X]\?\catNP)/\catNP)}{}
	\binnode*{idm303}{idm316-cat}{idm326}{\FXC{n}}{(\catS[em]\?\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm276}{idm291-cat}{idm303}{\FXC{n}}{((\catS[ng]\?\catNP)\?\catNP)\?((\catS[dcl]\?\catNP)/\catNP)}{}
	\binnode*{idm202}{idm211}{idm276}{\BC{0}}{(\catS[ng]\?\catNP)\?\catNP}{}
	\binnode*{idm187}{idm194-cat}{idm202}{\BC{0}}{\catS[ng]\?\catNP}{}
	\unnode*{idm182}{idm187}{*}{\catN\?\catN}{}
	\binnode*{idm163}{idm174-cat}{idm182}{\wedge}{(\catN\?\catN)\?(\catN\?\catN)}{}
	\binnode*{idm82}{idm89}{idm163}{\BC{0}}{\catN\?\catN}{}
	\binnode*{idm38}{idm47}{idm82}{\BC{n}}{(\catN\?\catN)/\catNP}{}
	\binnode*{idm353}{idm358-cat}{idm368-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm348}{idm353}{idm376-cat}{.}{\catNP}{}
	\binnode*{idm31}{idm38}{idm348}{\FC{0}}{\catN\?\catN}{}
	\binnode*{idm18}{idm23-cat}{idm31}{\BC{0}}{\catN}{}
	\binnode*{idm3}{idm8-cat}{idm18}{\FC{0}}{\catNP}{}
\end{tikzpicture}

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

Sentence

Parse

Translations