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

arc(r_0049_0002__jumped,r_0049_0001__I,arg0).
arc(r_0049_0002__jumped,r_0049_0005__feet,r_0049_0003__to__nim).
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,nim).
arc(r_0049_0008__thunderstruck,z_0049_5004___star_,arg0).
arc(z_0049_5001,r_0049_0002__jumped,scope).
arc(z_0049_5001,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_0049_5004___STAR_,R_0049_0008__THUNDERSTRUCK,Z_0049_5001] :
      ( r_0049_0001__I(R_0049_0001__I)
      & r_0049_0007__completely(R_0049_0007__COMPLETELY)
      & z_0049_5004___star_(Z_0049_5004___STAR_)
      & z_0049_5001(Z_0049_5001)
      & has_conj1(Z_0049_5001,R_0049_0008__THUNDERSTRUCK)
      & r_0049_0008__thunderstruck(R_0049_0008__THUNDERSTRUCK)
      & has_arg0(R_0049_0008__THUNDERSTRUCK,Z_0049_5004___STAR_)
      & has_nim(R_0049_0008__THUNDERSTRUCK,R_0049_0007__COMPLETELY)
      & has_arg1(R_0049_0008__THUNDERSTRUCK,R_0049_0001__I)
      & has_conj2(Z_0049_5001,R_0049_0002__JUMPED)
      & r_0049_0002__jumped(R_0049_0002__JUMPED)
      & has_r_0049_0003__to__nim(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) ) ).