Context                Previous, Next                Top


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

%3 r_0007_0001__And_r_0007_0010__succeeded And succeeded r_0007_0003__some_r_0007_0004__work some work r_0007_0001__And_r_0007_0010__succeeded->r_0007_0003__some_r_0007_0004__work after [nim] r_0007_0009__I I r_0007_0001__And_r_0007_0010__succeeded->r_0007_0009__I [arg0] r_0007_0012__making making r_0007_0001__And_r_0007_0010__succeeded->r_0007_0012__making in [clr] r_0007_0006__a_r_0007_0008__pencil a pencil r_0007_0003__some_r_0007_0004__work->r_0007_0006__a_r_0007_0008__pencil with r_0007_0014__first_r_0007_0015__drawing first drawing r_0007_0012__making->r_0007_0014__first_r_0007_0015__drawing [arg1] z_000_7_a_saint_exupery_1943_31 r_0007_0012__making->z_000_7_a_saint_exupery_1943_31 [arg0] r_0007_0007__colored colored r_0007_0006__a_r_0007_0008__pencil->r_0007_0007__colored [attrib] r_0007_0014__first_r_0007_0015__drawing->r_0007_0009__I [gen] 
arc(r_0007_0001__And_r_0007_0010__succeeded, r_0007_0003__some_r_0007_0004__work, r_0007_0002__after_nim7).
arc(r_0007_0001__And_r_0007_0010__succeeded, r_0007_0009__I, arg0).
arc(r_0007_0001__And_r_0007_0010__succeeded, r_0007_0012__making, r_0007_0011__in_clr31).
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, attrib18).
arc(r_0007_0012__making, r_0007_0014__first_r_0007_0015__drawing, arg1).
arc(r_0007_0012__making, z_000_7_a_saint_exupery_1943_31, arg0).
arc(r_0007_0014__first_r_0007_0015__drawing, r_0007_0009__I, gen).


%3 r_0007_0014__first_r_0007_0015__drawing first drawing r_0007_0009__I I r_0007_0014__first_r_0007_0015__drawing->r_0007_0009__I [gen] r_0007_0012__making making r_0007_0012__making->r_0007_0014__first_r_0007_0015__drawing [arg1] z_000_7_a_saint_exupery_1943_31 r_0007_0012__making->z_000_7_a_saint_exupery_1943_31 [arg0] r_0007_0006__a_r_0007_0008__pencil a pencil r_0007_0007__colored colored r_0007_0006__a_r_0007_0008__pencil->r_0007_0007__colored [attrib] r_0007_0003__some_r_0007_0004__work some work r_0007_0003__some_r_0007_0004__work->r_0007_0006__a_r_0007_0008__pencil with r_0007_0001__And_r_0007_0010__succeeded And succeeded r_0007_0001__And_r_0007_0010__succeeded->r_0007_0009__I [arg0] r_0007_0001__And_r_0007_0010__succeeded->r_0007_0012__making in [clr] r_0007_0001__And_r_0007_0010__succeeded->r_0007_0003__some_r_0007_0004__work after [nim] 
fof(formula,axiom,
    ? [R_7_1_AND_SUCCEEDED,R_7_3_SOME_WORK,R_7_6_A_PENCIL,R_7_7_COLORED,R_7_12_MAKING,Z_7_A_SAINT_EXUPERY_1943_31,R_7_14_FIRST_DRAWING,R_7_9_I] :
      ( colored(R_7_7_COLORED)
      & i(R_7_9_I)
      & and_succeeded(R_7_1_AND_SUCCEEDED,R_7_9_I)
      & after_nim7(R_7_1_AND_SUCCEEDED,R_7_3_SOME_WORK)
      & some_work(R_7_3_SOME_WORK)
      & with(R_7_3_SOME_WORK,R_7_6_A_PENCIL)
      & a_pencil(R_7_6_A_PENCIL)
      & attrib18(R_7_6_A_PENCIL,R_7_7_COLORED)
      & in_clr31(R_7_1_AND_SUCCEEDED,R_7_12_MAKING)
      & making(R_7_12_MAKING,Z_7_A_SAINT_EXUPERY_1943_31,R_7_14_FIRST_DRAWING)
      & first_drawing(R_7_14_FIRST_DRAWING)
      & gen(R_7_14_FIRST_DRAWING,R_7_9_I) ) ).


