diff options
Diffstat (limited to 'grammars/health/Health.gf')
| -rw-r--r-- | grammars/health/Health.gf | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/grammars/health/Health.gf b/grammars/health/Health.gf index 8d732c41e..a55f4fcb9 100644 --- a/grammars/health/Health.gf +++ b/grammars/health/Health.gf @@ -20,8 +20,11 @@ fun Complain : Patient -> Symptom -> Prop ; ShePatient : Patient ; + HePatient : Patient ; + WePatient : Patient ; TheyPatient : Patient ; IPatientHe : Patient ; + IPatientShe : Patient ; Influenza : Illness ; Malaria : Illness ; @@ -68,8 +71,9 @@ fun Arm : BodyPart ; Back : BodyPart ; Shoulder : BodyPart ; --- Knee : BodyPart ; -- Tooth : BodyPart ; +-- Knee : BodyPart ; + Fever : Symptom ; -- Sickness: Symptom ; |