TSPC 7_a_saint_exupery

7_a_saint_exupery_1943
And after some work with a colored pencil I succeeded in making my first drawing.

( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-NIM (P-ROLE after;{after})
                  (NP (D some;{some})
                      (N work;{work})
                      (PP (P-ROLE with;{with})
                          (NP (D a;{a})
                              (ADJP (ADJ colored;{colored}))
                              (N pencil;{pencil})))))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Ipr_ succeeded;{succeed[in]})
          (PP-CLR (P-ROLE in;{in})
                  (IP-PPL (VAG;_Tn_ making;{make})
                          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                  (NUM first;{first})
                                  (N drawing;{drawing}))))
          (PUNC .))
  (ID 7_a_saint_exupery_1943))

arc(r_0007_0003__some_r_0007_0004__work,r_0007_0006__a_r_0007_0008__pencil,r_0007_0005__with).
arc(r_0007_0006__a_r_0007_0008__pencil,r_0007_0007__colored,attrib).
arc(r_0007_0010__succeeded,r_0007_0003__some_r_0007_0004__work,r_0007_0002__after__nim).
arc(r_0007_0010__succeeded,r_0007_0009__I,arg0).
arc(r_0007_0010__succeeded,r_0007_0012__making,r_0007_0011__in__clr).
arc(r_0007_0012__making,r_0007_0009__I,arg0).
arc(r_0007_0012__making,r_0007_0014__first_r_0007_0015__drawing,arg1).
arc(r_0007_0014__first_r_0007_0015__drawing,r_0007_0009__I,gen).

fof(formula,axiom,
    ? [R_0007_0007__COLORED,R_0007_0006__A_R_0007_0008__PENCIL,R_0007_0003__SOME_R_0007_0004__WORK,R_0007_0009__I,R_0007_0014__FIRST_R_0007_0015__DRAWING,R_0007_0012__MAKING,R_0007_0010__SUCCEEDED] :
      ( r_0007_0007__colored(R_0007_0007__COLORED)
      & r_0007_0009__I(R_0007_0009__I)
      & r_0007_0010__succeeded(R_0007_0010__SUCCEEDED)
      & has_r_0007_0011__in__clr(R_0007_0010__SUCCEEDED,R_0007_0012__MAKING)
      & r_0007_0012__making(R_0007_0012__MAKING)
      & has_arg1(R_0007_0012__MAKING,R_0007_0014__FIRST_R_0007_0015__DRAWING)
      & r_0007_0014__first_r_0007_0015__drawing(R_0007_0014__FIRST_R_0007_0015__DRAWING)
      & has_gen(R_0007_0014__FIRST_R_0007_0015__DRAWING,R_0007_0009__I)
      & has_arg0(R_0007_0012__MAKING,R_0007_0009__I)
      & has_arg0(R_0007_0010__SUCCEEDED,R_0007_0009__I)
      & has_r_0007_0002__after__nim(R_0007_0010__SUCCEEDED,R_0007_0003__SOME_R_0007_0004__WORK)
      & r_0007_0003__some_r_0007_0004__work(R_0007_0003__SOME_R_0007_0004__WORK)
      & has_r_0007_0005__with(R_0007_0003__SOME_R_0007_0004__WORK,R_0007_0006__A_R_0007_0008__PENCIL)
      & r_0007_0006__a_r_0007_0008__pencil(R_0007_0006__A_R_0007_0008__PENCIL)
      & has_attrib(R_0007_0006__A_R_0007_0008__PENCIL,R_0007_0007__COLORED) ) ).