Aide:DRS

On peut faire des DRS assez propres en utilisant les tableaux. Les exemples ci-dessous sont données avec la syntaxe-wiki des tableaux (voir le code source de cette page).

Une DRS est un tableau à une colonne, et plusieurs ligne dont la première a le statut d'en-tête. Pour un rendu correct, il suffit en plus d'utiliser le paramètre class="drs" pour le tableau.

Syntaxe générale:

{| class="drs"
! univers
|---
| condition1
|---
| condition2
|---
| condition3
|}

Attention: le ! devant l'univers est très important.

univers
condition1
condition2
condition3

Mais il y a un petit problème: on ne peut rien mettre à droite et à gauche d'un tableau... sauf s'il est lui même inséré dans un autre tableau. Donc si on souhaite enchainer horizontalement une DRS avec d'autres choses, il faut utiliser des tableaux invisibles. Voici un exemple:

(1)	u v Pedro(u) donkey(v) own(u,v) ⇒ ¬ x y beat(x,y) x = u y = v

Pour illustrer l'architecture de cette DRS, je fais apparaître ci-dessous les tableaux invisibles en pointillés. Il y en a deux : un rouge à l'extérieur, un vert à l'intérieur.

(1)	u v Pedro(u) donkey(v) own(u,v) ⇒ ¬ x y beat(x,y) x = u y = v