suite

donner 
  semantics : [ jean(a)
	      give(e2 a c d)
	      indef(c)
	      book(c)
	      paul(d)
	     ]

promettre_donner
 semantics : [ promise(e1 a b e2)
	      jean(a)
	      marie(b)
	      give(e2 a c d)
	      indef(c)
	      book(c)
	      paul(d)
	     ]