( (IP-MAT (CONJ;_cl_ But;{but})
          (ADVP-NIM (ADV presently;{presently}))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (Q;_nphd_ nothing;{nothing}))
                           (VBD;_I_ happened;{happen})))
          (PUNC ,)
          (NP-SBJ;{PETER} (PRO he;{he}))
          (ILYR (ILYR (VBD;_Ip_ came;{come[out]})
                      (ADVP-CLR (RP out;{out})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ILYR (ILYR (VBD;_Ipr_ climbed;{climb[upon]})
                                         (PP-CLR (P-ROLE upon;{upon})
                                                 (NP (D a;{a})
                                                     (N wheelbarrow;{wheelbarrow}))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBD;_Ip_ peeped;{peep[over]})
                                                (ADVP-CLR (RP over;{over}))))))))
          (PUNC .))
  (ID 41_a_potter_1902))

arc(r_0041_0004__as,r_0041_0005__nothing__quant,restriction).
arc(r_0041_0004__as,r_0041_0012__and,scope).
arc(r_0041_0005__nothing__quant,r_0041_0006__happened,scope).
arc(r_0041_0005__nothing__quant,z_0041_5005,restriction).
arc(r_0041_0006__happened,z_0041_5005,arg0).
arc(r_0041_0009__came_r_0041_0010__out,r_0041_0002__presently,nim).
arc(r_0041_0009__came_r_0041_0010__out,r_0041_0008__he,arg0).
arc(r_0041_0012__and,r_0041_0009__came_r_0041_0010__out,conj1).
arc(r_0041_0012__and,r_0041_0017__and,conj2).
arc(r_0041_0013__climbed_r_0041_0014__upon,r_0041_0002__presently,nim).
arc(r_0041_0013__climbed_r_0041_0014__upon,r_0041_0008__he,arg0).
arc(r_0041_0013__climbed_r_0041_0014__upon,r_0041_0015__a_r_0041_0016__wheelbarrow,arg1).
arc(r_0041_0017__and,r_0041_0013__climbed_r_0041_0014__upon,conj1).
arc(r_0041_0017__and,r_0041_0018__peeped_r_0041_0019__over,conj2).
arc(r_0041_0018__peeped_r_0041_0019__over,r_0041_0002__presently,nim).
arc(r_0041_0018__peeped_r_0041_0019__over,r_0041_0008__he,arg0).

fof(formula,axiom,
    ? [R_0041_0002__PRESENTLY,R_0041_0008__HE,R_0041_0009__CAME_R_0041_0010__OUT,R_0041_0015__A_R_0041_0016__WHEELBARROW,R_0041_0013__CLIMBED_R_0041_0014__UPON,R_0041_0018__PEEPED_R_0041_0019__OVER,R_0041_0017__AND,R_0041_0012__AND,R_0041_0004__AS] :
      ( r_0041_0002__presently(R_0041_0002__PRESENTLY)
      & r_0041_0008__he(R_0041_0008__HE)
      & r_0041_0015__a_r_0041_0016__wheelbarrow(R_0041_0015__A_R_0041_0016__WHEELBARROW)
      & r_0041_0004__as(R_0041_0004__AS)
      & has_conj2(R_0041_0004__AS,R_0041_0012__AND)
      & r_0041_0012__and(R_0041_0012__AND)
      & has_conj2(R_0041_0012__AND,R_0041_0017__AND)
      & r_0041_0017__and(R_0041_0017__AND)
      & has_conj2(R_0041_0017__AND,R_0041_0018__PEEPED_R_0041_0019__OVER)
      & r_0041_0018__peeped_r_0041_0019__over(R_0041_0018__PEEPED_R_0041_0019__OVER)
      & has_arg0(R_0041_0018__PEEPED_R_0041_0019__OVER,R_0041_0008__HE)
      & has_nim(R_0041_0018__PEEPED_R_0041_0019__OVER,R_0041_0002__PRESENTLY)
      & has_conj1(R_0041_0017__AND,R_0041_0013__CLIMBED_R_0041_0014__UPON)
      & r_0041_0013__climbed_r_0041_0014__upon(R_0041_0013__CLIMBED_R_0041_0014__UPON)
      & has_arg1(R_0041_0013__CLIMBED_R_0041_0014__UPON,R_0041_0015__A_R_0041_0016__WHEELBARROW)
      & has_arg0(R_0041_0013__CLIMBED_R_0041_0014__UPON,R_0041_0008__HE)
      & has_nim(R_0041_0013__CLIMBED_R_0041_0014__UPON,R_0041_0002__PRESENTLY)
      & has_conj1(R_0041_0012__AND,R_0041_0009__CAME_R_0041_0010__OUT)
      & r_0041_0009__came_r_0041_0010__out(R_0041_0009__CAME_R_0041_0010__OUT)
      & has_arg0(R_0041_0009__CAME_R_0041_0010__OUT,R_0041_0008__HE)
      & has_nim(R_0041_0009__CAME_R_0041_0010__OUT,R_0041_0002__PRESENTLY)
      & ! [Z_0041_5005] :
          ( z_0041_5005(Z_0041_5005)
         => ? [R_0041_0006__HAPPENED] :
              ( r_0041_0006__happened(R_0041_0006__HAPPENED)
              & has_arg0(R_0041_0006__HAPPENED,Z_0041_5005) ) ) ) ).