1 files changed, 36 insertions, 0 deletions
diff --git a/grammars/health/Health.gf b/grammars/health/Health.gf
new file mode 100644
index 000000000..db901d29f
--- /dev/null
+++ b/grammars/health/Health.gf
@@ -0,0 +1,36 @@
+abstract Health =  {
+
+cat 
+  Specialization ; Patient ; Body ; Symptom ; SymptomDegree ; Illness ; 
+  Prop ; Condition ; Medicine ; 
+
+fun 
+  And : Prop -> Prop -> Prop ;
+  Complain : Patient -> Symptom -> Prop ;
+  FeverMod : SymptomDegree -> Symptom ;
+  PainIn : Patient -> Body -> Prop ;
+  PainInMod : Patient -> Body -> SymptomDegree -> Prop ;
+  Injured : Patient -> Body -> Prop ;
+  Broken : Patient -> Body -> 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 ;
+  Fever : Symptom ;
+  High : SymptomDegree ;
+  Terrible : SymptomDegree ;
+  Head : Body ; 	
+  Leg : Body ; 	
+  ShePatient : Patient ;
+  TheyPatient : Patient ;
+  IPatientHe : Patient ;
+  Influenza : Illness ; 
+  Malaria : Illness ; 
+   
+  Dentist : Specialization ;
+  PainKiller : Medicine ;
+
+} ;