il_aime_marie
semantics:[h2:mary(m)
           h1:il(j)
           e1:love(j m)]
[ il aimer Marie ]

jean_aime_marie
semantics:[h1:john(j)
           h2:mary(m)
           e1:love(j m)]
[ Jean aimer Marie ]

jean_aime_le_livre
semantics:[h1:john(j)
           h2:book(l) h2:def(l)
           e1:love(j l)]
[ Jean aimer le livre ]

jean_s_aime
semantics:[h1:john(j)
           e1:love(j j)]
[ Jean se aimer ]

%jean_promet_marie_de_l'aimer
%semantics:[h1:john(j)
%           h2:mary(m)
%           e1:love(j m)
%           e2:promise(j e1 m)]
%[ Jean promettre a Marie de le aimer ]
%[ Jean promettre Marie de le aimer ]

jean_donne_un_livre_a_marie
semantics:[john(j) 
           mary(m) 
           book(b) indef(b)
           give(j b m)]
%[ Jean donner a Marie un livre ]
[ Jean donner un livre a Marie ]

jean_promet_a_marie_de_donner_un_livre_a_Claire
semantics:[john(j) 
           mary(m) 
           book(b) indef(b)
           claire(c)
           e1:give(j b c) 
           promise(j e1 m) ]
[ Jean promettre a Marie de donner un livre a Claire ]

jean_promet_a_Marie_de_le_donner_un_livre
semantics:[john(j) 
           mary(m) 
           book(b) indef(b)
           e1:give(j b m) 
           promise(j e1 m) ]
[ Jean promettre a Marie de le donner un livre ]

%semantics:[h1:john(j) 
%           h2:mary(m) 
%           h3:book(b) h3:indef(b)
%           h4:paul(p)
%           e1:give(j b p) 
%           e2:promise(j e1 m) 
%           e3:convince(p e2 j) ]
%[ Paul persuader Jean de promettre a Marie de le donner un livre ]

promettre
semantics : [ h1:def(b)
	      h1:present(b)
	      e:promise(a b c)
	      mary(a)
	      john(c)
	     ]

promettre_donner
semantics : [ e1:promise(a e2 b)
	      john(a)
	      mary(b)
	      e2:give(a c d)
	      h1:indef(c)
	      h1:book(c)
	      paul(d)
	     ]

promettre_donner_persuader
semantics : [ e1:promise(a e2 b)
	      john(a)
	      mary(b)
	      e2:convince(a e3 d)
	      e3:give(d c e)
	      h3:indef(c)
	      h3:book(c)
	      paul(d)
	      claire(e)
	     ]

% "Jean promet a Marie de persuader Paul de persuader Pierre de
% persuader Olivier de donner
% un livre a Claire" 
pr_per_per_per_do
semantics : [ e1:promise(a e2 b)
	      john(a)
	      mary(b)
	      e2:convince(a e3 d)
	      paul(d)
	      e3:convince(d e4 e)
	      peter(e)
	      e4:convince(e e5 o)
	      oliver(o)
	      e5:give(o l f)
	      h1:indef(l)
	      h1:book(l)
	      claire(f)
	     ]