Context                Previous, Next                Top


67_a_saint_exupery_1943
But I had never drawn a sheep.

%3 r_0067_0001__But_r_0067_0003__had But had r_0067_0005__drawn drawn r_0067_0001__But_r_0067_0003__had->r_0067_0005__drawn [scope] r_0067_0002__I I r_0067_0005__drawn->r_0067_0002__I [arg0] r_0067_0004__never never r_0067_0005__drawn->r_0067_0004__never [nim] r_0067_0006__a_r_0067_0007__sheep a sheep r_0067_0005__drawn->r_0067_0006__a_r_0067_0007__sheep [arg1] 
arc(r_0067_0001__But_r_0067_0003__had, r_0067_0005__drawn, scope).
arc(r_0067_0005__drawn, r_0067_0002__I, arg0).
arc(r_0067_0005__drawn, r_0067_0004__never, nim10).
arc(r_0067_0005__drawn, r_0067_0006__a_r_0067_0007__sheep, arg1).


%3 r_0067_0001__But_r_0067_0003__had_r_0067_0005__drawn But had drawn r_0067_0002__I I r_0067_0001__But_r_0067_0003__had_r_0067_0005__drawn->r_0067_0002__I [arg0] r_0067_0004__never never r_0067_0001__But_r_0067_0003__had_r_0067_0005__drawn->r_0067_0004__never [nim] r_0067_0006__a_r_0067_0007__sheep a sheep r_0067_0001__But_r_0067_0003__had_r_0067_0005__drawn->r_0067_0006__a_r_0067_0007__sheep [arg1] 
fof(formula,axiom,
    ? [R_67_1_BUT_HAD_DRAWN,R_67_2_I,R_67_6_A_SHEEP,R_67_4_NEVER] :
      ( i(R_67_2_I)
      & a_sheep(R_67_6_A_SHEEP)
      & never(R_67_4_NEVER)
      & but_had_drawn(R_67_1_BUT_HAD_DRAWN,R_67_2_I,R_67_6_A_SHEEP)
      & nim10(R_67_1_BUT_HAD_DRAWN,R_67_4_NEVER) ) ).


n67_a_saint_exupery_1943 n67_a_saint_exupery_1943_3 But n67_a_saint_exupery_1943_6 I n67_a_saint_exupery_1943_8 had n67_a_saint_exupery_1943_12 never n67_a_saint_exupery_1943_14 drawn n67_a_saint_exupery_1943_17 a n67_a_saint_exupery_1943_19 sheep n67_a_saint_exupery_1943_21 . n67_a_saint_exupery_1943_1 IP-MAT n67_a_saint_exupery_1943_2 CONJ;_cl_ n67_a_saint_exupery_1943_1->n67_a_saint_exupery_1943_2 n67_a_saint_exupery_1943_4 NP-SBJ n67_a_saint_exupery_1943_1->n67_a_saint_exupery_1943_4 n67_a_saint_exupery_1943_7 HVD;_cat_Ve_ n67_a_saint_exupery_1943_1->n67_a_saint_exupery_1943_7 n67_a_saint_exupery_1943_9 IP-PPL-CAT n67_a_saint_exupery_1943_1->n67_a_saint_exupery_1943_9 n67_a_saint_exupery_1943_20 PUNC n67_a_saint_exupery_1943_1->n67_a_saint_exupery_1943_20 n67_a_saint_exupery_1943_2->n67_a_saint_exupery_1943_3 n67_a_saint_exupery_1943_5 PRO n67_a_saint_exupery_1943_4->n67_a_saint_exupery_1943_5 n67_a_saint_exupery_1943_5->n67_a_saint_exupery_1943_6 n67_a_saint_exupery_1943_7->n67_a_saint_exupery_1943_8 n67_a_saint_exupery_1943_10 ADVP-NIM n67_a_saint_exupery_1943_9->n67_a_saint_exupery_1943_10 n67_a_saint_exupery_1943_13 VVN;__ n67_a_saint_exupery_1943_9->n67_a_saint_exupery_1943_13 n67_a_saint_exupery_1943_15 NP-OB1 n67_a_saint_exupery_1943_9->n67_a_saint_exupery_1943_15 n67_a_saint_exupery_1943_11 ADV n67_a_saint_exupery_1943_10->n67_a_saint_exupery_1943_11 n67_a_saint_exupery_1943_11->n67_a_saint_exupery_1943_12 n67_a_saint_exupery_1943_13->n67_a_saint_exupery_1943_14 n67_a_saint_exupery_1943_16 D n67_a_saint_exupery_1943_15->n67_a_saint_exupery_1943_16 n67_a_saint_exupery_1943_18 N n67_a_saint_exupery_1943_15->n67_a_saint_exupery_1943_18 n67_a_saint_exupery_1943_16->n67_a_saint_exupery_1943_17 n67_a_saint_exupery_1943_18->n67_a_saint_exupery_1943_19 n67_a_saint_exupery_1943_20->n67_a_saint_exupery_1943_21 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (PRO I;{I}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV never;{never}))
                      (VVN;__ drawn;{draw})
                      (NP-OB1;{SHEEP} (D a;{a})
                                      (N sheep;{sheep})))
          (PUNC .))
  (ID 67_a_saint_exupery_1943))