TSPC 21_a_saint_exupery

21_a_saint_exupery_1943
I had been disheartened by the failure of my Drawing Number One and my Drawing Number Two.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (VVN;_Tn_ disheartened;{dishearten})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D the;{the})
                                              (N failure;{failure})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NLYR (NLYR (NP-GEN (PRO;_genm_ my;{my}))
                                                                  (N Drawing;{drawing})
                                                                  (N Number;{number})
                                                                  (N One;{one}))
                                                            (CONJP (CONJ and;{and})
                                                                   (NLYR (NP-GEN (PRO;_genm_ my;{my}))
                                                                         (N Drawing;{drawing})
                                                                         (N Number;{number})
                                                                         (N Two;{two}))))))))))
          (PUNC .))
  (ID 21_a_saint_exupery_1943))

arc(r_0021_0002__had,r_0021_0003__been,scope).
arc(r_0021_0003__been,r_0021_0004__disheartened,scope).
arc(r_0021_0004__disheartened,r_0021_0001__I,arg1).
arc(r_0021_0004__disheartened,r_0021_0006__the_r_0021_0007__failure,r_0021_0005__by_arg0).
arc(r_0021_0006__the_r_0021_0007__failure,r_0021_0013__and,r_0021_0008__of).
arc(r_0021_0010__Drawing_r_0021_0011__Number_r_0021_0012__One,r_0021_0001__I,gen).
arc(r_0021_0013__and,r_0021_0010__Drawing_r_0021_0011__Number_r_0021_0012__One,conj1).
arc(r_0021_0013__and,r_0021_0015__Drawing_r_0021_0016__Number_r_0021_0017__Two,conj2).
arc(r_0021_0015__Drawing_r_0021_0016__Number_r_0021_0017__Two,r_0021_0001__I,gen).

fof(formula,axiom,
    ? [R_0021_0001__I,R_0021_0010__DRAWING_R_0021_0011__NUMBER_R_0021_0012__ONE,R_0021_0015__DRAWING_R_0021_0016__NUMBER_R_0021_0017__TWO,R_0021_0013__AND,R_0021_0006__THE_R_0021_0007__FAILURE,R_0021_0002__HAD_R_0021_0003__BEEN_R_0021_0004__DISHEARTENED] :
      ( r_0021_0001__I(R_0021_0001__I)
      & r_0021_0002__had_r_0021_0003__been_r_0021_0004__disheartened(R_0021_0002__HAD_R_0021_0003__BEEN_R_0021_0004__DISHEARTENED)
      & has_r_0021_0005__by_arg0(R_0021_0002__HAD_R_0021_0003__BEEN_R_0021_0004__DISHEARTENED,R_0021_0006__THE_R_0021_0007__FAILURE)
      & r_0021_0006__the_r_0021_0007__failure(R_0021_0006__THE_R_0021_0007__FAILURE)
      & has_r_0021_0008__of(R_0021_0006__THE_R_0021_0007__FAILURE,R_0021_0013__AND)
      & r_0021_0013__and(R_0021_0013__AND)
      & has_conj2(R_0021_0013__AND,R_0021_0015__DRAWING_R_0021_0016__NUMBER_R_0021_0017__TWO)
      & r_0021_0015__Drawing_r_0021_0016__Number_r_0021_0017__Two(R_0021_0015__DRAWING_R_0021_0016__NUMBER_R_0021_0017__TWO)
      & has_gen(R_0021_0015__DRAWING_R_0021_0016__NUMBER_R_0021_0017__TWO,R_0021_0001__I)
      & has_conj1(R_0021_0013__AND,R_0021_0010__DRAWING_R_0021_0011__NUMBER_R_0021_0012__ONE)
      & r_0021_0010__Drawing_r_0021_0011__Number_r_0021_0012__One(R_0021_0010__DRAWING_R_0021_0011__NUMBER_R_0021_0012__ONE)
      & has_gen(R_0021_0010__DRAWING_R_0021_0011__NUMBER_R_0021_0012__ONE,R_0021_0001__I)
      & has_arg1(R_0021_0002__HAD_R_0021_0003__BEEN_R_0021_0004__DISHEARTENED,R_0021_0001__I) ) ).