CCGWeb - Puis-je avoir un programme ?

Puis

N/N

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

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

> ⁰

avoir

(S[b]\NP)/NP

NP/N

programme

N\(N/N)

T ^<

NP\(N/N)

> ¹_×

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

> ¹_×

S[q]\(N/N)

> ¹_×

S[q]

< ⁰

S[q]\S[q]

S[q]

< ⁰

 <div class="der">
<table class="constituent binaryrule" data-cat="S[q]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[q]">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="Puis" data-from="0" data-to="4" data-cat="N/N">
<tr><td class="token">Puis</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 binaryrule" data-cat="S[q]\(N/N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent binaryrule" data-cat="S[q]/(S[b]\NP)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="-" data-from="4" data-to="5" data-cat="(S[q]/(S[b]\NP))/NP">
<tr><td class="token">-</td></tr>
<tr><td class="cat" tabindex="0">(S[q]/(S[b]\NP))/NP</td></tr>
<tr><td class="span-swiper"> </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="je" data-from="5" data-to="7" data-cat="N">
<tr><td class="token">je</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[q]/(S[b]\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="(S[b]\NP)\(N/N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="avoir" data-from="8" data-to="13" data-cat="(S[b]\NP)/NP">
<tr><td class="token">avoir</td></tr>
<tr><td class="cat" tabindex="0">(S[b]\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\(N/N)">
<tr class="daughters">
<td class="daughter daughter-left"><table class="constituent lex" data-token="un" data-from="14" data-to="16" data-cat="NP/N">
<tr><td class="token">un</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 unaryrule" data-cat="N\(N/N)">
<tr class="daughters"><td class="daughter daughter-only"><table class="constituent lex" data-token="programme" data-from="17" data-to="26" data-cat="N">
<tr><td class="token">programme</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">N\(N/N)</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">NP\(N/N)</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[b]\NP)\(N/N)</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[q]\(N/N)</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[q]</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 lex" data-token="?" data-from="27" data-to="28" data-cat="S[q]\S[q]">
<tr><td class="token">?</td></tr>
<tr><td class="cat" tabindex="0">S[q]\S[q]</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[q]</div>
<div class="rule" title="Backward Application">&lt; <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*{idm13}{Puis}{\catN/\catN}{} \&
		\lexnode*{idm41}{-}{(\catS[q]/(\catS[b]\?\catNP))/\catNP}{} \&
		\lexnode*{idm58}{je}{\catN}{} \&
		\lexnode*{idm77}{avoir}{(\catS[b]\?\catNP)/\catNP}{} \&
		\lexnode*{idm98}{un}{\catNP/\catN}{} \&
		\lexnode*{idm115}{programme}{\catN}{} \&
		\lexnode*{idm123}{?}{\catS[q]\?\catS[q]}{} \\
	};
	\unnode*{idm55}{idm58-cat}{*}{\catNP}{}
	\binnode*{idm32}{idm41-cat}{idm55}{\FC{0}}{\catS[q]/(\catS[b]\?\catNP)}{}
	\unnode*{idm108}{idm115-cat}{*}{\catN\?(\catN/\catN)}{}
	\binnode*{idm89}{idm98-cat}{idm108}{\FXC{1}}{\catNP\?(\catN/\catN)}{}
	\binnode*{idm66}{idm77-cat}{idm89}{\FXC{1}}{(\catS[b]\?\catNP)\?(\catN/\catN)}{}
	\binnode*{idm23}{idm32}{idm66}{\FXC{1}}{\catS[q]\?(\catN/\catN)}{}
	\binnode*{idm8}{idm13-cat}{idm23}{\BC{0}}{\catS[q]}{}
	\binnode*{idm3}{idm8}{idm123-cat}{\BC{0}}{\catS[q]}{}
\end{tikzpicture}

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

Sentence

Parse

Translations