Context                Previous, Next                Top


80_a_saint_exupery_1943
“You see yourself,” he said, “that this is not a sheep.

%3 r_0080_0003__see see r_0080_0002__You You r_0080_0003__see->r_0080_0002__You [arg0] r_0080_0003__see->r_0080_0002__You [nim] r_0080_0014__not not r_0080_0003__see->r_0080_0014__not [arg1] r_0080_0011__that_r_0080_0013__is that is r_0080_0014__not->r_0080_0011__that_r_0080_0013__is [keep_scope] r_0080_0012__this this r_0080_0011__that_r_0080_0013__is->r_0080_0012__this [arg0] r_0080_0015__a_r_0080_0016__sheep a sheep r_0080_0011__that_r_0080_0013__is->r_0080_0015__a_r_0080_0016__sheep [prd] 
arc(r_0080_0003__see, r_0080_0002__You, arg0).
arc(r_0080_0003__see, r_0080_0002__You, nim9).
arc(r_0080_0003__see, r_0080_0014__not, arg1).
arc(r_0080_0011__that_r_0080_0013__is, r_0080_0012__this, arg0).
arc(r_0080_0011__that_r_0080_0013__is, r_0080_0015__a_r_0080_0016__sheep, prd).
arc(r_0080_0014__not, r_0080_0011__that_r_0080_0013__is, keep_scope).


%3 r_0080_0003__see see r_0080_0002__You You r_0080_0003__see->r_0080_0002__You [arg0] r_0080_0003__see->r_0080_0002__You [nim] r_0080_0014__not not r_0080_0003__see->r_0080_0014__not [arg1] r_0080_0011__that_r_0080_0013__is that is r_0080_0014__not->r_0080_0011__that_r_0080_0013__is [keep_scope] r_0080_0012__this this r_0080_0011__that_r_0080_0013__is->r_0080_0012__this [arg0] r_0080_0015__a_r_0080_0016__sheep a sheep r_0080_0011__that_r_0080_0013__is->r_0080_0015__a_r_0080_0016__sheep [prd] 
fof(formula,axiom,
    ? [R_80_3_SEE,R_80_2_YOU] :
      ( you(R_80_2_YOU)
      & see(R_80_3_SEE,R_80_2_YOU,R_80_14_NOT)
      & ~ ? [R_80_11_THAT_IS,R_80_12_THIS,R_80_15_A_SHEEP] :
            ( this(R_80_12_THIS)
            & a_sheep(R_80_15_A_SHEEP)
            & that_is(R_80_11_THAT_IS,R_80_12_THIS,R_80_15_A_SHEEP) )
      & nim9(R_80_3_SEE,R_80_2_YOU) ) ).


