arc(r_0049_0002__jumped, r_0049_0001__I, arg0).
arc(r_0049_0002__jumped, r_0049_0005__feet, r_0049_0003__to_nim10).
arc(r_0049_0005__feet, r_0049_0001__I, gen).
arc(r_0049_0008__thunderstruck, r_0049_0001__I, arg1).
arc(r_0049_0008__thunderstruck, r_0049_0007__completely, nim22).
arc(r_0049_0008__thunderstruck, z_000_49_a_saint_exupery_1943_20, arg0).
arc(z_000_49_a_saint_exupery_1943_18, r_0049_0002__jumped, scope).
arc(z_000_49_a_saint_exupery_1943_18, r_0049_0008__thunderstruck, restriction).

fof(formula,axiom,
    ? [R_0049_0001__I,R_0049_0005__FEET,R_0049_0002__JUMPED,R_0049_0007__COMPLETELY,Z_000_49_A_SAINT_EXUPERY_1943_20,R_0049_0008__THUNDERSTRUCK,Z_000_49_A_SAINT_EXUPERY_1943_18] :
      ( r_0049_0001__I(R_0049_0001__I)
      & r_0049_0007__completely(R_0049_0007__COMPLETELY)
      & z_000_49_a_saint_exupery_1943_20(Z_000_49_A_SAINT_EXUPERY_1943_20)
      & z_000_49_a_saint_exupery_1943_18(Z_000_49_A_SAINT_EXUPERY_1943_18)
      & has_conj1(Z_000_49_A_SAINT_EXUPERY_1943_18,R_0049_0008__THUNDERSTRUCK)
      & r_0049_0008__thunderstruck(R_0049_0008__THUNDERSTRUCK)
      & has_arg0(R_0049_0008__THUNDERSTRUCK,Z_000_49_A_SAINT_EXUPERY_1943_20)
      & has_nim22(R_0049_0008__THUNDERSTRUCK,R_0049_0007__COMPLETELY)
      & has_arg1(R_0049_0008__THUNDERSTRUCK,R_0049_0001__I)
      & has_conj2(Z_000_49_A_SAINT_EXUPERY_1943_18,R_0049_0002__JUMPED)
      & r_0049_0002__jumped(R_0049_0002__JUMPED)
      & has_r_0049_0003__to_nim10(R_0049_0002__JUMPED,R_0049_0005__FEET)
      & r_0049_0005__feet(R_0049_0005__FEET)
      & has_gen(R_0049_0005__FEET,R_0049_0001__I)
      & has_arg0(R_0049_0002__JUMPED,R_0049_0001__I) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ jumped;{jump})
          (PP-NIM (P-ROLE to;{to})
                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                      (NS feet;{foot})))
          (PUNC ,)
          (PP-SCON (IP-PPL (NP-LGS *)
                           (ADVP-NIM (ADV completely;{completely}))
                           (VVN;__ thunderstruck;{thunderstruck})))
          (PUNC .))
  (ID 49_a_saint_exupery_1943))