From 4c31deb83940be8e6ff3775013aec5da593c4d7a Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Thu, 29 Jan 2004 10:05:43 +0000
Subject: [PATCH] *** empty log message ***

---
 grammars/health/Health.gf | 37 +++++++++++++++++++++++++++++++++----
 1 file changed, 33 insertions(+), 4 deletions(-)

diff --git a/grammars/health/Health.gf b/grammars/health/Health.gf
index e477db905..22c8d2ec6 100644
--- a/grammars/health/Health.gf
+++ b/grammars/health/Health.gf
@@ -6,17 +6,18 @@ cat
 
 fun 
   And : Prop -> Prop -> Prop ;
-  Complain : Patient -> Symptom -> Prop ;
   PainIn : Patient -> BodyPart -> Prop ;
   Injured : Patient -> BodyPart -> Prop ;
   Broken : Patient -> BodyPart -> Prop ;
   HaveIllness : Patient -> Illness -> Prop ;
-  BeInCondition : Patient -> Condition -> Prop ; 
   NeedDoctor : Patient -> Specialization -> Prop ;
   NeedMedicine : Patient -> Medicine -> Prop ;
   TakeMedicine : Patient -> Medicine -> Prop ;
+
   CatchCold : Condition ;
   Pregnant : Condition ;
+  BeInCondition : Patient -> Condition -> Prop ; 
+  Complain : Patient -> Symptom -> Prop ;
 
   ShePatient : Patient ;
   TheyPatient : Patient ;
@@ -24,10 +25,38 @@ fun
 
   Influenza : Illness ; 
   Malaria : Illness ; 
-   
+  Diarrhea : Illness ; 
+  Allergy : Illness ; 
+  Heartburn : Illness ; 
+  Rheumatism : Illness ; 
+  Cystitis : Illness ; 
+  Asthma : Illness ;
+  Arthritis : Illness ;
+  Diabetes : Illness ;
+  Tonsillitis : Illness ;
+  Constipation : Illness ;
+  
   Dentist : Specialization ;
+  Gynecologist : Specialization ;
+  Urologist: Specialization ;
+  Pediatrician : Specialization ;
+  Physician :Specialization ;
+  Dermatologist :Specialization ;
+  Cardiologist : Specialization ;
+  Neuropathologist :  Specialization ;
+  Ophthalmologist : Specialization ;
+  Surgeon : Specialization ;
 
   PainKiller : Medicine ;
+  SleepingPeels : Medicine ;
+  Sedative :  Medicine ;
+  Vitamins : Medicine ;
+  EyeDrops : Medicine ;
+  Antibiotics :  Medicine ;
+  Viagra : Medicine ;
+  Laxative : Medicine ;
+  Insulin : Medicine ;
+  Antidepressant : Medicine ;
 
   Head : BodyPart ; 	
   Leg : BodyPart ; 	
@@ -43,7 +72,7 @@ fun
 --  Tooth : BodyPart ; 	
 
   Fever : Symptom ;
-
+  Sickness: Symptom ;
 --  PainInMod : Patient -> BodyPart -> SymptomDegree -> Prop ;
 --  SymptomMod : SymptomDegree -> Symptom -> Symtom;
 --  High : SymptomDegree ;