Context                Previous, Next                Top


86_a_saint_exupery_1943
I want a sheep that will live a long time.”

%3 r_0086_0002__want want r_0086_0001__I I r_0086_0002__want->r_0086_0001__I [arg0] r_0086_0003__a_r_0086_0004__sheep a sheep r_0086_0002__want->r_0086_0003__a_r_0086_0004__sheep [arg1] r_0086_0005__that_r_0086_0006__will that will r_0086_0007__live live r_0086_0005__that_r_0086_0006__will->r_0086_0007__live [scope] r_0086_0007__live->r_0086_0003__a_r_0086_0004__sheep [arg0] r_0086_0008__a_r_0086_0010__time a time r_0086_0007__live->r_0086_0008__a_r_0086_0010__time [nim] r_0086_0009__long long r_0086_0008__a_r_0086_0010__time->r_0086_0009__long [attrib] 
arc(r_0086_0002__want, r_0086_0001__I, arg0).
arc(r_0086_0002__want, r_0086_0003__a_r_0086_0004__sheep, arg1).
arc(r_0086_0005__that_r_0086_0006__will, r_0086_0007__live, scope).
arc(r_0086_0007__live, r_0086_0003__a_r_0086_0004__sheep, arg0).
arc(r_0086_0007__live, r_0086_0008__a_r_0086_0010__time, nim22).
arc(r_0086_0008__a_r_0086_0010__time, r_0086_0009__long, attrib25).


%3 r_0086_0002__want want r_0086_0001__I I r_0086_0002__want->r_0086_0001__I [arg0] r_0086_0003__a_r_0086_0004__sheep a sheep r_0086_0002__want->r_0086_0003__a_r_0086_0004__sheep [arg1] r_0086_0005__that_r_0086_0006__will_r_0086_0007__live that will live r_0086_0005__that_r_0086_0006__will_r_0086_0007__live->r_0086_0003__a_r_0086_0004__sheep [arg0] r_0086_0008__a_r_0086_0010__time a time r_0086_0005__that_r_0086_0006__will_r_0086_0007__live->r_0086_0008__a_r_0086_0010__time [nim] r_0086_0009__long long r_0086_0008__a_r_0086_0010__time->r_0086_0009__long [attrib] 
fof(formula,axiom,
    ? [R_86_2_WANT,R_86_1_I,R_86_5_THAT_WILL_LIVE,R_86_3_A_SHEEP,R_86_8_A_TIME,R_86_9_LONG] :
      ( i(R_86_1_I)
      & a_sheep(R_86_3_A_SHEEP)
      & long(R_86_9_LONG)
      & want(R_86_2_WANT,R_86_1_I,R_86_3_A_SHEEP)
      & that_will_live(R_86_5_THAT_WILL_LIVE,R_86_3_A_SHEEP)
      & nim22(R_86_5_THAT_WILL_LIVE,R_86_8_A_TIME)
      & a_time(R_86_8_A_TIME)
      & attrib25(R_86_8_A_TIME,R_86_9_LONG) ) ).


