From 59ccc22409c974570f5b08dc4073e7c89a1f69af Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 20 Apr 2007 22:31:10 +0000 Subject: [PATCH] Added some more versions of mkQS and mkCl. --- lib/resource-1.0/api/Constructors.gf | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) diff --git a/lib/resource-1.0/api/Constructors.gf b/lib/resource-1.0/api/Constructors.gf index 7fc3f7541..15d1f49c2 100644 --- a/lib/resource-1.0/api/Constructors.gf +++ b/lib/resource-1.0/api/Constructors.gf @@ -76,7 +76,10 @@ incomplete resource Constructors = open Grammar in { mkCl : VP -> Cl ; -- it rains mkCl : NP -> RS -> Cl ; -- it is you who did it mkCl : Adv -> S -> Cl ; -- it is yesterday she arrived - mkCl : NP -> Cl -- there is a house + mkCl : NP -> Cl ; -- there is a house + mkCl : NP -> AP -> Cl ; -- John is warm + mkCl : NP -> NP -> Cl ; -- John is a man + mkCl : NP -> Adv -> Cl -- John is here } ; --2 Verb phrases and imperatives @@ -211,7 +214,8 @@ incomplete resource Constructors = open Grammar in { mkQS : overload { mkQS : Tense -> Ant -> Pol -> QCl -> QS ; -- wouldn't John have walked - mkQS : QCl -> QS -- does John walk + mkQS : QCl -> QS ; -- who walks + mkQS : Cl -> QS -- does John walk } ; mkQCl : overload { @@ -326,7 +330,13 @@ incomplete resource Constructors = open Grammar in { mkCl : Adv -> S -> Cl -- it is yesterday she arrived = CleftAdv ; mkCl : NP -> Cl -- there is a house - = ExistNP + = ExistNP ; + mkCl : NP -> AP -> Cl -- John is warm + = \x,y -> PredVP x (UseComp (CompAP y)) ; + mkCl : NP -> NP -> Cl -- John is a man + = \x,y -> PredVP x (UseComp (CompNP y)) ; + mkCl : NP -> Adv -> Cl -- John is here + = \x,y -> PredVP x (UseComp (CompAdv y)) } ; mkNP = overload { @@ -566,7 +576,9 @@ incomplete resource Constructors = open Grammar in { mkQS : Tense -> Ant -> Pol -> QCl -> QS = UseQCl ; mkQS : QCl -> QS - = UseQCl TPres ASimul PPos + = UseQCl TPres ASimul PPos ; + mkQS : Cl -> QS + = \x -> UseQCl TPres ASimul PPos (QuestCl x) } ; mkRS = overload {