49_a_saint_exupery_1943
I jumped to my feet, completely thunderstruck.
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,
? [Z_49_A_SAINT_EXUPERY_1943_18,R_49_8_THUNDERSTRUCK,Z_49_A_SAINT_EXUPERY_1943_20,R_49_7_COMPLETELY,R_49_2_JUMPED,R_49_5_FEET,R_49_1_I] :
( completely(R_49_7_COMPLETELY)
& i(R_49_1_I)
& z_49_a_saint_exupery_1943_18(Z_49_A_SAINT_EXUPERY_1943_18)
& conj1(Z_49_A_SAINT_EXUPERY_1943_18,R_49_8_THUNDERSTRUCK)
& thunderstruck(R_49_8_THUNDERSTRUCK,Z_49_A_SAINT_EXUPERY_1943_20,R_49_1_I)
& nim22(R_49_8_THUNDERSTRUCK,R_49_7_COMPLETELY)
& conj2(Z_49_A_SAINT_EXUPERY_1943_18,R_49_2_JUMPED)
& jumped(R_49_2_JUMPED,R_49_1_I)
& to_nim10(R_49_2_JUMPED,R_49_5_FEET)
& feet(R_49_5_FEET)
& gen(R_49_5_FEET,R_49_1_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))