n7_a_saint_exupery_1943 n7_a_saint_exupery_1943__1_1_1 And n7_a_saint_exupery_1943__1_2_1_1 after n7_a_saint_exupery_1943__1_2_2_1_1 some n7_a_saint_exupery_1943__1_2_2_2_1 work n7_a_saint_exupery_1943__1_2_2_3_1_1 with n7_a_saint_exupery_1943__1_2_2_3_2_1_1 a n7_a_saint_exupery_1943__1_2_2_3_2_2_1_1 colored n7_a_saint_exupery_1943__1_2_2_3_2_3_1 pencil n7_a_saint_exupery_1943__1_3_1_1 I n7_a_saint_exupery_1943__1_4_1 succeeded n7_a_saint_exupery_1943__1_5_1_1 in n7_a_saint_exupery_1943__1_5_2_1_1 making n7_a_saint_exupery_1943__1_5_2_2_1_1_1 my n7_a_saint_exupery_1943__1_5_2_2_2_1 first n7_a_saint_exupery_1943__1_5_2_2_3_1 drawing n7_a_saint_exupery_1943__1_6_1 . n7_a_saint_exupery_1943__1 IP-MAT n7_a_saint_exupery_1943__1_1 CONJ;_cl_ n7_a_saint_exupery_1943__1->n7_a_saint_exupery_1943__1_1 n7_a_saint_exupery_1943__1_2 PP-NIM n7_a_saint_exupery_1943__1->n7_a_saint_exupery_1943__1_2 n7_a_saint_exupery_1943__1_3 NP-SBJ n7_a_saint_exupery_1943__1->n7_a_saint_exupery_1943__1_3 n7_a_saint_exupery_1943__1_4 VBD;_Ipr_ n7_a_saint_exupery_1943__1->n7_a_saint_exupery_1943__1_4 n7_a_saint_exupery_1943__1_5 PP-CLR n7_a_saint_exupery_1943__1->n7_a_saint_exupery_1943__1_5 n7_a_saint_exupery_1943__1_6 PUNC n7_a_saint_exupery_1943__1->n7_a_saint_exupery_1943__1_6 n7_a_saint_exupery_1943__1_1->n7_a_saint_exupery_1943__1_1_1 n7_a_saint_exupery_1943__1_2_1 P-ROLE n7_a_saint_exupery_1943__1_2->n7_a_saint_exupery_1943__1_2_1 n7_a_saint_exupery_1943__1_2_2 NP n7_a_saint_exupery_1943__1_2->n7_a_saint_exupery_1943__1_2_2 n7_a_saint_exupery_1943__1_2_1->n7_a_saint_exupery_1943__1_2_1_1 n7_a_saint_exupery_1943__1_2_2_1 D n7_a_saint_exupery_1943__1_2_2->n7_a_saint_exupery_1943__1_2_2_1 n7_a_saint_exupery_1943__1_2_2_2 N n7_a_saint_exupery_1943__1_2_2->n7_a_saint_exupery_1943__1_2_2_2 n7_a_saint_exupery_1943__1_2_2_3 PP n7_a_saint_exupery_1943__1_2_2->n7_a_saint_exupery_1943__1_2_2_3 n7_a_saint_exupery_1943__1_2_2_1->n7_a_saint_exupery_1943__1_2_2_1_1 n7_a_saint_exupery_1943__1_2_2_2->n7_a_saint_exupery_1943__1_2_2_2_1 n7_a_saint_exupery_1943__1_2_2_3_1 P-ROLE n7_a_saint_exupery_1943__1_2_2_3->n7_a_saint_exupery_1943__1_2_2_3_1 n7_a_saint_exupery_1943__1_2_2_3_2 NP n7_a_saint_exupery_1943__1_2_2_3->n7_a_saint_exupery_1943__1_2_2_3_2 n7_a_saint_exupery_1943__1_2_2_3_1->n7_a_saint_exupery_1943__1_2_2_3_1_1 n7_a_saint_exupery_1943__1_2_2_3_2_1 D n7_a_saint_exupery_1943__1_2_2_3_2->n7_a_saint_exupery_1943__1_2_2_3_2_1 n7_a_saint_exupery_1943__1_2_2_3_2_2 ADJP n7_a_saint_exupery_1943__1_2_2_3_2->n7_a_saint_exupery_1943__1_2_2_3_2_2 n7_a_saint_exupery_1943__1_2_2_3_2_3 N n7_a_saint_exupery_1943__1_2_2_3_2->n7_a_saint_exupery_1943__1_2_2_3_2_3 n7_a_saint_exupery_1943__1_2_2_3_2_1->n7_a_saint_exupery_1943__1_2_2_3_2_1_1 n7_a_saint_exupery_1943__1_2_2_3_2_2_1 ADJ n7_a_saint_exupery_1943__1_2_2_3_2_2->n7_a_saint_exupery_1943__1_2_2_3_2_2_1 n7_a_saint_exupery_1943__1_2_2_3_2_2_1->n7_a_saint_exupery_1943__1_2_2_3_2_2_1_1 n7_a_saint_exupery_1943__1_2_2_3_2_3->n7_a_saint_exupery_1943__1_2_2_3_2_3_1 n7_a_saint_exupery_1943__1_3_1 PRO n7_a_saint_exupery_1943__1_3->n7_a_saint_exupery_1943__1_3_1 n7_a_saint_exupery_1943__1_3_1->n7_a_saint_exupery_1943__1_3_1_1 n7_a_saint_exupery_1943__1_4->n7_a_saint_exupery_1943__1_4_1 n7_a_saint_exupery_1943__1_5_1 P-ROLE n7_a_saint_exupery_1943__1_5->n7_a_saint_exupery_1943__1_5_1 n7_a_saint_exupery_1943__1_5_2 IP-PPL n7_a_saint_exupery_1943__1_5->n7_a_saint_exupery_1943__1_5_2 n7_a_saint_exupery_1943__1_5_1->n7_a_saint_exupery_1943__1_5_1_1 n7_a_saint_exupery_1943__1_5_2_1 VAG;_Tn_ n7_a_saint_exupery_1943__1_5_2->n7_a_saint_exupery_1943__1_5_2_1 n7_a_saint_exupery_1943__1_5_2_2 NP-OB1 n7_a_saint_exupery_1943__1_5_2->n7_a_saint_exupery_1943__1_5_2_2 n7_a_saint_exupery_1943__1_5_2_1->n7_a_saint_exupery_1943__1_5_2_1_1 n7_a_saint_exupery_1943__1_5_2_2_1 NP-GEN n7_a_saint_exupery_1943__1_5_2_2->n7_a_saint_exupery_1943__1_5_2_2_1 n7_a_saint_exupery_1943__1_5_2_2_2 NUM n7_a_saint_exupery_1943__1_5_2_2->n7_a_saint_exupery_1943__1_5_2_2_2 n7_a_saint_exupery_1943__1_5_2_2_3 N n7_a_saint_exupery_1943__1_5_2_2->n7_a_saint_exupery_1943__1_5_2_2_3 n7_a_saint_exupery_1943__1_5_2_2_1_1 PRO;_genm_ n7_a_saint_exupery_1943__1_5_2_2_1->n7_a_saint_exupery_1943__1_5_2_2_1_1 n7_a_saint_exupery_1943__1_5_2_2_1_1->n7_a_saint_exupery_1943__1_5_2_2_1_1_1 n7_a_saint_exupery_1943__1_5_2_2_2->n7_a_saint_exupery_1943__1_5_2_2_2_1 n7_a_saint_exupery_1943__1_5_2_2_3->n7_a_saint_exupery_1943__1_5_2_2_3_1 n7_a_saint_exupery_1943__1_6->n7_a_saint_exupery_1943__1_6_1 
( (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))