added ExtraFre.InvQuestIAdvCl

2017-12-13 09:09:39 +02:00
parent ced4be3a07
commit d0a65b19fd
2 changed files with 9 additions and 1 deletions
@@ -56,6 +56,7 @@ abstract ExtraFreAbs = ExtraRomanceAbs - [ProDrop] ** {

    EstcequeQuestCl : Cl -> QCl ; -- est-ce qu'il dort
    InvQuestCl : Cl -> QCl ;      -- dort-il
+    InvQuestIAdvCl : IAdv -> Cl -> QCl ;      -- dort-il


 }