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_94_5_AND,R_94_3_DEVELOPED,R_94_4_TUMOURS,R_94_6_DIED,R_94_2_DOG,R_94_1_MY,R_94_8_THE_AUTUMN,R_94_14_CARE,R_94_12_EXCELLENT,R_94_13_VETERINARY] :
( tumours(R_94_4_TUMOURS)
& my(R_94_1_MY)
& the_autumn(R_94_8_THE_AUTUMN)
& excellent(R_94_12_EXCELLENT)
& veterinary(R_94_13_VETERINARY)
& and(R_94_5_AND)
& conj1(R_94_5_AND,R_94_3_DEVELOPED)
& developed(R_94_3_DEVELOPED,R_94_2_DOG,R_94_4_TUMOURS)
& dog(R_94_2_DOG)
& gen(R_94_2_DOG,R_94_1_MY)
& conj2(R_94_5_AND,R_94_6_DIED)
& died(R_94_6_DIED,R_94_2_DOG)
& in_nim24(R_94_6_DIED,R_94_8_THE_AUTUMN)
& despite_nim34(R_94_6_DIED,R_94_14_CARE)
& care(R_94_14_CARE)
& attrib35(R_94_14_CARE,R_94_12_EXCELLENT)
& attrib38(R_94_14_CARE,R_94_13_VETERINARY) ) ).
( (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))