13_a_alresford
I arrived with high hopes and a mongrel puppy.
arc(r_0013_0002__arrived, r_0013_0001__I, arg0).
arc(r_0013_0002__arrived, r_0013_0006__and, r_0013_0003__with_nim10).
arc(r_0013_0005__hopes, r_0013_0004__high, attrib13).
arc(r_0013_0006__and, r_0013_0005__hopes, conj1).
arc(r_0013_0006__and, r_0013_0007__a_r_0013_0008__mongrel_r_0013_0009__puppy, conj2).
fof(formula,axiom,
? [R_13_2_ARRIVED,R_13_1_I,R_13_6_AND,R_13_5_HOPES,R_13_4_HIGH,R_13_7_A_MONGREL_PUPPY] :
( i(R_13_1_I)
& high(R_13_4_HIGH)
& a_mongrel_puppy(R_13_7_A_MONGREL_PUPPY)
& arrived(R_13_2_ARRIVED,R_13_1_I)
& with_nim10(R_13_2_ARRIVED,R_13_6_AND)
& and(R_13_6_AND)
& conj1(R_13_6_AND,R_13_5_HOPES)
& hopes(R_13_5_HOPES)
& attrib13(R_13_5_HOPES,R_13_4_HIGH)
& conj2(R_13_6_AND,R_13_7_A_MONGREL_PUPPY) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_I_ arrived;{arrive})
(PP-NIM (P-ROLE with;{with})
(NP (NLYR (NLYR (ADJP (ADJ high;{high}))
(NS hopes;{hope}))
(CONJP (CONJ and;{and})
(NLYR (D a;{a})
(N mongrel;{mongrel})
(N puppy;{puppy}))))))
(PUNC .))
(ID 13_a_alresford))