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_41_4_AS,R_41_12_AND,R_41_9_CAME,R_41_10_OUT,R_41_17_AND,R_41_13_CLIMBED,R_41_15_A_WHEELBARROW,R_41_18_PEEPED,R_41_8_HE,R_41_19_OVER,R_41_2_PRESENTLY] :
      ( out(R_41_10_OUT)
      & a_wheelbarrow(R_41_15_A_WHEELBARROW)
      & he(R_41_8_HE)
      & over(R_41_19_OVER)
      & presently(R_41_2_PRESENTLY)
      & ! [Z_41_A_POTTER_1902_13] :
          ( true
         => ? [R_41_6_HAPPENED] : happened(R_41_6_HAPPENED,Z_41_A_POTTER_1902_13) )
      & conj1(CONJ1)
      & as(R_41_4_AS)
      & conj2(R_41_4_AS,R_41_12_AND)
      & and(R_41_12_AND)
      & conj1(R_41_12_AND,R_41_9_CAME)
      & came(R_41_9_CAME,R_41_8_HE)
      & clr27(R_41_9_CAME,R_41_10_OUT)
      & nim4(R_41_9_CAME,R_41_2_PRESENTLY)
      & conj2(R_41_12_AND,R_41_17_AND)
      & and(R_41_17_AND)
      & conj1(R_41_17_AND,R_41_13_CLIMBED)
      & climbed(R_41_13_CLIMBED,R_41_8_HE)
      & nim4(R_41_13_CLIMBED,R_41_2_PRESENTLY)
      & upon_clr43(R_41_13_CLIMBED,R_41_15_A_WHEELBARROW)
      & conj2(R_41_17_AND,R_41_18_PEEPED)
      & peeped(R_41_18_PEEPED,R_41_8_HE)
      & clr54(R_41_18_PEEPED,R_41_19_OVER)
      & nim4(R_41_18_PEEPED,R_41_2_PRESENTLY) ) ).

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