TSPC 16_a_saint_exupery

16_a_saint_exupery_1943
I drew the inside of the boa constrictor, so that the grown-ups could see it clearly.

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

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,nim).

fof(formula,axiom,
    ? [R_0016_0001__I,R_0016_0006__THE_R_0016_0007__BOA_R_0016_0008__CONSTRICTOR,R_0016_0003__THE_R_0016_0004__INSIDE,R_0016_0002__DREW,R_0016_0011__THE_R_0016_0012__GROWN__HYPHEN__UPS,R_0016_0016__CLEARLY,R_0016_0013__COULD_R_0016_0014__SEE,R_0016_0010__SO_THAT] :
      ( r_0016_0001__I(R_0016_0001__I)
      & r_0016_0006__the_r_0016_0007__boa_r_0016_0008__constrictor(R_0016_0006__THE_R_0016_0007__BOA_R_0016_0008__CONSTRICTOR)
      & r_0016_0011__the_r_0016_0012__grown__hyphen__ups(R_0016_0011__THE_R_0016_0012__GROWN__HYPHEN__UPS)
      & r_0016_0016__clearly(R_0016_0016__CLEARLY)
      & r_0016_0010__so_that(R_0016_0010__SO_THAT)
      & has_conj1(R_0016_0010__SO_THAT,R_0016_0013__COULD_R_0016_0014__SEE)
      & r_0016_0013__could_r_0016_0014__see(R_0016_0013__COULD_R_0016_0014__SEE)
      & has_nim(R_0016_0013__COULD_R_0016_0014__SEE,R_0016_0016__CLEARLY)
      & has_arg0(R_0016_0013__COULD_R_0016_0014__SEE,R_0016_0011__THE_R_0016_0012__GROWN__HYPHEN__UPS)
      & has_arg1(R_0016_0013__COULD_R_0016_0014__SEE,R_0016_0003__THE_R_0016_0004__INSIDE)
      & r_0016_0003__the_r_0016_0004__inside(R_0016_0003__THE_R_0016_0004__INSIDE)
      & has_r_0016_0005__of(R_0016_0003__THE_R_0016_0004__INSIDE,R_0016_0006__THE_R_0016_0007__BOA_R_0016_0008__CONSTRICTOR)
      & has_conj2(R_0016_0010__SO_THAT,R_0016_0002__DREW)
      & r_0016_0002__drew(R_0016_0002__DREW)
      & has_arg1(R_0016_0002__DREW,R_0016_0003__THE_R_0016_0004__INSIDE)
      & has_arg0(R_0016_0002__DREW,R_0016_0001__I) ) ).