+ Veuillez vous référer au manuel de
+\emph on
+covington
+\emph default
+
+\begin_inset CommandInset citation
+LatexCommand cite
+key "covington"
+literal "false"
+
+\end_inset
+
+ pour les détails.
+\end_layout
+
+\begin_layout Section
+Représentation structurée du discours
+\end_layout
+
+\begin_layout Standard
+Le module de linguistique contient quelques inserts pour écrire des
+\emph on
+Représentations structurées du discours
+\emph default
+ (
+\emph on
+Discourse Representation Structures
+\emph default
+, DRS) avec la notation encadrée introduite par
+\noun on
+Hans Kamp
+\noun default
+ dans
+\emph on
+Discourse Representation Theory
+\emph default
+.
+ Ces inserts apparaissent dans
+\family sans
+Insertion\SpecialChar menuseparator
+Inserts personnalisables
+\family default
+.
+\end_layout
+
+\begin_layout Standard
+Une DRS simple est produite par
+\family sans
+ Représentation structurée du discours (DRS)
+\family default
+.
+ Une DRS est constituée des
+\emph on
+conditions
+\emph default
+, qui doivent être saisies directement dans l'insert, et des (peut-être
+ vides)
+\emph on
+référents
+\emph default
+ (ou
+\emph on
+univers
+\emph default
+ dans la DRT), qui doivent être saisis dans le sous-insert Référents (introduit
+ automatiquement)
+\begin_inset Foot
+status collapsed
+
+\begin_layout Plain Layout
+Si ce n'est pas les cas, vous pouvez également l'insérer via
+\family sans
+Insertion\SpecialChar menuseparator
+Référents DRS
+\family default
+.
+\end_layout
+
+\end_inset
+
+.
+ Les sauts de ligne dans les conditions doivent être saisis via
+\begin_inset Info
+type "shortcut"
+arg "newline-insert newline"
+\end_inset
+
+.
+ Voici un exemple simple:
+\end_layout
+
+\begin_layout Standard
+\begin_inset VSpace defskip
+\end_inset
+
+
+\begin_inset Flex DRS
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+x
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+donkey(x)
+\begin_inset Newline newline
+\end_inset
+
+green(x)
+\begin_inset Newline newline
+\end_inset
+
+
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset VSpace defskip
+\end_inset
+
+Les DRS contiennent des espacements supplémentaires pour un meilleur positionnem
+ent dans la page.
+ La variante
+\family sans
+sans espaces
+\family default
+ ne contient pas ces espacements supplémentaires.
+\end_layout
+
+\begin_layout Standard
+En plus de ces DRS simples, les DRS conditionnelles suivantes sont proposées
+ (essentiellement pour être incluses dans des DRS simples):
+\end_layout
+
+\begin_layout Enumerate
+La
+\family sans
+DRS Si-Alors
+\family default
+ représente une construction conditionnelle (implicative) de phrase de la
+ forme
+\emph on
+si S
+\begin_inset script subscript
+
+\begin_layout Plain Layout
+
+\emph off
+\lang english
+1
+\end_layout
+
+\end_inset
+
+ alors S
+\emph default
+
+\begin_inset script subscript
+
+\begin_layout Plain Layout
+
+\lang english
+2
+\end_layout
+
+\end_inset
+
+:
+\end_layout
+
+\begin_deeper
+\begin_layout Standard
+\begin_inset Flex IfThen-DRS
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+x
+\begin_inset space ~
+\end_inset
+
+y
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+John(x)
+\begin_inset Newline newline
+\end_inset
+
+donkey(y)
+\begin_inset Newline newline
+\end_inset
+
+own(x,y)
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+z
+\begin_inset space ~
+\end_inset
+
+w
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:2
+status open
+
+\begin_layout Plain Layout
+z = x
+\begin_inset Newline newline
+\end_inset
+
+w = y
+\begin_inset Newline newline
+\end_inset
+
+feed(z,w)
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_deeper
+\begin_layout Enumerate
+La
+\family sans
+DRS conditionnelle
+\family default
+ se réfère à une situation plus générale où vous pouvez spécifier une condition
+ arbitraire (plutôt qu'une implication).
+ Vous pouvez insérer n’importe quel symbole dans le sous-insert de condition:
+
+\end_layout
+
+\begin_deeper
+\begin_layout Standard
+\begin_inset Flex Cond-DRS
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+x
+\begin_inset space ~
+\end_inset
+
+y
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+John(x)
+\begin_inset Newline newline
+\end_inset
+
+donkey(y)
+\begin_inset Newline newline
+\end_inset
+
+own(x,y)
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+\begin_inset Formula $\wedge\!\,$
+\end_inset
+
+
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:2
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+z
+\begin_inset space ~
+\end_inset
+
+w
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:3
+status open
+
+\begin_layout Plain Layout
+z = x
+\begin_inset Newline newline
+\end_inset
+
+w = y
+\begin_inset Newline newline
+\end_inset
+
+love(w,z)
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_deeper
+\begin_layout Enumerate
+La
+\family sans
+DRS conditionnelle duplex
+\family default
+ peut être utilisée pour insérer des conditions duplex:
+\end_layout
+
+\begin_deeper
+\begin_layout Standard
+\begin_inset Flex QDRS
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+x
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+x
+\begin_inset Formula $\in$
+\end_inset
+
+ X
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+every
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:2
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+x
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:3
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+y
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument post:4
+status open
+
+\begin_layout Plain Layout
+secretary(y)
+\begin_inset Newline newline
+\end_inset
+
+hire(x,y)
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_deeper
+\begin_layout Enumerate
+La
+\family sans
+DRS négative
+\family default
+ insère une DRS précédée du symbole de négation:
+\end_layout
+
+\begin_deeper
+\begin_layout Standard
+\begin_inset Flex NegDRS
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+x
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+donkey(x)
+\begin_inset Newline newline
+\end_inset
+
+green(x)
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Enfin, la DRS avec phrase au-dessus vous permet de faire ce qu'elle annonce:
+ ajouter une phrase au-dessus du cadre de la représentation:
+\end_layout
+
+\end_deeper
+\begin_layout Standard
+\begin_inset VSpace defskip
+\end_inset
+
+
+\begin_inset Flex SDRS
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+A donkey is green
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+\begin_inset Argument 2
+status open
+
+\begin_layout Plain Layout
+
+\lang english
+x
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+donkey(x)
+\begin_inset Newline newline
+\end_inset
+
+green(x)
+\end_layout
+
+\end_inset
+
+
+\begin_inset VSpace defskip
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Le paquetage
+\emph on
+drs
+\emph default
+ fournit quelques commandes pour personnaliser le format et l'apparence
+ des boîtes de DRS.
+ Veuillez consulter la manuel du paquetage
+\begin_inset CommandInset citation
+LatexCommand cite
+key "drs"
+literal "false"
+
+\end_inset
+
+ pour les détails.