16_a_saint_exupery_1943
I drew the inside of the boa constrictor, so that the grown-ups could see it clearly.
arc(r_0016_0002__drew, r_0016_0001__I, arg0).
arc(r_0016_0002__drew, r_0016_0003__the_r_0016_0004__inside, arg1).
arc(r_0016_0003__the_r_0016_0004__inside, r_0016_0006__the_r_0016_0007__boa_r_0016_0008__constrictor, r_0016_0005__of).
arc(r_0016_0010__so_that, r_0016_0002__drew, scope).
arc(r_0016_0010__so_that, r_0016_0013__could, restriction).
arc(r_0016_0013__could, r_0016_0014__see, scope).
arc(r_0016_0014__see, r_0016_0003__the_r_0016_0004__inside, arg1).
arc(r_0016_0014__see, r_0016_0011__the_r_0016_0012__grown__hyphen__ups, arg0).
arc(r_0016_0014__see, r_0016_0016__clearly, nim41).
fof(formula,axiom,
? [R_16_10_SO_THAT,R_16_13_COULD_SEE,R_16_11_THE_GROWN_HYPHEN_UPS,R_16_16_CLEARLY,R_16_2_DREW,R_16_1_I,R_16_3_THE_INSIDE,R_16_6_THE_BOA_CONSTRICTOR] :
( the_grown_hyphen_ups(R_16_11_THE_GROWN_HYPHEN_UPS)
& clearly(R_16_16_CLEARLY)
& i(R_16_1_I)
& the_boa_constrictor(R_16_6_THE_BOA_CONSTRICTOR)
& so_that(R_16_10_SO_THAT)
& conj1(R_16_10_SO_THAT,R_16_13_COULD_SEE)
& could_see(R_16_13_COULD_SEE,R_16_11_THE_GROWN_HYPHEN_UPS,R_16_3_THE_INSIDE)
& the_inside(R_16_3_THE_INSIDE)
& of(R_16_3_THE_INSIDE,R_16_6_THE_BOA_CONSTRICTOR)
& nim41(R_16_13_COULD_SEE,R_16_16_CLEARLY)
& conj2(R_16_10_SO_THAT,R_16_2_DREW)
& drew(R_16_2_DREW,R_16_1_I,R_16_3_THE_INSIDE) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_Tn_ drew;{draw})
(NP-OB1;{INSIDE} (D the;{the})
(N inside;{inside})
(PP (P-ROLE of;{of})
(NP;{BOA} (D the;{the})
(N boa;{boa})
(N constrictor;{constrictor}))))
(PUNC ,)
(PP-SCON (P-CONN so_that;{so_that})
(IP-ADV (NP-SBJ;{PERSONS} (D the;{the})
(NS grown_<hyphen>_ups;{grown_ups}))
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (VB;_Tn_ see;{see})
(NP-OB1;{INSIDE} (PRO it;{it}))
(ADVP-NIM (ADV clearly;{clearly})))))
(PUNC .))
(ID 16_a_saint_exupery_1943))