CCGWeb - Plus je réfléchissais à ce problème, plus il paraissait difficile.

Plus

(N\N)/NP

réfléchissais

NP/N

> ⁰

N\N

> ⁰

< ⁰

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

T ^>

problème

(S[dcl]\NP)/NP

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

plus

(S[dcl]\NP)/NP

NP/N

paraissait

difficile

S[adj]\NP

N\N

< ⁰

> ⁰

S[dcl]\NP

> ⁰

S[dcl]\S[dcl]

S[dcl]\NP

< ¹

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

> ⁰

(S[dcl]\NP)/NP

< ¹_×

S[dcl]/NP

> ¹

N\N

< ⁰

 <div class="der">
<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 binaryrule" data-cat="N">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Plus" data-from="0" data-to="4" data-cat="N">
<tr><td class="token">Plus</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 lex" data-token="je" data-from="5" data-to="7" data-cat="(N\N)/NP">
<tr><td class="token">je</td></tr>
<tr><td class="cat" tabindex="0">(N\N)/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 lex" data-token="réfléchissais" data-from="8" data-to="21" data-cat="NP/N">
<tr><td class="token">réfléchissais</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="à" data-from="22" data-to="23" data-cat="N">
<tr><td class="token">à</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>
</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>
<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[dcl]/NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent unaryrule" data-cat="S[dcl]/(S[dcl]\NP)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="ce" data-from="24" data-to="26" data-cat="NP">
<tr><td class="token">ce</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[dcl]/(S[dcl]\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">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="problème" data-from="27" data-to="35" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">problème</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)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="," data-from="35" data-to="36" data-cat="((S[dcl]\NP)\(S[dcl]\NP))/(S[dcl]\NP)">
<tr><td class="token">,</td></tr>
<tr><td class="cat" tabindex="0">((S[dcl]\NP)\(S[dcl]\NP))/(S[dcl]\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 binaryrule" data-cat="S[dcl]\NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="plus" data-from="37" data-to="41" data-cat="(S[dcl]\NP)/NP">
<tr><td class="token">plus</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="NP">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="il" data-from="42" data-to="44" data-cat="NP/N">
<tr><td class="token">il</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="paraissait" data-from="45" data-to="55" data-cat="N">
<tr><td class="token">paraissait</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 unaryrule" data-cat="N\N">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="difficile" data-from="56" data-to="65" data-cat="S[adj]\NP">
<tr><td class="token">difficile</td></tr>
<tr><td class="cat" tabindex="0">S[adj]\NP</td></tr>
<tr><td class="span-swiper"> </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</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></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>
<td class="daughter daughter-right"><table class="constituent lex" data-token="." data-from="65" data-to="66" data-cat="S[dcl]\S[dcl]">
<tr><td class="token">.</td></tr>
<tr><td class="cat" tabindex="0">S[dcl]\S[dcl]</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="Backward Composition">&lt; <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)\(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]\NP)/NP</div>
<div class="rule" title="Backward Crossed Composition">&lt; <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]/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>
</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 class="rulecat"><div class="rulecat">
<div class="cat">NP</div>
<div class="rule" title="Type Changing">
									*
								</div>
</div></td></tr>
</table> </div>

Use with der.css.

\begin{tikzpicture}[ampersand replacement=\&]
	\matrix [column sep=9pt] at (0, 0) {
		\lexnode*{idm16}{Plus}{\catN}{} \&
		\lexnode*{idm31}{je}{(\catN\?\catN)/\catNP}{} \&
		\lexnode*{idm48}{réfléchissais}{\catNP/\catN}{} \&
		\lexnode*{idm58}{à}{\catN}{} \&
		\lexnode*{idm85}{ce}{\catNP}{} \&
		\lexnode*{idm102}{problème}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm125}{,}{((\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP))/(\catS[dcl]\?\catNP)}{} \&
		\lexnode*{idm157}{plus}{(\catS[dcl]\?\catNP)/\catNP}{} \&
		\lexnode*{idm174}{il}{\catNP/\catN}{} \&
		\lexnode*{idm189}{paraissait}{\catN}{} \&
		\lexnode*{idm202}{difficile}{\catS[adj]\?\catNP}{} \&
		\lexnode*{idm212}{.}{\catS[dcl]\?\catS[dcl]}{} \\
	};
	\binnode*{idm43}{idm48-cat}{idm58-cat}{\FC{0}}{\catNP}{}
	\binnode*{idm24}{idm31-cat}{idm43}{\FC{0}}{\catN\?\catN}{}
	\binnode*{idm11}{idm16-cat}{idm24}{\BC{0}}{\catN}{}
	\unnode*{idm78}{idm85-cat}{\FTR}{\catS[dcl]/(\catS[dcl]\?\catNP)}{}
	\unnode*{idm197}{idm202-cat}{*}{\catN\?\catN}{}
	\binnode*{idm184}{idm189-cat}{idm197}{\BC{0}}{\catN}{}
	\binnode*{idm169}{idm174-cat}{idm184}{\FC{0}}{\catNP}{}
	\binnode*{idm150}{idm157-cat}{idm169}{\FC{0}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm143}{idm150}{idm212-cat}{\BC{1}}{\catS[dcl]\?\catNP}{}
	\binnode*{idm114}{idm125-cat}{idm143}{\FC{0}}{(\catS[dcl]\?\catNP)\?(\catS[dcl]\?\catNP)}{}
	\binnode*{idm93}{idm102-cat}{idm114}{\BXC{1}}{(\catS[dcl]\?\catNP)/\catNP}{}
	\binnode*{idm71}{idm78}{idm93}{\FC{1}}{\catS[dcl]/\catNP}{}
	\unnode*{idm66}{idm71}{*}{\catN\?\catN}{}
	\binnode*{idm6}{idm11}{idm66}{\BC{0}}{\catN}{}
	\unnode*{idm3}{idm6}{*}{\catNP}{}
\end{tikzpicture}

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

Sentence

Parse

Translations