Context                Previous, Next                Top


88_a_saint_exupery_1943
So I tossed off this drawing.

%3 r_0088_0003__tossed_r_0088_0004__off tossed off r_0088_0001__So So r_0088_0003__tossed_r_0088_0004__off->r_0088_0001__So [nim] r_0088_0002__I I r_0088_0003__tossed_r_0088_0004__off->r_0088_0002__I [arg0] r_0088_0005__this_r_0088_0006__drawing this drawing r_0088_0003__tossed_r_0088_0004__off->r_0088_0005__this_r_0088_0006__drawing [arg1] 
arc(r_0088_0003__tossed_r_0088_0004__off, r_0088_0001__So, nim2).
arc(r_0088_0003__tossed_r_0088_0004__off, r_0088_0002__I, arg0).
arc(r_0088_0003__tossed_r_0088_0004__off, r_0088_0005__this_r_0088_0006__drawing, arg1).


%3 r_0088_0003__tossed_r_0088_0004__off tossed off r_0088_0005__this_r_0088_0006__drawing this drawing r_0088_0003__tossed_r_0088_0004__off->r_0088_0005__this_r_0088_0006__drawing [arg1] r_0088_0002__I I r_0088_0003__tossed_r_0088_0004__off->r_0088_0002__I [arg0] r_0088_0001__So So r_0088_0003__tossed_r_0088_0004__off->r_0088_0001__So [nim] 
fof(formula,axiom,
    ? [R_88_3_TOSSED_OFF,R_88_2_I,R_88_5_THIS_DRAWING,R_88_1_SO] :
      ( i(R_88_2_I)
      & this_drawing(R_88_5_THIS_DRAWING)
      & so(R_88_1_SO)
      & tossed_off(R_88_3_TOSSED_OFF,R_88_2_I,R_88_5_THIS_DRAWING)
      & nim2(R_88_3_TOSSED_OFF,R_88_1_SO) ) ).


n88_a_saint_exupery_1943 n88_a_saint_exupery_1943__1_1_1_1 So n88_a_saint_exupery_1943__1_2_1_1 I n88_a_saint_exupery_1943__1_3_1 tossed n88_a_saint_exupery_1943__1_4_1 off n88_a_saint_exupery_1943__1_5_1_1 this n88_a_saint_exupery_1943__1_5_2_1 drawing n88_a_saint_exupery_1943__1_6_1 . n88_a_saint_exupery_1943__1 IP-MAT n88_a_saint_exupery_1943__1_1 ADVP-NIM n88_a_saint_exupery_1943__1->n88_a_saint_exupery_1943__1_1 n88_a_saint_exupery_1943__1_2 NP-SBJ n88_a_saint_exupery_1943__1->n88_a_saint_exupery_1943__1_2 n88_a_saint_exupery_1943__1_3 VBD;_phr_Vn<=>p_ n88_a_saint_exupery_1943__1->n88_a_saint_exupery_1943__1_3 n88_a_saint_exupery_1943__1_4 RP n88_a_saint_exupery_1943__1->n88_a_saint_exupery_1943__1_4 n88_a_saint_exupery_1943__1_5 NP-OB1 n88_a_saint_exupery_1943__1->n88_a_saint_exupery_1943__1_5 n88_a_saint_exupery_1943__1_6 PUNC n88_a_saint_exupery_1943__1->n88_a_saint_exupery_1943__1_6 n88_a_saint_exupery_1943__1_1_1 ADV n88_a_saint_exupery_1943__1_1->n88_a_saint_exupery_1943__1_1_1 n88_a_saint_exupery_1943__1_1_1->n88_a_saint_exupery_1943__1_1_1_1 n88_a_saint_exupery_1943__1_2_1 PRO n88_a_saint_exupery_1943__1_2->n88_a_saint_exupery_1943__1_2_1 n88_a_saint_exupery_1943__1_2_1->n88_a_saint_exupery_1943__1_2_1_1 n88_a_saint_exupery_1943__1_3->n88_a_saint_exupery_1943__1_3_1 n88_a_saint_exupery_1943__1_4->n88_a_saint_exupery_1943__1_4_1 n88_a_saint_exupery_1943__1_5_1 D n88_a_saint_exupery_1943__1_5->n88_a_saint_exupery_1943__1_5_1 n88_a_saint_exupery_1943__1_5_2 N n88_a_saint_exupery_1943__1_5->n88_a_saint_exupery_1943__1_5_2 n88_a_saint_exupery_1943__1_5_1->n88_a_saint_exupery_1943__1_5_1_1 n88_a_saint_exupery_1943__1_5_2->n88_a_saint_exupery_1943__1_5_2_1 n88_a_saint_exupery_1943__1_6->n88_a_saint_exupery_1943__1_6_1 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (PRO I;{I}))
          (VBD;_phr_Vn<=>p_ tossed;{toss[off]})
          (RP off;{off})
          (NP-OB1;{ARTWORK} (D this;{this})
                            (N drawing;{drawing}))
          (PUNC .))
  (ID 88_a_saint_exupery_1943))