Context                Previous, Next                Top


8_a_saint_exupery_1943
My Drawing Number One.

%3 r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One Drawing Number One r_0008_0001__My My r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One->r_0008_0001__My [gen] z_000_8_a_saint_exupery_1943_1 z_000_8_a_saint_exupery_1943_1->r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One [nim] 
arc(r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One, r_0008_0001__My, gen).
arc(z_000_8_a_saint_exupery_1943_1, r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One, nim2).


%3 z_000_8_a_saint_exupery_1943_1 r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One Drawing Number One z_000_8_a_saint_exupery_1943_1->r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One [nim] r_0008_0001__My My r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One->r_0008_0001__My [gen] 
fof(formula,axiom,
    ? [R_0008_0001__MY,R_0008_0002__DRAWING_R_0008_0003__NUMBER_R_0008_0004__ONE,Z_000_8_A_SAINT_EXUPERY_1943_1] :
      ( r_0008_0001__My(R_0008_0001__MY)
      & z_000_8_a_saint_exupery_1943_1(Z_000_8_A_SAINT_EXUPERY_1943_1)
      & has_nim2(Z_000_8_A_SAINT_EXUPERY_1943_1,R_0008_0002__DRAWING_R_0008_0003__NUMBER_R_0008_0004__ONE)
      & r_0008_0002__Drawing_r_0008_0003__Number_r_0008_0004__One(R_0008_0002__DRAWING_R_0008_0003__NUMBER_R_0008_0004__ONE)
      & has_gen(R_0008_0002__DRAWING_R_0008_0003__NUMBER_R_0008_0004__ONE,R_0008_0001__MY) ) ).


n8_a_saint_exupery_1943 n8_a_saint_exupery_1943__1_1_1_1_1 My n8_a_saint_exupery_1943__1_1_2_1 Drawing n8_a_saint_exupery_1943__1_1_3_1 Number n8_a_saint_exupery_1943__1_1_4_1 One n8_a_saint_exupery_1943__1_2_1 . n8_a_saint_exupery_1943__1 FRAG n8_a_saint_exupery_1943__1_1 NP n8_a_saint_exupery_1943__1->n8_a_saint_exupery_1943__1_1 n8_a_saint_exupery_1943__1_2 PUNC n8_a_saint_exupery_1943__1->n8_a_saint_exupery_1943__1_2 n8_a_saint_exupery_1943__1_1_1 NP-GEN n8_a_saint_exupery_1943__1_1->n8_a_saint_exupery_1943__1_1_1 n8_a_saint_exupery_1943__1_1_2 N n8_a_saint_exupery_1943__1_1->n8_a_saint_exupery_1943__1_1_2 n8_a_saint_exupery_1943__1_1_3 N n8_a_saint_exupery_1943__1_1->n8_a_saint_exupery_1943__1_1_3 n8_a_saint_exupery_1943__1_1_4 N n8_a_saint_exupery_1943__1_1->n8_a_saint_exupery_1943__1_1_4 n8_a_saint_exupery_1943__1_1_1_1 PRO;_genm_ n8_a_saint_exupery_1943__1_1_1->n8_a_saint_exupery_1943__1_1_1_1 n8_a_saint_exupery_1943__1_1_1_1->n8_a_saint_exupery_1943__1_1_1_1_1 n8_a_saint_exupery_1943__1_1_2->n8_a_saint_exupery_1943__1_1_2_1 n8_a_saint_exupery_1943__1_1_3->n8_a_saint_exupery_1943__1_1_3_1 n8_a_saint_exupery_1943__1_1_4->n8_a_saint_exupery_1943__1_1_4_1 n8_a_saint_exupery_1943__1_2->n8_a_saint_exupery_1943__1_2_1 
( (FRAG (NP;{ARTWORK} (NP-GEN (PRO;_genm_ My;{my}))
                      (N Drawing;{drawing})
                      (N Number;{number})
                      (N One;{one}))
        (PUNC .))
  (ID 8_a_saint_exupery_1943))