1_a_stories_10_k58
My oldest pet is a mongrel dog called Mickey.
arc(r_0001_0003__pet, r_0001_0001__My, gen).
arc(r_0001_0003__pet, r_0001_0002__oldest, attrib6).
arc(r_0001_0004__is, r_0001_0003__pet, arg0).
arc(r_0001_0004__is, r_0001_0005__a_r_0001_0006__mongrel_r_0001_0007__dog, prd).
arc(r_0001_0008__called, r_0001_0005__a_r_0001_0006__mongrel_r_0001_0007__dog, arg1).
arc(r_0001_0008__called, r_0001_0009__Mickey, prd).
arc(r_0001_0008__called, z_000_1_a_stories_10_k58_21, arg0).
fof(formula,axiom,
? [R_1_4_IS,R_1_3_PET,R_1_2_OLDEST,R_1_1_MY,R_1_8_CALLED,Z_1_A_STORIES_10_K58_21,R_1_5_A_MONGREL_DOG,R_1_9_MICKEY] :
( oldest(R_1_2_OLDEST)
& my(R_1_1_MY)
& a_mongrel_dog(R_1_5_A_MONGREL_DOG)
& mickey(R_1_9_MICKEY)
& is(R_1_4_IS,R_1_3_PET,R_1_5_A_MONGREL_DOG)
& pet(R_1_3_PET)
& attrib6(R_1_3_PET,R_1_2_OLDEST)
& gen(R_1_3_PET,R_1_1_MY)
& called(R_1_8_CALLED,Z_1_A_STORIES_10_K58_21,R_1_5_A_MONGREL_DOG,R_1_9_MICKEY) ) ).
( (IP-MAT (NP-SBJ;{MICKEY} (NP-GEN (PRO;_genm_ My;{my}))
(ADJP (ADJS oldest;{old}))
(N pet;{pet}))
(BEP;_Ln_ is;{be})
(NP-PRD (D a;{a})
(N mongrel;{mongrel})
(N dog;{dog})
(IP-PPL (NP-LGS *)
(VVN;_Cn.n_ called;{call})
(NP-PRD (NPR Mickey;{Mickey}))))
(PUNC .))
(ID 1_a_stories_10_k58))