Context                Previous, Next                Top


48_a_saint_exupery_1943
“Draw me a sheep!”

%3 r_0048_0002__Draw Draw r_0048_0003__me me r_0048_0002__Draw->r_0048_0003__me [arg2] r_0048_0004__a_r_0048_0005__sheep a sheep r_0048_0002__Draw->r_0048_0004__a_r_0048_0005__sheep [arg1] z_000_48_a_saint_exupery_1943_1 r_0048_0002__Draw->z_000_48_a_saint_exupery_1943_1 [arg0] 
arc(r_0048_0002__Draw, r_0048_0003__me, arg2).
arc(r_0048_0002__Draw, r_0048_0004__a_r_0048_0005__sheep, arg1).
arc(r_0048_0002__Draw, z_000_48_a_saint_exupery_1943_1, arg0).


%3 r_0048_0002__Draw Draw z_000_48_a_saint_exupery_1943_1 r_0048_0002__Draw->z_000_48_a_saint_exupery_1943_1 [arg0] r_0048_0004__a_r_0048_0005__sheep a sheep r_0048_0002__Draw->r_0048_0004__a_r_0048_0005__sheep [arg1] r_0048_0003__me me r_0048_0002__Draw->r_0048_0003__me [arg2] 
fof(formula,axiom,
    ? [R_48_2_DRAW,Z_48_A_SAINT_EXUPERY_1943_1,R_48_4_A_SHEEP,R_48_3_ME] :
      ( a_sheep(R_48_4_A_SHEEP)
      & me(R_48_3_ME)
      & draw(R_48_2_DRAW,Z_48_A_SAINT_EXUPERY_1943_1,R_48_4_A_SHEEP,R_48_3_ME) ) ).


n48_a_saint_exupery_1943 n48_a_saint_exupery_1943__1_1_1 <ldquo> n48_a_saint_exupery_1943__1_2_1 Draw n48_a_saint_exupery_1943__1_3_1_1 me n48_a_saint_exupery_1943__1_4_1_1 a n48_a_saint_exupery_1943__1_4_2_1 sheep n48_a_saint_exupery_1943__1_5_1 ! n48_a_saint_exupery_1943__1_6_1 <rdquo> n48_a_saint_exupery_1943__1 IP-IMP n48_a_saint_exupery_1943__1_1 PULQ n48_a_saint_exupery_1943__1->n48_a_saint_exupery_1943__1_1 n48_a_saint_exupery_1943__1_2 VB;__ n48_a_saint_exupery_1943__1->n48_a_saint_exupery_1943__1_2 n48_a_saint_exupery_1943__1_3 NP-OB2 n48_a_saint_exupery_1943__1->n48_a_saint_exupery_1943__1_3 n48_a_saint_exupery_1943__1_4 NP-OB1 n48_a_saint_exupery_1943__1->n48_a_saint_exupery_1943__1_4 n48_a_saint_exupery_1943__1_5 PUNC n48_a_saint_exupery_1943__1->n48_a_saint_exupery_1943__1_5 n48_a_saint_exupery_1943__1_6 PURQ n48_a_saint_exupery_1943__1->n48_a_saint_exupery_1943__1_6 n48_a_saint_exupery_1943__1_1->n48_a_saint_exupery_1943__1_1_1 n48_a_saint_exupery_1943__1_2->n48_a_saint_exupery_1943__1_2_1 n48_a_saint_exupery_1943__1_3_1 PRO n48_a_saint_exupery_1943__1_3->n48_a_saint_exupery_1943__1_3_1 n48_a_saint_exupery_1943__1_3_1->n48_a_saint_exupery_1943__1_3_1_1 n48_a_saint_exupery_1943__1_4_1 D n48_a_saint_exupery_1943__1_4->n48_a_saint_exupery_1943__1_4_1 n48_a_saint_exupery_1943__1_4_2 N n48_a_saint_exupery_1943__1_4->n48_a_saint_exupery_1943__1_4_2 n48_a_saint_exupery_1943__1_4_1->n48_a_saint_exupery_1943__1_4_1_1 n48_a_saint_exupery_1943__1_4_2->n48_a_saint_exupery_1943__1_4_2_1 n48_a_saint_exupery_1943__1_5->n48_a_saint_exupery_1943__1_5_1 n48_a_saint_exupery_1943__1_6->n48_a_saint_exupery_1943__1_6_1 
( (IP-IMP (PULQ <ldquo>)
          (VB;__ Draw;{draw})
          (NP-OB2;{PRINCE} (PRO me;{I}))
          (NP-OB1;{SHEEP} (D a;{a})
                          (N sheep;{sheep}))
          (PUNC !)
          (PURQ <rdquo>))
  (ID 48_a_saint_exupery_1943))