arc(r_0006_0002__clambered, r_0006_0001__Mickey, arg0).
arc(r_0006_0002__clambered, r_0006_0003__up, clr9).
arc(r_0006_0002__clambered, r_0006_0006__puppy_r_0006_0007__ways, r_0006_0004__in_nim15).
arc(r_0006_0006__puppy_r_0006_0007__ways, r_0006_0001__Mickey, gen).
arc(r_0006_0008__and, r_0006_0002__clambered, conj1).
arc(r_0006_0008__and, r_0006_0019__and, conj2).
arc(r_0006_0009__when, r_0006_0010__arriving, restriction).
arc(r_0006_0009__when, r_0006_0016__realised, scope).
arc(r_0006_0010__arriving, r_0006_0001__Mickey, arg0).
arc(r_0006_0010__arriving, r_0006_0012__the_r_0006_0013__top_r_0006_0014__step, r_0006_0011__on_clr38).
arc(r_0006_0016__realised, r_0006_0001__Mickey, arg0).
arc(r_0006_0016__realised, r_0006_0017__the_r_0006_0018__height, arg1).
arc(r_0006_0019__and, r_0006_0009__when, conj1).
arc(r_0006_0019__and, r_0006_0023__not, conj2).
arc(r_0006_0021__terror, r_0006_0001__Mickey, gen).
arc(r_0006_0022__would, r_0006_0024__let, scope).
arc(r_0006_0023__not, r_0006_0022__would, keep_scope).
arc(r_0006_0024__let, r_0006_0001__Mickey, arg1).
arc(r_0006_0024__let, r_0006_0021__terror, arg0).
arc(r_0006_0024__let, r_0006_0026__go, prd).
arc(r_0006_0026__go, r_0006_0027__down, clr78).
arc(r_0006_0026__go, x_000_6_a_stories_10_k58_75, arg0).

fof(formula,axiom,
    ? [R_0006_0001__MICKEY,R_0006_0003__UP,R_0006_0006__PUPPY_R_0006_0007__WAYS,R_0006_0002__CLAMBERED,R_0006_0019__AND,R_0006_0008__AND] :
      ( r_0006_0001__Mickey(R_0006_0001__MICKEY)
      & r_0006_0003__up(R_0006_0003__UP)
      & r_0006_0008__and(R_0006_0008__AND)
      & has_conj2(R_0006_0008__AND,R_0006_0019__AND)
      & r_0006_0019__and(R_0006_0019__AND)
      & has_conj2(R_0006_0019__AND,R_0006_0023__NOT)
      & ~ ? [R_0006_0021__TERROR,R_0006_0027__DOWN,X_000_6_A_STORIES_10_K58_75,R_0006_0026__GO,R_0006_0022__WOULD_R_0006_0024__LET] :
            ( r_0006_0027__down(R_0006_0027__DOWN)
            & x_000_6_a_stories_10_k58_75(X_000_6_A_STORIES_10_K58_75)
            & r_0006_0022__would_r_0006_0024__let(R_0006_0022__WOULD_R_0006_0024__LET)
            & has_prd(R_0006_0022__WOULD_R_0006_0024__LET,R_0006_0026__GO)
            & r_0006_0026__go(R_0006_0026__GO)
            & has_arg0(R_0006_0026__GO,X_000_6_A_STORIES_10_K58_75)
            & has_clr78(R_0006_0026__GO,R_0006_0027__DOWN)
            & has_arg0(R_0006_0022__WOULD_R_0006_0024__LET,R_0006_0021__TERROR)
            & r_0006_0021__terror(R_0006_0021__TERROR)
            & has_gen(R_0006_0021__TERROR,R_0006_0001__MICKEY)
            & has_arg1(R_0006_0022__WOULD_R_0006_0024__LET,R_0006_0001__MICKEY) )
      & ! [R_0006_0010__ARRIVING,R_0006_0012__THE_R_0006_0013__TOP_R_0006_0014__STEP] :
          ( ( r_0006_0012__the_r_0006_0013__top_r_0006_0014__step(R_0006_0012__THE_R_0006_0013__TOP_R_0006_0014__STEP)
            & r_0006_0010__arriving(R_0006_0010__ARRIVING)
            & has_r_0006_0011__on_clr38(R_0006_0010__ARRIVING,R_0006_0012__THE_R_0006_0013__TOP_R_0006_0014__STEP)
            & has_arg0(R_0006_0010__ARRIVING,R_0006_0001__MICKEY) )
         => ? [R_0006_0017__THE_R_0006_0018__HEIGHT,R_0006_0016__REALISED] :
              ( r_0006_0017__the_r_0006_0018__height(R_0006_0017__THE_R_0006_0018__HEIGHT)
              & r_0006_0016__realised(R_0006_0016__REALISED)
              & has_arg1(R_0006_0016__REALISED,R_0006_0017__THE_R_0006_0018__HEIGHT)
              & has_arg0(R_0006_0016__REALISED,R_0006_0001__MICKEY) ) )
      & has_conj1(R_0006_0008__AND,R_0006_0002__CLAMBERED)
      & r_0006_0002__clambered(R_0006_0002__CLAMBERED)
      & has_r_0006_0004__in_nim15(R_0006_0002__CLAMBERED,R_0006_0006__PUPPY_R_0006_0007__WAYS)
      & r_0006_0006__puppy_r_0006_0007__ways(R_0006_0006__PUPPY_R_0006_0007__WAYS)
      & has_gen(R_0006_0006__PUPPY_R_0006_0007__WAYS,R_0006_0001__MICKEY)
      & has_clr9(R_0006_0002__CLAMBERED,R_0006_0003__UP)
      & has_arg0(R_0006_0002__CLAMBERED,R_0006_0001__MICKEY) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{MICKEY} (NPR Mickey;{Mickey}))
                      (VBD;_Ip_ clambered;{clamber[up]})
                      (ADVP-CLR (RP up;{up}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NP-GEN;{MICKEY} (PRO;_genm_ his;{his}))
                                  (N puppy;{puppy})
                                  (NS ways;{way}))))
                (CONJP (CONJ and;{and})
                       (ILYR (ILYR (ILYR (PP-SCON (P-CONN when;{when})
                                                  (IP-PPL2 (VAG;_Ipr_ arriving;{arrive[on]})
                                                           (PP-CLR (P-ROLE on;{on})
                                                                   (NP (D the;{the})
                                                                       (N top;{top})
                                                                       (N step;{step})))))
                                         (NP-SBJ;{MICKEY} (PRO he;{he}))
                                         (VBD;_Tn_ realised;{realise})
                                         (NP-OB1 (D the;{the})
                                                 (N height;{height})))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (NP-GEN;{MICKEY} (PRO;_genm_ his;{his}))
                                                        (N terror;{terror}))
                                                (MD;_cat_Vi_ would;{will})
                                                (NEG not;{not})
                                                (IP-INF-CAT (VB;_Cn.i_ let;{let})
                                                            (NP-OB1;{MICKEY} (PRO him;{he}))
                                                            (IP-INF-PRD (VB;_Ip_ go;{go[down]})
                                                                        (ADVP-CLR (RP down;{down}))))))))))
          (PUNC .))
  (ID 6_a_stories_10_k58))