added est-ce que IAdv questions to Fre

This commit is contained in:
Aarne Ranta
2018-02-22 09:08:49 +01:00
parent ba62b9c82a
commit 4a17d46d8b
2 changed files with 9 additions and 0 deletions

View File

@@ -55,6 +55,7 @@ abstract ExtraFreAbs = ExtraRomanceAbs - [ProDrop] ** {
-- alternative forms of questions
EstcequeQuestCl : Cl -> QCl ; -- est-ce qu'il dort
EstcequeQuestIAdvCl : IAdv -> Cl -> QCl ; -- où est-ce qu'il dort
InvQuestCl : Cl -> QCl ; -- dort-il
InvQuestIAdvCl : IAdv -> Cl -> QCl ; -- dort-il