Context                Previous, Next                Top


76_a_saint_exupery_1943
So then I made a drawing.

%3 r_0076_0004__made made r_0076_0001__So So r_0076_0004__made->r_0076_0001__So [nim] r_0076_0002__then then r_0076_0004__made->r_0076_0002__then [nim] r_0076_0003__I I r_0076_0004__made->r_0076_0003__I [arg0] r_0076_0005__a_r_0076_0006__drawing a drawing r_0076_0004__made->r_0076_0005__a_r_0076_0006__drawing [arg1] 
arc(r_0076_0004__made, r_0076_0001__So, nim2).
arc(r_0076_0004__made, r_0076_0002__then, nim5).
arc(r_0076_0004__made, r_0076_0003__I, arg0).
arc(r_0076_0004__made, r_0076_0005__a_r_0076_0006__drawing, arg1).


%3 r_0076_0004__made made r_0076_0005__a_r_0076_0006__drawing a drawing r_0076_0004__made->r_0076_0005__a_r_0076_0006__drawing [arg1] r_0076_0003__I I r_0076_0004__made->r_0076_0003__I [arg0] r_0076_0002__then then r_0076_0004__made->r_0076_0002__then [nim] r_0076_0001__So So r_0076_0004__made->r_0076_0001__So [nim] 
fof(formula,axiom,
    ? [R_76_4_MADE,R_76_3_I,R_76_5_A_DRAWING,R_76_1_SO,R_76_2_THEN] :
      ( i(R_76_3_I)
      & a_drawing(R_76_5_A_DRAWING)
      & so(R_76_1_SO)
      & then(R_76_2_THEN)
      & made(R_76_4_MADE,R_76_3_I,R_76_5_A_DRAWING)
      & nim2(R_76_4_MADE,R_76_1_SO)
      & nim5(R_76_4_MADE,R_76_2_THEN) ) ).


n76_a_saint_exupery_1943 n76_a_saint_exupery_1943__1_1_1_1 So n76_a_saint_exupery_1943__1_2_1_1 then n76_a_saint_exupery_1943__1_3_1_1 I n76_a_saint_exupery_1943__1_4_1 made n76_a_saint_exupery_1943__1_5_1_1 a n76_a_saint_exupery_1943__1_5_2_1 drawing n76_a_saint_exupery_1943__1_6_1 . n76_a_saint_exupery_1943__1 IP-MAT n76_a_saint_exupery_1943__1_1 ADVP-NIM n76_a_saint_exupery_1943__1->n76_a_saint_exupery_1943__1_1 n76_a_saint_exupery_1943__1_2 ADVP-NIM n76_a_saint_exupery_1943__1->n76_a_saint_exupery_1943__1_2 n76_a_saint_exupery_1943__1_3 NP-SBJ n76_a_saint_exupery_1943__1->n76_a_saint_exupery_1943__1_3 n76_a_saint_exupery_1943__1_4 VBD;__ n76_a_saint_exupery_1943__1->n76_a_saint_exupery_1943__1_4 n76_a_saint_exupery_1943__1_5 NP-OB1 n76_a_saint_exupery_1943__1->n76_a_saint_exupery_1943__1_5 n76_a_saint_exupery_1943__1_6 PUNC n76_a_saint_exupery_1943__1->n76_a_saint_exupery_1943__1_6 n76_a_saint_exupery_1943__1_1_1 ADV n76_a_saint_exupery_1943__1_1->n76_a_saint_exupery_1943__1_1_1 n76_a_saint_exupery_1943__1_1_1->n76_a_saint_exupery_1943__1_1_1_1 n76_a_saint_exupery_1943__1_2_1 ADV n76_a_saint_exupery_1943__1_2->n76_a_saint_exupery_1943__1_2_1 n76_a_saint_exupery_1943__1_2_1->n76_a_saint_exupery_1943__1_2_1_1 n76_a_saint_exupery_1943__1_3_1 PRO n76_a_saint_exupery_1943__1_3->n76_a_saint_exupery_1943__1_3_1 n76_a_saint_exupery_1943__1_3_1->n76_a_saint_exupery_1943__1_3_1_1 n76_a_saint_exupery_1943__1_4->n76_a_saint_exupery_1943__1_4_1 n76_a_saint_exupery_1943__1_5_1 D n76_a_saint_exupery_1943__1_5->n76_a_saint_exupery_1943__1_5_1 n76_a_saint_exupery_1943__1_5_2 N n76_a_saint_exupery_1943__1_5->n76_a_saint_exupery_1943__1_5_2 n76_a_saint_exupery_1943__1_5_1->n76_a_saint_exupery_1943__1_5_1_1 n76_a_saint_exupery_1943__1_5_2->n76_a_saint_exupery_1943__1_5_2_1 n76_a_saint_exupery_1943__1_6->n76_a_saint_exupery_1943__1_6_1 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (ADVP-NIM (ADV then;{then}))
          (NP-SBJ (PRO I;{I}))
          (VBD;__ made;{make})
          (NP-OB1;{ARTWORK} (D a;{a})
                            (N drawing;{drawing}))
          (PUNC .))
  (ID 76_a_saint_exupery_1943))