TSPC 94_a_alresford

94_a_alresford
My dog developed tumours and died in the autumn, despite excellent veterinary care.

arc(r_0094_0002__dog, r_0094_0001__My, gen).
arc(r_0094_0003__developed, r_0094_0002__dog, arg0).
arc(r_0094_0003__developed, r_0094_0004__tumours, arg1).
arc(r_0094_0005__and, r_0094_0003__developed, conj1).
arc(r_0094_0005__and, r_0094_0006__died, conj2).
arc(r_0094_0006__died, r_0094_0002__dog, arg0).
arc(r_0094_0006__died, r_0094_0008__the_r_0094_0009__autumn, r_0094_0007__in_nim24).
arc(r_0094_0006__died, r_0094_0014__care, r_0094_0011__despite_nim34).
arc(r_0094_0014__care, r_0094_0012__excellent, attrib35).
arc(r_0094_0014__care, r_0094_0013__veterinary, attrib38).

fof(formula,axiom,
    ? [R_0094_0001__MY,R_0094_0002__DOG,R_0094_0004__TUMOURS,R_0094_0003__DEVELOPED,R_0094_0008__THE_R_0094_0009__AUTUMN,R_0094_0012__EXCELLENT,R_0094_0013__VETERINARY,R_0094_0014__CARE,R_0094_0006__DIED,R_0094_0005__AND] :
      ( r_0094_0001__My(R_0094_0001__MY)
      & r_0094_0004__tumours(R_0094_0004__TUMOURS)
      & r_0094_0008__the_r_0094_0009__autumn(R_0094_0008__THE_R_0094_0009__AUTUMN)
      & r_0094_0012__excellent(R_0094_0012__EXCELLENT)
      & r_0094_0013__veterinary(R_0094_0013__VETERINARY)
      & r_0094_0005__and(R_0094_0005__AND)
      & has_conj2(R_0094_0005__AND,R_0094_0006__DIED)
      & r_0094_0006__died(R_0094_0006__DIED)
      & has_r_0094_0011__despite_nim34(R_0094_0006__DIED,R_0094_0014__CARE)
      & r_0094_0014__care(R_0094_0014__CARE)
      & has_attrib38(R_0094_0014__CARE,R_0094_0013__VETERINARY)
      & has_attrib35(R_0094_0014__CARE,R_0094_0012__EXCELLENT)
      & has_r_0094_0007__in_nim24(R_0094_0006__DIED,R_0094_0008__THE_R_0094_0009__AUTUMN)
      & has_arg0(R_0094_0006__DIED,R_0094_0002__DOG)
      & r_0094_0002__dog(R_0094_0002__DOG)
      & has_gen(R_0094_0002__DOG,R_0094_0001__MY)
      & has_conj1(R_0094_0005__AND,R_0094_0003__DEVELOPED)
      & r_0094_0003__developed(R_0094_0003__DEVELOPED)
      & has_arg1(R_0094_0003__DEVELOPED,R_0094_0004__TUMOURS)
      & has_arg0(R_0094_0003__DEVELOPED,R_0094_0002__DOG) ) ).

( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ My;{my}))
                  (N dog;{dog}))
          (ILYR (ILYR (VBD;_Tn_ developed;{develop})
                      (NP-OB1 (NS tumours;{tumour})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ died;{die})
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N autumn;{autumn})))
                             (PUNC ,)
                             (PP-NIM (P-ROLE despite;{despite})
                                     (NP (ADJP (ADJ excellent;{excellent}))
                                         (ADJP (ADJ veterinary;{veterinary}))
                                         (N care;{care}))))))
          (PUNC .))
  (ID 94_a_alresford))