Skip to content

GitLab

Commit 206540d3 authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

remove semantic part from public repository

parent 170ba25a
Expand all Hide whitespace changes
Inline Side-by-side
semantics/.gitignore deleted 100644 → 0
View file @ 170ba25a
*.acgo
\ No newline at end of file
semantics/README.md deleted 100644 → 0
View file @ 170ba25a
# Usage
To produce the semantic terms, [ACGtk](https://gitlab.inria.fr/ACG/dev/ACGtk) is needed.
With ACGtk installed:
* compile the lexicon: `acgc fracas.acg`
* run the script: `acg fracas-script`
semantics/drs.tex deleted 100644 → 0
View file @ 170ba25a
\documentclass[10pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage[margin=2cm]{geometry}
\usepackage[T1]{fontenc}
\usepackage[french]{babel}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathtools}
\usepackage{tcolorbox}
\usepackage{amsfonts}
\usepackage{stmaryrd}
\usepackage{xcolor}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{drs}
\usepackage{pict2e}
\newcommand{\diadrs}[2]
{\mbox{{\large $\Diamond$ }\drs{#1}{#2}~}}
\newcommand{\intdrs}[2]
{\mbox{{\large $\prescript{\wedge}{}{}$ }\drs{#1}{#2}~}}
\newcommand{\pidrs}[3]{\mbox{{#1 : \hspace{.1ex} }\drs{#2}{#3}~}}
\begin{document}
\textbf{10.}
\drs{}{\qdrs{x}{grand(tenor) x n}{plupart}{x}{}{italien x n}}
\drs{}{\qdrs{x}{grand(tenor) x n}{certain}{x}{}{italien x n}}
\textbf{20.}
\drs{}{
\qdrs{x}{europeen x n}{tout}{x}{}{\diadrs{e,t}{t $\subseteq$ n\\ vivre e \\ agent e x \\ localisation e europe \\ time e t}}\\
\qdrs{x}{europeen x n}{tout}{x}{}{personne x n}\\
\qdrs{x}{personne x n \\ \diadrs{e,t}{t $\subseteq$ n \\ vivre e \\ agent e x \\ localisation e europe \\ time e t}}{tout}{x}{}{\diadrs{e,t}{t $\subseteq$ n \\ circuler e \\ librement e \\ agent e x \\ localisation e europe \\ time e t}}
}\\
\drs{}{
\qdrs{x}{europeen x}{tout}{x}{}{\diadrs{e,t}{t $\subseteq$ n \\ circuler e \\ librement e \\ agent e x \\ localisation e europe \\ time e t}}
}
\textbf{30.}
\drs{}{
\qdrs{x}{commissaire x n}{Aucun des deux}{x}{}{\qdrs{y}{temps y n}{Beaucoup}{y}{e,z,t}{t $\subseteq$ n \\ maison z n\\ appartenance z x\\ passer e\\ agent e x \\ theme e y \\ localisation e z\\ time e t}}
}\\
\drs{}{
\qdrs{x}{commissaire x n}{Aucun des deux}{x}{e,y,z,t}{t $\subseteq$ n \\ temps y n \\ maison z n\\ appartenance z x\\ passer e\\ agent e x \\ theme e y \\ localisation e z\\ time e t}
}
\textbf{40.}
\drs{r}{
r < n\\
\qdrs{x}{delegue x r}{beaucoup}{x}{}{\qdrs{y}{resultat y r}{des}{y}{z,e,t}{t $\subseteq$ r \\ pnt t \\ enquete z r \\ obtenir e \\ agent e x \\ theme e y \\ instrument e z \\ time e t}}
}\\
\drs{r}{
r < n\\
\qdrs{x}{delegue x r}{beaucoup}{x}{}{\qdrs{y}{resultat y r \\ interessant y r}{des}{y}{z,e,t}{t $\subseteq$ r \\ pnt t \\ enquete z r \\ obtenir e \\ agent e x \\ theme e y \\ instrument e z \\ time e t}}
}
\textbf{50.}
\drs{}{
\qdrs{x}{habitant x n\\ appartenance x canada n}{tout}{x}{}{\diadrs{e,t}{t $\subseteq$ n \\ circuler e \\ librement e \\ agent e x \\ localisation e europe \\ time e t}}\\
\qdrs{x}{habitant x n\\ appartenance x canada n}{tout}{x}{}{habitant x n \\ appartenance x continentamericain n}
}
\drs{}{
\qdrs{x}{habitant x n\\ appartenance x continentamericain n}{tout}{x}{}{\diadrs{e,t}{t $\subseteq$ n \\ circuler e \\ librement e \\ agent e x \\ localisation e europe \\ time e t}}
}
\textbf{60.}
\drs{}{
\qdrs{x,y}{comite y n \\ membre x n \\ appartenance x y n}{peu}{x}{z}{sud z n \\ appartenance z europe n \\ originaire x n \\ appartenance x z}
}\\
\drs{}{
\qdrs{x,y}{comite y n \\ membre x n \\ femme x n \\ appartenance x y n}{peu}{x}{z}{sud z n \\ appartenance z europe n \\ originaire x n \\ appartenance x z}
}
\textbf{70.}
\drs{r}{
r < n\\
\qdrs{x}{delegue x r}{aucun}{x}{z,e,t}{t $\subseteq$ r \\ pnt t \\ rapport z r \\ finir e \\ agent e x \\ theme e z \\ atemps e \\ time e t}
}
\drs{r,x,z,e,t}{
r < n\\
t $\subseteq$ r \\ pnt t \\ delegue x r\\ scandinave x r \\ rapport z r \\ finir e \\ agent e x \\ theme e z \\ atemps e \\ time e t
}
\textbf{80.}
\drs{}{
\qdrs{x}{commissaire x n}{Au plus dix}{x}{e,y,z,t}{t $\subseteq$ n \\ temps y n \\ maison z n\\ appartenance z x\\ passer e\\ agent e x \\ theme e y \\ localisation e z\\ time e t}
}\\
\drs{}{
\qdrs{x}{commissaire x n \\ femme x n}{Au plus dix}{x}{e,y,z,t}{t $\subseteq$ n \\ temps y n \\ maison z n\\ appartenance z x\\ passer e\\ agent e x \\ theme e y \\ localisation e z\\ time e t}
}
\textbf{90.}
\drs{x}{
president x n\\ \qdrs{y}{pointalordredujour y n}{les}{y}{e,t}{t $\subseteq$ n\\ lire e \\ agent e x \\ theme e y \\ time e t}
}
\drs{x}{
president x n\\ \qdrs{y}{pointalordredujour y n}{tous}{y}{e,t}{t $\subseteq$ n\\ lire e \\ agent e x \\ theme e y \\ time e t}
}
\textbf{100.}
\drs{r}{
r < n\\
\qdrs{x,y,e,t}{t $\subseteq$ r \\ client x r \\ demonstration y r \\ present e x \\ theme e y \\ time e t}{les}{x}{}{\qdrs{z,a}{performance z r \\ systeme a r \\ appartenance z a r}{les}{z}{e',t'}{t' $\subseteq$ r \\ pnt t' \\ impressioner e' \\ force e' z \\ patient e' x \\ time e' t'}}
}\\
\drs{r}{
r < n\\
\qdrs{x,y,e,t}{t $\subseteq$ r \\ client x r \\ demonstration y r \\ present e x \\ theme e y \\ time e t}{certains}{x}{}{\qdrs{z,a}{performance z r \\ systeme a r \\ appartenance z a r}{les}{z}{e',t'}{t' $\subseteq$ r \\ pnt t' \\ impressioner e' \\ force e' z \\ patient e' x \\ time e' t'}}
}
\textbf{110.}
\drs{r}{
r < n\\
\qdrs{x}{comptable x r}{Exactement un}{x}{y,e,t}{t $\subseteq$ r\\ reunion y r \\ assister e \\ agent e x \\ theme e y \\ time e t}
}
\drs{r, x, y, e, t}{
r < n\\
 t $\subseteq$ r\\comptable x r \\ reunion y r \\ assister e \\ agent e x \\ theme e y \\ time e t
}
\textbf{120.}
\drs{$\pi_1$, $\pi_2$,r}{
r < n\\
\pidrs{$\pi_1$}{x, u, v, e,t}{u = dupont\\ v = x \\ t $\subseteq$ r \\ reunion x \\ assistef e \\ agent e dupont \\ theme e x \\ time e t}\\
\pidrs{$\pi_2$}{e', t'}{t' $\subseteq$ r \\ presider e'\\ agent e u\\ theme e v \\ time e' t'}\\
Elaboration $\pi_1$ $\pi_2$
}
\drs{x, r, e, t}{r < n\\ t $\subseteq$ r \\ reunion x \\ presider e\\ agent e dupont\\ theme e x \\ time e t}
\textbf{130.}
\drs{$\pi_1$, $\pi_2$,r}{
r < n\\
\pidrs{$\pi_1$}{x, X, u, Y, e, t}{t $\subseteq$ r\\ reunion x r\\ aller e \\ agent e jean \\ theme e x \\ time e t \\ collegue X r \\ appartenance X jean r \\ \qdrs{y}{y $\in$ X}{tous}{y}{e',t'}{t' $\subseteq$ r\\ aller e' \\ agent e y \\ theme e x \\ time e t'}\\ u = x\\ Y = X}
\pidrs{$\pi_2$}{}{\qdrs{z}{z $\in$ Y}{tous}{z}{e'',t''}{t'' $\subseteq$ r\\ detester e''\\ agent e'' z\\ theme e'' u\\ time e'' t''}}\\
Narration $\pi_1$ $\pi_2$
}\\
\drs{x,e,r,t}{
r < n\\ t $\subseteq$ r\\ reunion x r\\ detester e\\ agent e jean\\ theme e x\\ time e t
}
\textbf{140.}
\drs{$\pi$, r, e, t}{
r < n\\ t $\subseteq$ r\\
\pidrs{$\pi$}{}{\intdrs{e', t'}{t' $\subseteq$ r\\ blesser e'\\ agent e' guillaume \\ patient e' guillaume \\ time e t'}}\\
dire e \\ agent e jean \\ content e $\pi$ \\ time e t
}
\drs{$\pi$, r, e, t}{
r < n\\ t $\subseteq$ r\\
\pidrs{$\pi$}{}{\intdrs{e', t'}{t' $\subseteq$ r\\ blesser e'\\ patient e' guillaume \\ time e t'}}\\
dire e \\ agent e jean \\ content e $\pi$ \\ time e t
}
\textbf{150.}
\drs{x, y, e, e', r, t, t'}{
r < n\\
\begin{tabular}{ll}
t $\subseteq$ r & t' $\subseteq$ r\\
voiture x r & train y r\\
aller e & aller e'\\
agent e jean & agent e' guillaume\\
instrument e x & instrument e' y\\
goal e paris & goal e' paris\\
time e t & time e' t'
\end{tabular}
}
\drs{x, e, r, t}{
r < n\\
t $\subseteq$ r\\
train x r\\
aller e\\
agent e guillaume\\
instrument e x\\
goal e paris\\
time e t
}
\textbf{160.}
\drs{x, y, e, e', t, t'}{
\begin{tabular}{ll}
t $\subseteq$ n & t' $\subseteq$ n\\voiture x n & rapide(voiture) y n\\rouge x n & rouge y n\\posseder e & posseder e'\\agent e jean & agent e' guillaume\\theme e x & theme e' y\\time e t & time e' t'\\
\end{tabular}
}
\drs{x, e, t}{
t $\subseteq$ n \\rapide(voiture) x n\\rouge x n\\posseder e\\agent e guillaume\\theme e x\\time e t\\
}
\textbf{170.}
\drs{e, e', r, t, t', t''}{
r < n\\ t < r\\
\begin{tabular}{ll}
t' $\subseteq$ t & t'' $\subseteq$ r\\
trouver e & trouver e'\\
agent e jean & agent e' jean\\
patient e marie & patient e' guillaume\\
time e t' & time e' t''
\end{tabular}
}
\drs{e, e', r, t, t', t''}{
r < n\\ t < r\\
\begin{tabular}{ll}
t' $\subseteq$ t & t'' $\subseteq$ r\\
trouver e & trouver e'\\
agent e jean & agent e' jean\\
patient e marie & patient e' guillaume\\
time e t' & time e' t''
\end{tabular}
}
\textbf{180.}
\drs{$\pi$, x, e, e', r, t, t'}{
r < n\\
t $\subseteq$ r\\
t' $\subseteq$ r\\
\pidrs{$\pi$}{}{\intdrs{y,e'',t''}{t'' $\subseteq$ r\\ voiture y r\\ acheter e''\\ agent e'' jean\\ theme e'' y\\ time e'' t''}}\\
voiture x r\\ vouloir e\\ agent e jean\\ content e $\pi$ \\ time e t\\ acheter e'\\ agent e' jean \\ theme e' x \\ time e' t'
}
\drs{x, e, r, t, }{
r < n\\
t $\subseteq$ r\\
voiture x r\\ acheter e\\ agent e jean \\ theme e x \\ time e t
}
\textbf{190.}
\drs{x, e, e', t, t'}{
homme jean n\\
femme marie n\\
entreprise x n\\
appartenance x jean n\\
\begin{tabular}{ll}
t $\subseteq$ n & t' $\subseteq$ n\\
representer e & representer e'\\
agent e jean & agent e' marie\\
theme e x & theme e' x\\
time e t & time e' t'
\end{tabular}
}
\drs{x, e, t}{
t $\subseteq$ n\\ entreprise x n\\ appartenance x jean n\\ representer e\\ agent e marie\\ theme e x\\ time e t\\
}
\textbf{200.}
\drs{t}{
t < n\\ etudiant jean t\\ remarquable jean t
}
\drs{}{
remarquable jean n
}
\textbf{210.}
\drs{}{
\qdrs{x}{souris x n}{tous}{x}{}{petit(animal) x n}\\
grand(souris) mickey n\\
}
\drs{}{
grand(animal) mickey n\\
}
\textbf{220.}
\drs{}{
plus\_adj rapide pc\_6082 itel\_zx\\ rapide(ordinateur) itel\_zx
}
\drs{}{
rapide(ordinateur) pc\_6082
}
\textbf{230.}
\drs{X,Y,r}{
r < n\\
\condrs{x}{x $\in$ X}{$\Leftrightarrow$}{e,t}{t $\subseteq$ r\\ commande x r\\ remporter e\\ agent e itel\\ theme e x\\ time e t}\\
\condrs{y}{y $\in$ Y}{$\Leftrightarrow$}{e',t'}{t' $\subseteq$ r\\ commande y r\\ remporter e'\\ agent e' apcom\\ theme e' y\\ time e' t'}\\
|X| > |Y|
}
\drs{r}{
r < n\\
\qdrs{x}{commande x r}{des}{x}{e,t}{t $\subseteq$ r\\ remporter e\\ agent e itel\\ theme e x\\ time e t}
}
\textbf{240.}
\drs{X,Y,r}{
r < n\\
\condrs{x}{x $\in$ X}{$\Leftrightarrow$}{e,t}{t $\subseteq$ r\\ commande x r\\ remporter e\\ agent e itel\\ theme e x\\ time e t}\\
\condrs{y}{y $\in$ Y}{$\Leftrightarrow$}{e',t'}{t' $\subseteq$ r\\ commande y r\\ perdre e'\\ agent e' apcom\\ theme e' y\\ time e' t'}\\
|X| > |Y|
}
\drs{r}{
r < n\\
\qdrs{x}{commande x r}{des}{x}{e,t}{t $\subseteq$ r\\ perdre e\\ agent e apcom\\ theme e x\\ time e t}
}
\textbf{250.}
\drs{}{
plus\_adj rapide pc\_6082 itel\_zx\\ plus\_adj rapide pc\_6082 itel\_zy\\
}
\drs{}{
plus\_adj rapide pc\_6082 itel\_zx\\
}
\textbf{260.}
\drs{x, e, r, t}{
r < n\\
t $\subseteq$ r\\ hier t\\ contrat x\\ signer e\\ agent e apcom \\ theme e x\\ time e t\\
\qdrs{t'}{aujourdhui t'}{tous}{t'}{}{samedi\_14\_juillet t'}\\
}
\drs{x, e, r, t}{
r < n\\
t $\subseteq$ r\\ vendredi\_13\_juillet t\\ contrat x\\ signer e\\ agent e apcom \\ theme e x\\ time e t
}
\textbf{270.}
\drs{x, e, e', r, t, t', t''}{
r < n\\ t < r\\
\begin{tabular}{ll}
t' $\subseteq$ t & t'' $\subseteq$ r\\
pnt t' & pnt t''\\
rive x t & rive x r\\
nager\_jusqua e & nager\_jusqua e'\\
agent e dupont & agent e' durand\\
goal e x & goal e' x\\
time e t' & time e' t''
\end{tabular}
}
\drs{x, e, e', r, t, t', t''}{
r < n\\ t < r\\
\begin{tabular}{ll}
t' $\subseteq$ t & t'' $\subseteq$ r\\
pnt t' & pnt t''\\
rive x t & rive x r\\
nager\_jusqua e & nager\_jusqua e'\\
agent e dupont & agent e' durand\\
goal e x & goal e' x\\
time e t' & time e' t''
\end{tabular}
}
\textbf{280.}
\drs{x, e, r, t}{
r < n\\ t $\subseteq$ r\\ annee\_1991 t \\livre x r\\ ecrire e \\ agent e dupont\\ theme e x \\ time e t
}
\drs{x, e, r, t}{
r < n\\ t $\subseteq$ r\\ annee\_1992 t \\livre x r\\ ecrire e \\ agent e dupont\\ theme e x \\ time e t
}
\textbf{290.}
\drs{x, e, r, t, t'}{
r < n\\ t $\subseteq$ r\\ pnt t \\t':t\\ deux\_heure t'\\ espece x r\\ nouveau x r\\ decouvrir e\\ agent e dupont\\ theme e x\\ time e t\\ preparation\_time e t'
}
\drs{x, e, r, t}{
r < n\\ t $\subseteq$ r\\ pnt t \\ espece x r\\ nouveau x r\\ decouvrir e\\ agent e dupont\\ theme e x\\ time e t\\
}
\textbf{300.}
\drs{e, r, t}{
r < n\\ t $\subseteq$ r\\ deux\_ans t\\ habiter e\\ agent e dupont\\ location e birmingham\\ time e t
}
\drs{e, r, t}{
r < n\\ t $\subseteq$ r\\ habiter e\\ agent e dupont\\ location e birmingham\\ time e t
}
\textbf{310.}
\drs{$\pi_1$, $\pi_2$,r}{
r < n\\
\pidrs{$\pi_1$}{X,Y,u,r}{X = Y\\ u = dupont \\ fichier X r\\ \drs{x,e,t}{t $\subseteq$ r\\ x $\in$ X\\ perdre e\\ agent e dupont\\ theme e x\\ time e t}}\\
\pidrs{$\pi_2$}{z,e',e'',t',t''}{t' $\subseteq$ r\\ t'' $\subseteq$ t'\\ disquedur z r\\ appartenance z u r\\ planter e\\ force e z\\ time e t'\\ detruire e'\\ theme e Y\\ time t''}\\
Elaboration $\pi_1$ $\pi_2$
}
\textbf{320.}
\drs{x,u,v,w,u',$\pi$,e,e',r,t,t'}{
u = durand\\ v = durand \\ w = durand \\ u' = durand \\ r < n\\ t $\subseteq$ r\\ pnt t\\ t' $\subseteq$ t\\ emploi x r\\ appartenance x u r\\ obtenir e\\ agent e durand\\ theme e x\\ location e cia\\
\pidrs{$\pi$}{}{\intdrs{}{\negdrs{}{\diadrs{a,e'',t'',t'''}{t' $\leq$ t''\\ t'' $\subseteq$ t'''\\ memoire a t''\\ appartenance a u' t'''\\ ecrire e''\\ agent e'' w\\ theme e'' a\\ time e'' t'''}}}}\\
savoir e'\\ agent e' v\\ content e' $\pi$\\ time e' t'
}
\drs{u}{
u = durand\\
\negdrs{}{\diadrs{x,e,t,t'}{n $\leq$ t\\ t' $\subseteq$ t\\ memoire x t\\ appartenance x u t\\ ecrire e\\ agent e durand\\ theme e x\\ time e t'}}
}
\textbf{330.}
\drs{e,r,t}{
r < n\\ t $\subseteq$ r\\ de1988a1992 t\\ detenir e\\ agent e itel\\ theme e apcom\\ time e t
}
\drs{e,r,t}{
r < n\\ t $\subseteq$ r\\ annee1990 t\\ detenir e\\ agent e itel\\ theme e apcom\\ time e t
}
\textbf{340.}
\drs{$\pi$,e,r,t}{
r < n\\ t $\subseteq$ r\\
\pidrs{$\pi$}{}{\intdrs{x,e',t'}{t' $\subseteq$ r\\ contrat x r\\ signer e'\\ agent e' durand\\ theme e' x\\ time e' t'}}\\
voir e\\ agent e dupont\\ content e $\pi$\\ time e t\\
\ifdrs{y,u,e'',t''}{u = durand\\ t'' $\subseteq$ r\\ contrat y r\\ signer e''\\ agent e'' durand\\ theme e'' y\\ time e'' t''}{z,e'''}{main z r\\ appartenance z u r\\ trembler e'''\\ agent e main\\ time e''' t''}
}
\drs{$\pi$,e,r,t}{
r < n\\ t $\subseteq$ r\\
\pidrs{$\pi$}{}{\intdrs{x,e',t'}{t' $\subseteq$ r\\ main x r\\ appartenance x durand r\\ trembler e'\\ agent e' x\\ time e' t'}}\\
voir e\\ agent e dupont\\ content e $\pi$\\ time e t\\
}
\end{document}
semantics/fracas-script deleted 100644 → 0
View file @ 170ba25a
load o fracas.acgo;
don't wait;
# 10
syntactic_realisation semantics realize PRESENT_ETRE_N ITALIEN (PLUPART (GRAND TENOR)) : s;
syntactic_realisation semantics realize PRESENT_ETRE_N ITALIEN (CERTAIN (GRAND TENOR)) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PRESENT_ETRE_N ITALIEN (PLUPART (GRAND TENOR))) (PRESENT_ETRE_N ITALIEN (CERTAIN (GRAND TENOR))) : probleme;
#20
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (TOUS EUROPEEN) (POUVOIR (EN EUROPE VIVRE))) : s;
syntactic_realisation semantics realize PRESENT_ETRE_N PERSONNE (TOUS EUROPEEN) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (TOUS (QUI (POUVOIR (EN EUROPE VIVRE)) PERSONNE)) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER)))) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (TOUS EUROPEEN) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER)))) : s;
syntactic_realisation semantics realize ENTAILMENT3P (PRESENT_EVENT_CLOSURE (AG (TOUS EUROPEEN) (POUVOIR (EN EUROPE VIVRE)))) (PRESENT_ETRE_N PERSONNE (TOUS EUROPEEN)) (PRESENT_EVENT_CLOSURE (AG (TOUS (QUI (POUVOIR (EN EUROPE VIVRE)) PERSONNE)) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER))))) (PRESENT_EVENT_CLOSURE (AG (TOUS EUROPEEN) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER))))) : probleme;
#30
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (AUCUNDESDEUX COMMISSAIRE) (A_LOC (SON MAISON) (TH (BEAUCOUP TEMPS) PASSER))) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (AUCUNDESDEUX COMMISSAIRE) (A_LOC (SON MAISON) (TH (DU TEMPS) PASSER))) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PRESENT_EVENT_CLOSURE (AG (AUCUNDESDEUX COMMISSAIRE) (A_LOC (SON MAISON) (TH (BEAUCOUP TEMPS) PASSER)))) (PRESENT_EVENT_CLOSURE (AG (AUCUNDESDEUX COMMISSAIRE) (A_LOC (SON MAISON) (TH (DU TEMPS) PASSER)))) : probleme;
#40
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG (BEAUCOUP DELEGUE) (APARTIRDE (LE ENQUETE) (RES (DES RESULTAT) OBTENIR))) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG (BEAUCOUP DELEGUE) (APARTIRDE (LE ENQUETE) (RES (DES (INTERESSANT RESULTAT)) OBTENIR))) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (AG (BEAUCOUP DELEGUE) (APARTIRDE (LE ENQUETE) (RES (DES RESULTAT) OBTENIR)))) (PAST_EVENT_CLOSURE (AG (BEAUCOUP DELEGUE) (APARTIRDE (LE ENQUETE) (RES (DES (INTERESSANT RESULTAT)) OBTENIR)))) : probleme;
#50
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (TOUS (DE_APPARTENANCE CANADA HABITANT)) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER)))) : s;
syntactic_realisation semantics realize PRESENT_ETRE_N (DE_APPARTENANCE CONTINENTNORDAMERICAIN HABITANT) (TOUS (DE_APPARTENANCE CANADA HABITANT)) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (TOUS (DE_APPARTENANCE CONTINENTNORDAMERICAIN HABITANT)) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER)))) : s;
syntactic_realisation semantics realize ENTAILMENT2P (PRESENT_EVENT_CLOSURE (AG (TOUS (DE_APPARTENANCE CANADA HABITANT)) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER))))) (PRESENT_ETRE_N (DE_APPARTENANCE CONTINENTNORDAMERICAIN HABITANT) (TOUS (DE_APPARTENANCE CANADA HABITANT))) (PRESENT_EVENT_CLOSURE (AG (TOUS (DE_APPARTENANCE CONTINENTNORDAMERICAIN HABITANT)) (POUVOIR (EN EUROPE (LIBREMENT CIRCULER))))) : probleme;
#60
syntactic_realisation semantics realize PRESENT_ETRE_N (DE_APPARTENANCE (LE (DE_APPARTENANCE EUROPE SUD)) ORIGINAIRE) (PEU (DE_APPARTENANCE (LE COMITE) MEMBRE)) : s;
syntactic_realisation semantics realize PRESENT_ETRE_N (DE_APPARTENANCE (LE (DE_APPARTENANCE EUROPE SUD)) ORIGINAIRE) (PEU (FEMININ (DE_APPARTENANCE (LE COMITE) MEMBRE))) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PRESENT_ETRE_N (DE_APPARTENANCE (LE (DE_APPARTENANCE EUROPE SUD)) ORIGINAIRE) (PEU (DE_APPARTENANCE (LE COMITE) MEMBRE))) (PRESENT_ETRE_N (DE_APPARTENANCE (LE (DE_APPARTENANCE EUROPE SUD)) ORIGINAIRE) (PEU (FEMININ (DE_APPARTENANCE (LE COMITE) MEMBRE)))) : probleme;
#70
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG (AUCUN DELEGUE) (ATEMPS (TH (LE RAPPORT) FINIR))) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG (CERTAIN (SCANDINAVE DELEGUE)) (ATEMPS (TH (LE RAPPORT) FINIR))) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (AG (AUCUN DELEGUE) (ATEMPS (TH (LE RAPPORT) FINIR)))) (PAST_EVENT_CLOSURE (AG (CERTAIN (SCANDINAVE DELEGUE)) (ATEMPS (TH (LE RAPPORT) FINIR)))) : probleme;
#80
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (AUPLUSDIX COMMISSAIRE) (A_LOC (SON MAISON) (TH (DU TEMPS) PASSER))) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (AUPLUSDIX (FEMININ COMMISSAIRE)) (A_LOC (SON MAISON) (TH (DU TEMPS) PASSER))) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PRESENT_EVENT_CLOSURE (AG (AUPLUSDIX COMMISSAIRE) (A_LOC (SON MAISON) (TH (DU TEMPS) PASSER)))) (PRESENT_EVENT_CLOSURE (AG (AUPLUSDIX (FEMININ COMMISSAIRE)) (A_LOC (SON MAISON) (TH (DU TEMPS) PASSER)))) : probleme;
#90
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (LE PRESIDENT) (TH (LES POINTALORDREDUJOUR) LIRE)) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG (LE PRESIDENT) (TH (TOUS POINTALORDREDUJOUR) LIRE)) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PRESENT_EVENT_CLOSURE (AG (LE PRESIDENT) (TH (LES POINTALORDREDUJOUR) LIRE))) (PRESENT_EVENT_CLOSURE (AG (LE PRESIDENT) (TH (TOUS POINTALORDREDUJOUR) LIRE))) : probleme;
#100
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (PAT_PAS (LES (QUI (A_TH (LE DEMONSTRATION) ETRE_PRESENT) CLIENT)) (FOR_PAS (LES (DE_APPARTENANCE (LE SYSTEME) PERFORMANCE)) IMPRESSIONNER)) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (PAT_PAS (CERTAIN (QUI (A_TH (LE DEMONSTRATION) ETRE_PRESENT) CLIENT)) (FOR_PAS (LES (DE_APPARTENANCE (LE SYSTEME) PERFORMANCE)) IMPRESSIONNER)) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (PAT_PAS (LES (QUI (A_TH (LE DEMONSTRATION) ETRE_PRESENT) CLIENT)) (FOR_PAS (LES (DE_APPARTENANCE (LE SYSTEME) PERFORMANCE)) IMPRESSIONNER))) (PAST_EVENT_CLOSURE (PAT_PAS (CERTAIN (QUI (A_TH (LE DEMONSTRATION) ETRE_PRESENT) CLIENT)) (FOR_PAS (LES (DE_APPARTENANCE (LE SYSTEME) PERFORMANCE)) IMPRESSIONNER))) : probleme;
#110
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG (EXACTEMENTUN COMPTABLE) (A_TH (LE REUNION) ASSISTER)) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG (UN COMPTABLE) (A_TH (LE REUNION) ASSISTER)) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (AG (EXACTEMENTUN COMPTABLE) (A_TH (LE REUNION) ASSISTER))) (PAST_EVENT_CLOSURE (AG (UN COMPTABLE) (A_TH (LE REUNION) ASSISTER))) : probleme;
#120
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG DUPONT (A_TH (UN REUNION) ASSISTER)) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG ELLE (TH CELLECI PRESIDER)) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG DUPONT (TH (UN REUNION) PRESIDER)) : s;
syntactic_realisation semantics realize ENTAILMENT2P (PAST_EVENT_CLOSURE (AG DUPONT (A_TH (UN REUNION) ASSISTER))) (PAST_EVENT_CLOSURE (AG ELLE (TH CELLECI PRESIDER))) (PAST_EVENT_CLOSURE (AG DUPONT (TH (UN REUNION) PRESIDER))) : probleme;
#130
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (TH (UN REUNION) (AG (ET_DIST JEAN (SES COLLEGUE)) ALLER)) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG ILS (TH CELLECI DETESTER)) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG JEAN (TH (LE REUNION) DETESTER)) : s;
syntactic_realisation semantics realize ENTAILMENT2P (PAST_EVENT_CLOSURE (TH (UN REUNION) (AG (ET_DIST JEAN (SES COLLEGUE)) ALLER))) (PAST_EVENT_CLOSURE (AG ILS (TH CELLECI DETESTER))) (PAST_EVENT_CLOSURE (AG JEAN (TH (LE REUNION) DETESTER))) : probleme;
#140
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG JEAN (CONT_QUE (AG GUILLAUME (PAT LUIMEME BLESSER)) DIRE)) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG JEAN (CONT_QUE (PAT_PAS GUILLAUME BLESSER) DIRE)) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (AG JEAN (CONT_QUE (AG GUILLAUME (PAT LUIMEME BLESSER)) DIRE))) (PAST_EVENT_CLOSURE (AG JEAN (CONT_QUE (PAT_PAS GUILLAUME BLESSER) DIRE))) : probleme;
#150
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (ET_VP (AG JEAN (A_GOAL PARIS (AVEC (UN VOITURE) ALLER))) (AG GUILLAUME (A_GOAL PARIS (AVEC (UN TRAIN) ALLER)))) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG GUILLAUME (A_GOAL PARIS (AVEC (UN TRAIN) ALLER))) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (ET_VP (AG JEAN (A_GOAL PARIS (AVEC (UN VOITURE) ALLER))) (AG GUILLAUME (A_GOAL PARIS (AVEC (UN TRAIN) ALLER))))) (PAST_EVENT_CLOSURE (AG GUILLAUME (A_GOAL PARIS (AVEC (UN TRAIN) ALLER)))) : probleme;
#160
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG JEAN (TH (UN (ROUGE VOITURE)) POSSEDER)) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG GUILLAUME (TH (UN (ROUGE (RAPIDE VOITURE))) POSSEDER)) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG GUILLAUME (TH (UN (ROUGE (RAPIDE VOITURE))) POSSEDER)) : s;
syntactic_realisation semantics realize ENTAILMENT2P (PRESENT_EVENT_CLOSURE (AG JEAN (TH (UN (ROUGE VOITURE)) POSSEDER))) (PRESENT_EVENT_CLOSURE (AG GUILLAUME (TH (UN (ROUGE (RAPIDE VOITURE))) POSSEDER))) (PRESENT_EVENT_CLOSURE (AG GUILLAUME (TH (UN (ROUGE (RAPIDE VOITURE))) POSSEDER))) : probleme;
#170
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AVANT_VP (AG JEAN (PAT MARIE TROUVER)) (AG JEAN (PAT GUILLAUME TROUVER))) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AVANT_VP (AG JEAN (PAT MARIE TROUVER)) (AG JEAN (PAT GUILLAUME TROUVER))) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (AVANT_VP (AG JEAN (PAT MARIE TROUVER)) (AG JEAN (PAT GUILLAUME TROUVER)))) (PAST_EVENT_CLOSURE (AVANT_VP (AG JEAN (PAT MARIE TROUVER)) (AG JEAN (PAT GUILLAUME TROUVER)))) : probleme;
#180
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (ET_VP (AG JEAN (CONT_VP (TH (UN VOITURE) ACHETER) VOULOIR)) (AG IL (TH (UN VOITURE) ACHETER))) : s;
syntactic_realisation semantics realize PAST_EVENT_CLOSURE (AG JEAN (TH (UN VOITURE) ACHETER)) : s;
syntactic_realisation semantics realize ENTAILMENT1P (PAST_EVENT_CLOSURE (ET_VP (AG JEAN (CONT_VP (TH (UN VOITURE) ACHETER) VOULOIR)) (AG IL (TH (UN VOITURE) ACHETER)))) (PAST_EVENT_CLOSURE (AG JEAN (TH (UN VOITURE) ACHETER))) : probleme;
#190
syntactic_realisation semantics realize ET_S (PRESENT_ETRE_N HOMME JEAN) (PRESENT_ETRE_N FEMME MARIE) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (ET_VP (AG JEAN (TH (SON ENTREPRISE) REPRESENTER)) (AG MARIE (TH (SON ENTREPRISE) REPRESENTER))) : s;
syntactic_realisation semantics realize PRESENT_EVENT_CLOSURE (AG MARIE (TH (LE (DE_APPARTENANCE JEAN ENTREPRISE)) REPRESENTER)) : s;
syntactic_realisation semantics realize ENTAILMENT2P (ET_S (PRESENT_ETRE_N HOMME JEAN) (PRESENT_ETRE_N FEMME MARIE)) (PRESENT_EVENT_CLOSURE (ET_VP (AG JEAN (TH (SON ENTREPRISE) REPRESENTER)) (AG MARIE (TH (SON ENTREPRISE) REPRESENTER)))) (PRESENT_EVENT_CLOSURE (AG MARIE (TH (LE (DE_APPARTENANCE JEAN ENTREPRISE)) REPRESENTER))) : probleme;
#200
syntactic_realisation semantics realize PRESENT_ETRE_N (ANCIEN (REMARQUABLE ETUDIANT)) JEAN : s;
syntactic_realisation semantics realize PRESENT_ETRE_A REMARQUABLE JEAN : s;
syntactic_realisation semantics realize ENTAILMENT1P (PRESENT_ETRE_N (ANCIEN (REMARQUABLE ETUDIANT)) JEAN) (PRESENT_ETRE_A REMARQUABLE JEAN) : probleme;
#210
syntactic_realisation semantics realize PRESENT_ETRE_N (PETIT ANIMAL) (TOUS SOURIS) : s;
syntactic_realisation semantics realize PRESENT_ETRE_N (GRAND SOURIS) MICKEY : s;
syntactic_realisation semantics realize PRESENT_ETRE_N (GRAND ANIMAL) MICKEY : s;
syntactic_realisation semantics realize ENTAILMENT2P (PRESENT_ETRE_N (PETIT ANIMAL) (TOUS SOURIS)) (PRESENT_ETRE_N (GRAND SOURIS) MICKEY) (PRESENT_ETRE_N (GRAND ANIMAL) MICKEY) : probleme;
#220
syntactic_realisation semantics realize PRESENT_ETRE_PLUS_ADJ RAPIDE PC_6082 ITEL_ZX : s;
syntactic_realisation semantics realize PRESENT_ETRE_A RAPIDE ITEL_ZX : s;
syntactic_realisation semantics realize PRESENT_ETRE_A RAPIDE PC_6082 : s;