TSPC 3_a_saint_exupery

3_a_saint_exupery_1943
It was a picture of a boa constrictor in the act of swallowing an animal.

( (IP-MAT (NP-SBJ;{ARTWORK} (PRO It;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D a;{a})
                  (N picture;{picture})
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (N boa;{boa})
                          (N constrictor;{constrictor})
                          (PP (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N act;{act})
                                  (PP (P-ROLE of;{of})
                                      (IP-PPL (VAG;_Tn_ swallowing;{swallow})
                                              (NP-OB1 (D an;{an})
                                                      (N animal;{animal})))))))))
          (PUNC .))
  (ID 3_a_saint_exupery_1943))

arc(r_0003_0002__was,r_0003_0001__It,arg0).
arc(r_0003_0002__was,r_0003_0003__a_r_0003_0004__picture,prd).
arc(r_0003_0003__a_r_0003_0004__picture,r_0003_0006__a_r_0003_0007__boa_r_0003_0008__constrictor,r_0003_0005__of).
arc(r_0003_0006__a_r_0003_0007__boa_r_0003_0008__constrictor,r_0003_0010__the_r_0003_0011__act,r_0003_0009__in).
arc(r_0003_0010__the_r_0003_0011__act,r_0003_0013__swallowing,r_0003_0012__of).
arc(r_0003_0013__swallowing,r_0003_0014__an_r_0003_0015__animal,arg1).
arc(r_0003_0013__swallowing,z_0003_5006,arg0).

fof(formula,axiom,
    ? [R_0003_0001__IT,R_0003_0014__AN_R_0003_0015__ANIMAL,Z_0003_5006,R_0003_0013__SWALLOWING,R_0003_0010__THE_R_0003_0011__ACT,R_0003_0006__A_R_0003_0007__BOA_R_0003_0008__CONSTRICTOR,R_0003_0003__A_R_0003_0004__PICTURE,R_0003_0002__WAS] :
      ( r_0003_0001__It(R_0003_0001__IT)
      & r_0003_0014__an_r_0003_0015__animal(R_0003_0014__AN_R_0003_0015__ANIMAL)
      & z_0003_5006(Z_0003_5006)
      & r_0003_0002__was(R_0003_0002__WAS)
      & has_prd(R_0003_0002__WAS,R_0003_0003__A_R_0003_0004__PICTURE)
      & r_0003_0003__a_r_0003_0004__picture(R_0003_0003__A_R_0003_0004__PICTURE)
      & has_r_0003_0005__of(R_0003_0003__A_R_0003_0004__PICTURE,R_0003_0006__A_R_0003_0007__BOA_R_0003_0008__CONSTRICTOR)
      & r_0003_0006__a_r_0003_0007__boa_r_0003_0008__constrictor(R_0003_0006__A_R_0003_0007__BOA_R_0003_0008__CONSTRICTOR)
      & has_r_0003_0009__in(R_0003_0006__A_R_0003_0007__BOA_R_0003_0008__CONSTRICTOR,R_0003_0010__THE_R_0003_0011__ACT)
      & r_0003_0010__the_r_0003_0011__act(R_0003_0010__THE_R_0003_0011__ACT)
      & has_r_0003_0012__of(R_0003_0010__THE_R_0003_0011__ACT,R_0003_0013__SWALLOWING)
      & r_0003_0013__swallowing(R_0003_0013__SWALLOWING)
      & has_arg0(R_0003_0013__SWALLOWING,Z_0003_5006)
      & has_arg1(R_0003_0013__SWALLOWING,R_0003_0014__AN_R_0003_0015__ANIMAL)
      & has_arg0(R_0003_0002__WAS,R_0003_0001__IT) ) ).