n86_a_saint_exupery_1943 n86_a_saint_exupery_1943_4 I n86_a_saint_exupery_1943_6 want n86_a_saint_exupery_1943_9 a n86_a_saint_exupery_1943_11 sheep n86_a_saint_exupery_1943_14 that n86_a_saint_exupery_1943_16 *T* n86_a_saint_exupery_1943_18 will n86_a_saint_exupery_1943_21 live n86_a_saint_exupery_1943_24 a n86_a_saint_exupery_1943_27 long n86_a_saint_exupery_1943_29 time n86_a_saint_exupery_1943_31 . n86_a_saint_exupery_1943_33 <rdquo> n86_a_saint_exupery_1943_1 IP-MAT n86_a_saint_exupery_1943_2 NP-SBJ n86_a_saint_exupery_1943_1->n86_a_saint_exupery_1943_2 n86_a_saint_exupery_1943_5 VBP;__ n86_a_saint_exupery_1943_1->n86_a_saint_exupery_1943_5 n86_a_saint_exupery_1943_7 NP-OB1 n86_a_saint_exupery_1943_1->n86_a_saint_exupery_1943_7 n86_a_saint_exupery_1943_30 PUNC n86_a_saint_exupery_1943_1->n86_a_saint_exupery_1943_30 n86_a_saint_exupery_1943_32 PURQ n86_a_saint_exupery_1943_1->n86_a_saint_exupery_1943_32 n86_a_saint_exupery_1943_3 PRO n86_a_saint_exupery_1943_2->n86_a_saint_exupery_1943_3 n86_a_saint_exupery_1943_3->n86_a_saint_exupery_1943_4 n86_a_saint_exupery_1943_5->n86_a_saint_exupery_1943_6 n86_a_saint_exupery_1943_8 D n86_a_saint_exupery_1943_7->n86_a_saint_exupery_1943_8 n86_a_saint_exupery_1943_10 N n86_a_saint_exupery_1943_7->n86_a_saint_exupery_1943_10 n86_a_saint_exupery_1943_12 IP-REL n86_a_saint_exupery_1943_7->n86_a_saint_exupery_1943_12 n86_a_saint_exupery_1943_8->n86_a_saint_exupery_1943_9 n86_a_saint_exupery_1943_10->n86_a_saint_exupery_1943_11 n86_a_saint_exupery_1943_13 C n86_a_saint_exupery_1943_12->n86_a_saint_exupery_1943_13 n86_a_saint_exupery_1943_15 NP-SBJ n86_a_saint_exupery_1943_12->n86_a_saint_exupery_1943_15 n86_a_saint_exupery_1943_17 MD;_cat_Vi_ n86_a_saint_exupery_1943_12->n86_a_saint_exupery_1943_17 n86_a_saint_exupery_1943_19 IP-INF-CAT n86_a_saint_exupery_1943_12->n86_a_saint_exupery_1943_19 n86_a_saint_exupery_1943_13->n86_a_saint_exupery_1943_14 n86_a_saint_exupery_1943_15->n86_a_saint_exupery_1943_16 n86_a_saint_exupery_1943_17->n86_a_saint_exupery_1943_18 n86_a_saint_exupery_1943_20 VB;__ n86_a_saint_exupery_1943_19->n86_a_saint_exupery_1943_20 n86_a_saint_exupery_1943_22 NP-NIM n86_a_saint_exupery_1943_19->n86_a_saint_exupery_1943_22 n86_a_saint_exupery_1943_20->n86_a_saint_exupery_1943_21 n86_a_saint_exupery_1943_23 D n86_a_saint_exupery_1943_22->n86_a_saint_exupery_1943_23 n86_a_saint_exupery_1943_25 ADJP n86_a_saint_exupery_1943_22->n86_a_saint_exupery_1943_25 n86_a_saint_exupery_1943_28 N n86_a_saint_exupery_1943_22->n86_a_saint_exupery_1943_28 n86_a_saint_exupery_1943_23->n86_a_saint_exupery_1943_24 n86_a_saint_exupery_1943_26 ADJ n86_a_saint_exupery_1943_25->n86_a_saint_exupery_1943_26 n86_a_saint_exupery_1943_26->n86_a_saint_exupery_1943_27 n86_a_saint_exupery_1943_28->n86_a_saint_exupery_1943_29 n86_a_saint_exupery_1943_30->n86_a_saint_exupery_1943_31 n86_a_saint_exupery_1943_32->n86_a_saint_exupery_1943_33 
( (IP-MAT (NP-SBJ;{PRINCE} (PRO I;{I}))
          (VBP;__ want;{want})
          (NP-OB1;{SHEEP} (D a;{a})
                          (N sheep;{sheep})
                          (IP-REL (C that;{that})
                                  (NP-SBJ *T*)
                                  (MD;_cat_Vi_ will;{will})
                                  (IP-INF-CAT (VB;__ live;{live})
                                              (NP-NIM (D a;{a})
                                                      (ADJP (ADJ long;{long}))
                                                      (N time;{time})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 86_a_saint_exupery_1943))