TSPC 89_a_alresford

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

( (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 89_a_alresford))

arc(r_0089_0002__dog,r_0089_0001__My,gen).
arc(r_0089_0003__developed,r_0089_0002__dog,arg0).
arc(r_0089_0003__developed,r_0089_0004__tumours,arg1).
arc(r_0089_0005__and,r_0089_0003__developed,conj1).
arc(r_0089_0005__and,r_0089_0006__died,conj2).
arc(r_0089_0006__died,r_0089_0002__dog,arg0).
arc(r_0089_0006__died,r_0089_0008__the_r_0089_0009__autumn,r_0089_0007__in__nim).
arc(r_0089_0006__died,r_0089_0014__care,r_0089_0011__despite__nim).
arc(r_0089_0014__care,r_0089_0012__excellent,attrib).
arc(r_0089_0014__care,r_0089_0013__veterinary,attrib).

fof(formula,axiom,
    ? [R_0089_0001__MY,R_0089_0002__DOG,R_0089_0004__TUMOURS,R_0089_0003__DEVELOPED,R_0089_0008__THE_R_0089_0009__AUTUMN,R_0089_0012__EXCELLENT,R_0089_0013__VETERINARY,R_0089_0014__CARE,R_0089_0006__DIED,R_0089_0005__AND] :
      ( r_0089_0001__My(R_0089_0001__MY)
      & r_0089_0004__tumours(R_0089_0004__TUMOURS)
      & r_0089_0008__the_r_0089_0009__autumn(R_0089_0008__THE_R_0089_0009__AUTUMN)
      & r_0089_0012__excellent(R_0089_0012__EXCELLENT)
      & r_0089_0013__veterinary(R_0089_0013__VETERINARY)
      & r_0089_0005__and(R_0089_0005__AND)
      & has_conj2(R_0089_0005__AND,R_0089_0006__DIED)
      & r_0089_0006__died(R_0089_0006__DIED)
      & has_r_0089_0011__despite__nim(R_0089_0006__DIED,R_0089_0014__CARE)
      & r_0089_0014__care(R_0089_0014__CARE)
      & has_attrib(R_0089_0014__CARE,R_0089_0013__VETERINARY)
      & has_attrib(R_0089_0014__CARE,R_0089_0012__EXCELLENT)
      & has_r_0089_0007__in__nim(R_0089_0006__DIED,R_0089_0008__THE_R_0089_0009__AUTUMN)
      & has_arg0(R_0089_0006__DIED,R_0089_0002__DOG)
      & r_0089_0002__dog(R_0089_0002__DOG)
      & has_gen(R_0089_0002__DOG,R_0089_0001__MY)
      & has_conj1(R_0089_0005__AND,R_0089_0003__DEVELOPED)
      & r_0089_0003__developed(R_0089_0003__DEVELOPED)
      & has_arg1(R_0089_0003__DEVELOPED,R_0089_0004__TUMOURS)
      & has_arg0(R_0089_0003__DEVELOPED,R_0089_0002__DOG) ) ).