n80_a_saint_exupery_1943 n80_a_saint_exupery_1943_3 <ldquo> n80_a_saint_exupery_1943_6 You n80_a_saint_exupery_1943_8 see n80_a_saint_exupery_1943_11 yourself n80_a_saint_exupery_1943_13 , n80_a_saint_exupery_1943_15 <rdquo> n80_a_saint_exupery_1943_20 he n80_a_saint_exupery_1943_22 said n80_a_saint_exupery_1943_24 , n80_a_saint_exupery_1943_26 <ldquo> n80_a_saint_exupery_1943_30 that n80_a_saint_exupery_1943_33 this n80_a_saint_exupery_1943_35 is n80_a_saint_exupery_1943_37 not n80_a_saint_exupery_1943_40 a n80_a_saint_exupery_1943_42 sheep n80_a_saint_exupery_1943_44 . n80_a_saint_exupery_1943_1 IP-MAT n80_a_saint_exupery_1943_2 PULQ n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_2 n80_a_saint_exupery_1943_4 NP-SBJ n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_4 n80_a_saint_exupery_1943_7 VBP;_Tf_ n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_7 n80_a_saint_exupery_1943_9 NP-RFL n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_9 n80_a_saint_exupery_1943_12 PUNC n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_12 n80_a_saint_exupery_1943_14 PURQ n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_14 n80_a_saint_exupery_1943_16 PRN n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_16 n80_a_saint_exupery_1943_23 PUNC n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_23 n80_a_saint_exupery_1943_25 PULQ n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_25 n80_a_saint_exupery_1943_27 CP-THT-OB1 n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_27 n80_a_saint_exupery_1943_43 PUNC n80_a_saint_exupery_1943_1->n80_a_saint_exupery_1943_43 n80_a_saint_exupery_1943_2->n80_a_saint_exupery_1943_3 n80_a_saint_exupery_1943_5 PRO n80_a_saint_exupery_1943_4->n80_a_saint_exupery_1943_5 n80_a_saint_exupery_1943_5->n80_a_saint_exupery_1943_6 n80_a_saint_exupery_1943_7->n80_a_saint_exupery_1943_8 n80_a_saint_exupery_1943_10 PNX n80_a_saint_exupery_1943_9->n80_a_saint_exupery_1943_10 n80_a_saint_exupery_1943_10->n80_a_saint_exupery_1943_11 n80_a_saint_exupery_1943_12->n80_a_saint_exupery_1943_13 n80_a_saint_exupery_1943_14->n80_a_saint_exupery_1943_15 n80_a_saint_exupery_1943_17 IP-MAT n80_a_saint_exupery_1943_16->n80_a_saint_exupery_1943_17 n80_a_saint_exupery_1943_18 NP-SBJ n80_a_saint_exupery_1943_17->n80_a_saint_exupery_1943_18 n80_a_saint_exupery_1943_21 VBD;_Tr_ n80_a_saint_exupery_1943_17->n80_a_saint_exupery_1943_21 n80_a_saint_exupery_1943_19 PRO n80_a_saint_exupery_1943_18->n80_a_saint_exupery_1943_19 n80_a_saint_exupery_1943_19->n80_a_saint_exupery_1943_20 n80_a_saint_exupery_1943_21->n80_a_saint_exupery_1943_22 n80_a_saint_exupery_1943_23->n80_a_saint_exupery_1943_24 n80_a_saint_exupery_1943_25->n80_a_saint_exupery_1943_26 n80_a_saint_exupery_1943_28 IP-SUB n80_a_saint_exupery_1943_27->n80_a_saint_exupery_1943_28 n80_a_saint_exupery_1943_29 C n80_a_saint_exupery_1943_28->n80_a_saint_exupery_1943_29 n80_a_saint_exupery_1943_31 NP-SBJ n80_a_saint_exupery_1943_28->n80_a_saint_exupery_1943_31 n80_a_saint_exupery_1943_34 BEP;_Ln_ n80_a_saint_exupery_1943_28->n80_a_saint_exupery_1943_34 n80_a_saint_exupery_1943_36 NEG n80_a_saint_exupery_1943_28->n80_a_saint_exupery_1943_36 n80_a_saint_exupery_1943_38 NP-PRD n80_a_saint_exupery_1943_28->n80_a_saint_exupery_1943_38 n80_a_saint_exupery_1943_29->n80_a_saint_exupery_1943_30 n80_a_saint_exupery_1943_32 D;_nphd_ n80_a_saint_exupery_1943_31->n80_a_saint_exupery_1943_32 n80_a_saint_exupery_1943_32->n80_a_saint_exupery_1943_33 n80_a_saint_exupery_1943_34->n80_a_saint_exupery_1943_35 n80_a_saint_exupery_1943_36->n80_a_saint_exupery_1943_37 n80_a_saint_exupery_1943_39 D n80_a_saint_exupery_1943_38->n80_a_saint_exupery_1943_39 n80_a_saint_exupery_1943_41 N n80_a_saint_exupery_1943_38->n80_a_saint_exupery_1943_41 n80_a_saint_exupery_1943_39->n80_a_saint_exupery_1943_40 n80_a_saint_exupery_1943_41->n80_a_saint_exupery_1943_42 n80_a_saint_exupery_1943_43->n80_a_saint_exupery_1943_44 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (PRO You;{you}))
          (VBP;_Tf_ see;{see})
          (NP-RFL (PNX yourself;{yourself}))
          (PUNC ,)
          (PURQ <rdquo>)
          (PRN (IP-MAT (NP-SBJ;{PRINCE} (PRO he;{he}))
                       (VBD;_Tr_ said;{say})))
          (PUNC ,)
          (PULQ <ldquo>)
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{ARTWORK} (D;_nphd_ this;{this}))
                              (BEP;_Ln_ is;{be})
                              (NEG not;{not})
                              (NP-PRD;{SHEEP} (D a;{a})
                                              (N sheep;{sheep}))))
          (PUNC .))
  (ID 80_a_saint_exupery_1943))