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_000_41_a_potter_1902_13, restriction).
arc(r_0041_0006__happened, z_000_41_a_potter_1902_13, arg0).
arc(r_0041_0009__came, r_0041_0002__presently, nim4).
arc(r_0041_0009__came, r_0041_0008__he, arg0).
arc(r_0041_0009__came, r_0041_0010__out, clr27).
arc(r_0041_0012__and, r_0041_0009__came, conj1).
arc(r_0041_0012__and, r_0041_0017__and, conj2).
arc(r_0041_0013__climbed, r_0041_0002__presently, nim4).
arc(r_0041_0013__climbed, r_0041_0008__he, arg0).
arc(r_0041_0013__climbed, r_0041_0015__a_r_0041_0016__wheelbarrow, r_0041_0014__upon_clr43).
arc(r_0041_0017__and, r_0041_0013__climbed, conj1).
arc(r_0041_0017__and, r_0041_0018__peeped, conj2).
arc(r_0041_0018__peeped, r_0041_0002__presently, nim4).
arc(r_0041_0018__peeped, r_0041_0008__he, arg0).
arc(r_0041_0018__peeped, r_0041_0019__over, clr54).

fof(formula,axiom,
    ? [R_0041_0002__PRESENTLY,R_0041_0008__HE,R_0041_0010__OUT,R_0041_0009__CAME,R_0041_0015__A_R_0041_0016__WHEELBARROW,R_0041_0013__CLIMBED,R_0041_0019__OVER,R_0041_0018__PEEPED,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_0010__out(R_0041_0010__OUT)
      & r_0041_0015__a_r_0041_0016__wheelbarrow(R_0041_0015__A_R_0041_0016__WHEELBARROW)
      & r_0041_0019__over(R_0041_0019__OVER)
      & 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_0018__peeped(R_0041_0018__PEEPED)
      & has_clr54(R_0041_0018__PEEPED,R_0041_0019__OVER)
      & has_arg0(R_0041_0018__PEEPED,R_0041_0008__HE)
      & has_nim4(R_0041_0018__PEEPED,R_0041_0002__PRESENTLY)
      & has_conj1(R_0041_0017__AND,R_0041_0013__CLIMBED)
      & r_0041_0013__climbed(R_0041_0013__CLIMBED)
      & has_r_0041_0014__upon_clr43(R_0041_0013__CLIMBED,R_0041_0015__A_R_0041_0016__WHEELBARROW)
      & has_arg0(R_0041_0013__CLIMBED,R_0041_0008__HE)
      & has_nim4(R_0041_0013__CLIMBED,R_0041_0002__PRESENTLY)
      & has_conj1(R_0041_0012__AND,R_0041_0009__CAME)
      & r_0041_0009__came(R_0041_0009__CAME)
      & has_clr27(R_0041_0009__CAME,R_0041_0010__OUT)
      & has_arg0(R_0041_0009__CAME,R_0041_0008__HE)
      & has_nim4(R_0041_0009__CAME,R_0041_0002__PRESENTLY)
      & ! [Z_000_41_A_POTTER_1902_13] :
          ( z_000_41_a_potter_1902_13(Z_000_41_A_POTTER_1902_13)
         => ? [R_0041_0006__HAPPENED] :
              ( r_0041_0006__happened(R_0041_0006__HAPPENED)
              & has_arg0(R_0041_0006__HAPPENED,Z_000_41_A_POTTER_1902_13) ) ) ) ).

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