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

arc(r_0013_0002__arrived,r_0013_0001__I,arg0).
arc(r_0013_0002__arrived,r_0013_0006__and,r_0013_0003__with__nim).
arc(r_0013_0005__hopes,r_0013_0004__high,attrib).
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_0013_0001__I,R_0013_0004__HIGH,R_0013_0005__HOPES,R_0013_0007__A_R_0013_0008__MONGREL_R_0013_0009__PUPPY,R_0013_0006__AND,R_0013_0002__ARRIVED] :
      ( r_0013_0001__I(R_0013_0001__I)
      & r_0013_0004__high(R_0013_0004__HIGH)
      & r_0013_0007__a_r_0013_0008__mongrel_r_0013_0009__puppy(R_0013_0007__A_R_0013_0008__MONGREL_R_0013_0009__PUPPY)
      & r_0013_0002__arrived(R_0013_0002__ARRIVED)
      & has_r_0013_0003__with__nim(R_0013_0002__ARRIVED,R_0013_0006__AND)
      & r_0013_0006__and(R_0013_0006__AND)
      & has_conj2(R_0013_0006__AND,R_0013_0007__A_R_0013_0008__MONGREL_R_0013_0009__PUPPY)
      & has_conj1(R_0013_0006__AND,R_0013_0005__HOPES)
      & r_0013_0005__hopes(R_0013_0005__HOPES)
      & has_attrib(R_0013_0005__HOPES,R_0013_0004__HIGH)
      & has_arg0(R_0013_0002__ARRIVED,R_0013_0001__I) ) ).