From dc89975544b55db5003018628ce8f6c9aecca28e Mon Sep 17 00:00:00 2001
From: aarneranta <aarne@chalmers.se>
Date: Wed, 19 May 2021 08:14:54 +0200
Subject: [PATCH] prepared app for lecture

---
 lab2/grammar/application/Doctor.gf | 58 +++++++++++++++---------------
 lab2/grammar/foods/Foods.gf        | 26 ++++++++++++++
 2 files changed, 55 insertions(+), 29 deletions(-)
 create mode 100644 lab2/grammar/foods/Foods.gf

diff --git a/lab2/grammar/application/Doctor.gf b/lab2/grammar/application/Doctor.gf
index 733b745..15d33a1 100644
--- a/lab2/grammar/application/Doctor.gf
+++ b/lab2/grammar/application/Doctor.gf
@@ -3,36 +3,36 @@ abstract Doctor = {
 flags startcat = Phrase ;
 
 cat
-  Phrase ;
-  Fact ;
-  Action ;
-  Property ;
-  Profession ;
-  Person ;
-  Place ;
-  Substance ;
-  Illness ;
+  Phrase ;      -- has she slept?
+  Fact ;        -- she sleeps
+  Action ;      -- sleep
+  Property ;    -- be a doctor
+  Profession ;  -- doctor
+  Person ;      -- she
+  Place ;       -- the hospital
+  Substance ;   -- drugs
+  Illness ;     -- fever
 
 fun
-  presPosPhrase      : Fact -> Phrase ;
-  presNegPhrase      : Fact -> Phrase ;
-  pastPosPhrase      : Fact -> Phrase ;
-  pastNegPhrase      : Fact -> Phrase ;
-  presQuestionPhrase : Fact -> Phrase ;
-  pastQuestionPhrase : Fact -> Phrase ;
+  presPosPhrase      : Fact -> Phrase ;  -- she sleeps
+  presNegPhrase      : Fact -> Phrase ;  -- she doesn't sleep
+  pastPosPhrase      : Fact -> Phrase ;  -- she has slept
+  pastNegPhrase      : Fact -> Phrase ;  -- she has not slept
+  presQuestionPhrase : Fact -> Phrase ;  -- does she sleep
+  pastQuestionPhrase : Fact -> Phrase ;  -- has she slept
 
-  impPosPhrase       : Action -> Phrase ;
-  impNegPhrase       : Action -> Phrase ;
+  impPosPhrase       : Action -> Phrase ;  -- eat
+  impNegPhrase       : Action -> Phrase ;  -- don't eat
 
-  actionFact         : Person -> Action -> Fact ;
-  propertyFact       : Person -> Property  -> Fact ;
+  actionFact         : Person -> Action -> Fact ;    -- she vaccinates you
+  propertyFact       : Person -> Property  -> Fact ; -- she is a doctor 
   
-  isProfessionProperty   : Profession -> Property ;
-  isAtPlaceProperty      : Place -> Property ;
-  haveIllnessProperty    : Illness -> Property ;
-  needProfessionProperty : Profession -> Property ;
+  isProfessionProperty   : Profession -> Property ;  -- be a doctor
+  isAtPlaceProperty      : Place -> Property ;       -- be at the hospital
+  haveIllnessProperty    : Illness -> Property ;     -- have a fever
+  needProfessionProperty : Profession -> Property ;  -- need a doctor
 
-  theProfessionPerson  : Profession -> Person ;
+  theProfessionPerson  : Profession -> Person ;      -- the doctor
 
   iMascPerson   : Person ;
   iFemPerson    : Person ;
@@ -41,11 +41,11 @@ fun
   hePerson      : Person ;
   shePerson     : Person ;
 
-  goToAction         : Place -> Action ;
-  stayAtAction       : Place -> Action ;
-  vaccinateAction    : Person -> Action ;
-  examineAction      : Person -> Action ;
-  takeSubstanceAction : Substance -> Action ;
+  goToAction         : Place -> Action ;      -- go to the hospital
+  stayAtAction       : Place -> Action ;      -- stay at home
+  vaccinateAction    : Person -> Action ;     -- vaccinate you
+  examineAction      : Person -> Action ;     -- examine you
+  takeSubstanceAction : Substance -> Action ; -- take drugs
 
   coughAction     : Action ;
   breatheAction   : Action ;
diff --git a/lab2/grammar/foods/Foods.gf b/lab2/grammar/foods/Foods.gf
new file mode 100644
index 0000000..aa92e89
--- /dev/null
+++ b/lab2/grammar/foods/Foods.gf
@@ -0,0 +1,26 @@
+-- (c) 2009 Aarne Ranta under LGPL
+-- in https://github.com/GrammaticalFramework/gf-contrib/blob/master/foods/Foods.gf
+--
+-- modified for the Computational Syntax course in 2021
+
+abstract Foods = {
+
+  flags startcat = Comment ;
+  
+  cat
+    Comment ;  -- this Italian pizza is very warm
+    Item ;     -- this Italian pizza
+    Kind ;     -- Italian pizza
+    Quality ;  -- very warm
+    
+  fun
+    Pred : Item -> Quality -> Comment ;       -- (this pizza) is (very warm)
+    This, That, These, Those : Kind -> Item ; -- this|that|these|those (pizza|pizzas) 
+    Mod : Quality -> Kind -> Kind ;           -- (Italian) (pizza)
+    Very : Quality -> Quality ;               -- very (Italian)
+
+    Wine, Cheese, Fish, Pizza : Kind ;
+
+    Good, Fresh, Warm, Italian, 
+      Expensive, Delicious, Boring : Quality ;
+}