modified Noun to accommodate for IDetCN in Question

This commit is contained in:
David Bamutura
2019-05-14 03:53:11 +02:00
parent 1dbd1b535f
commit 38b29c7071
5 changed files with 83 additions and 25 deletions
+7
View File
@@ -12,6 +12,13 @@ concrete QuestionCgg of Question = CatCgg ** open ResCgg, Prelude in {
--QuestSlash : IP -> ClSlash -> QCl ; -- whom does John love
--QuestIAdv : IAdv -> Cl -> QCl ; -- why does John walk
--QuestIComp : IComp -> NP -> QCl ; -- where is John
--IdetCN : IDet -> CN -> IP ; -- which five songs
IdentCN idet cn = case idet.requiresSubjPrefix of {
True => {s = \\n => cn!n!Complete ++ mkSubjPrefix mkAgreement(cn.gender P3 n) ++ idet.s};
False => { s = \\n => cn!n!Complete ++ idet.s}
};
--IdetIP : IDet -> IP ; -- which five
{-
--1 Question: Questions and Interrogative Pronouns