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_0011__that_r_0080_0013__is that is r_0080_0003__see->r_0080_0011__that_r_0080_0013__is [arg1] r_0080_0014__not not r_0080_0003__see->r_0080_0014__not [arg1] 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] r_0080_0014__not->r_0080_0011__that_r_0080_0013__is [keep_scope] 
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_0011__that_r_0080_0013__is, arg1).
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_0014__not not 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_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] r_0080_0012__this this r_0080_0011__that_r_0080_0013__is->r_0080_0012__this [arg0] r_0080_0003__see see r_0080_0003__see->r_0080_0014__not [arg1] r_0080_0003__see->r_0080_0011__that_r_0080_0013__is [arg1] r_0080_0002__You You r_0080_0003__see->r_0080_0002__You [nim] r_0080_0003__see->r_0080_0002__You [arg0] 
fof(formula,axiom,
    ? [R_0080_0002__YOU,R_0080_0012__THIS,R_0080_0015__A_R_0080_0016__SHEEP,R_0080_0011__THAT_R_0080_0013__IS,R_0080_0003__SEE] :
      ( r_0080_0002__You(R_0080_0002__YOU)
      & r_0080_0012__this(R_0080_0012__THIS)
      & r_0080_0015__a_r_0080_0016__sheep(R_0080_0015__A_R_0080_0016__SHEEP)
      & r_0080_0003__see(R_0080_0003__SEE)
      & has_arg1(R_0080_0003__SEE,R_0080_0014__NOT)
      & ~ r_0080_0011__that_r_0080_0013__is(R_0080_0011__THAT_R_0080_0013__IS)
      & has_arg1(R_0080_0003__SEE,R_0080_0011__THAT_R_0080_0013__IS)
      & r_0080_0011__that_r_0080_0013__is(R_0080_0011__THAT_R_0080_0013__IS)
      & has_prd(R_0080_0011__THAT_R_0080_0013__IS,R_0080_0015__A_R_0080_0016__SHEEP)
      & has_arg0(R_0080_0011__THAT_R_0080_0013__IS,R_0080_0012__THIS)
      & has_nim9(R_0080_0003__SEE,R_0080_0002__YOU)
      & has_arg0(R_0080_0003__SEE,R_0080_0002__YOU) ) ).


n80_a_saint_exupery_1943 n80_a_saint_exupery_1943__1_1_1 <ldquo> n80_a_saint_exupery_1943__1_2_1_1 You n80_a_saint_exupery_1943__1_3_1 see n80_a_saint_exupery_1943__1_4_1_1 yourself n80_a_saint_exupery_1943__1_5_1 , n80_a_saint_exupery_1943__1_6_1 <rdquo> n80_a_saint_exupery_1943__1_7_1_1_1_1 he n80_a_saint_exupery_1943__1_7_1_2_1 said n80_a_saint_exupery_1943__1_8_1 , n80_a_saint_exupery_1943__1_9_1 <ldquo> n80_a_saint_exupery_1943__1_10_1_1_1 that n80_a_saint_exupery_1943__1_10_1_2_1_1 this n80_a_saint_exupery_1943__1_10_1_3_1 is n80_a_saint_exupery_1943__1_10_1_4_1 not n80_a_saint_exupery_1943__1_10_1_5_1_1 a n80_a_saint_exupery_1943__1_10_1_5_2_1 sheep n80_a_saint_exupery_1943__1_11_1 . n80_a_saint_exupery_1943__1 IP-MAT n80_a_saint_exupery_1943__1_1 PULQ n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_1 n80_a_saint_exupery_1943__1_2 NP-SBJ n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_2 n80_a_saint_exupery_1943__1_3 VBP;_Tf_ n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_3 n80_a_saint_exupery_1943__1_4 NP-RFL n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_4 n80_a_saint_exupery_1943__1_5 PUNC n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_5 n80_a_saint_exupery_1943__1_6 PURQ n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_6 n80_a_saint_exupery_1943__1_7 PRN n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_7 n80_a_saint_exupery_1943__1_8 PUNC n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_8 n80_a_saint_exupery_1943__1_9 PULQ n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_9 n80_a_saint_exupery_1943__1_10 CP-THT-OB1 n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_10 n80_a_saint_exupery_1943__1_11 PUNC n80_a_saint_exupery_1943__1->n80_a_saint_exupery_1943__1_11 n80_a_saint_exupery_1943__1_1->n80_a_saint_exupery_1943__1_1_1 n80_a_saint_exupery_1943__1_2_1 PRO n80_a_saint_exupery_1943__1_2->n80_a_saint_exupery_1943__1_2_1 n80_a_saint_exupery_1943__1_2_1->n80_a_saint_exupery_1943__1_2_1_1 n80_a_saint_exupery_1943__1_3->n80_a_saint_exupery_1943__1_3_1 n80_a_saint_exupery_1943__1_4_1 PNX n80_a_saint_exupery_1943__1_4->n80_a_saint_exupery_1943__1_4_1 n80_a_saint_exupery_1943__1_4_1->n80_a_saint_exupery_1943__1_4_1_1 n80_a_saint_exupery_1943__1_5->n80_a_saint_exupery_1943__1_5_1 n80_a_saint_exupery_1943__1_6->n80_a_saint_exupery_1943__1_6_1 n80_a_saint_exupery_1943__1_7_1 IP-MAT n80_a_saint_exupery_1943__1_7->n80_a_saint_exupery_1943__1_7_1 n80_a_saint_exupery_1943__1_7_1_1 NP-SBJ n80_a_saint_exupery_1943__1_7_1->n80_a_saint_exupery_1943__1_7_1_1 n80_a_saint_exupery_1943__1_7_1_2 VBD;_Tr_ n80_a_saint_exupery_1943__1_7_1->n80_a_saint_exupery_1943__1_7_1_2 n80_a_saint_exupery_1943__1_7_1_1_1 PRO n80_a_saint_exupery_1943__1_7_1_1->n80_a_saint_exupery_1943__1_7_1_1_1 n80_a_saint_exupery_1943__1_7_1_1_1->n80_a_saint_exupery_1943__1_7_1_1_1_1 n80_a_saint_exupery_1943__1_7_1_2->n80_a_saint_exupery_1943__1_7_1_2_1 n80_a_saint_exupery_1943__1_8->n80_a_saint_exupery_1943__1_8_1 n80_a_saint_exupery_1943__1_9->n80_a_saint_exupery_1943__1_9_1 n80_a_saint_exupery_1943__1_10_1 IP-SUB n80_a_saint_exupery_1943__1_10->n80_a_saint_exupery_1943__1_10_1 n80_a_saint_exupery_1943__1_10_1_1 C n80_a_saint_exupery_1943__1_10_1->n80_a_saint_exupery_1943__1_10_1_1 n80_a_saint_exupery_1943__1_10_1_2 NP-SBJ n80_a_saint_exupery_1943__1_10_1->n80_a_saint_exupery_1943__1_10_1_2 n80_a_saint_exupery_1943__1_10_1_3 BEP;_Ln_ n80_a_saint_exupery_1943__1_10_1->n80_a_saint_exupery_1943__1_10_1_3 n80_a_saint_exupery_1943__1_10_1_4 NEG n80_a_saint_exupery_1943__1_10_1->n80_a_saint_exupery_1943__1_10_1_4 n80_a_saint_exupery_1943__1_10_1_5 NP-PRD n80_a_saint_exupery_1943__1_10_1->n80_a_saint_exupery_1943__1_10_1_5 n80_a_saint_exupery_1943__1_10_1_1->n80_a_saint_exupery_1943__1_10_1_1_1 n80_a_saint_exupery_1943__1_10_1_2_1 D;_nphd_ n80_a_saint_exupery_1943__1_10_1_2->n80_a_saint_exupery_1943__1_10_1_2_1 n80_a_saint_exupery_1943__1_10_1_2_1->n80_a_saint_exupery_1943__1_10_1_2_1_1 n80_a_saint_exupery_1943__1_10_1_3->n80_a_saint_exupery_1943__1_10_1_3_1 n80_a_saint_exupery_1943__1_10_1_4->n80_a_saint_exupery_1943__1_10_1_4_1 n80_a_saint_exupery_1943__1_10_1_5_1 D n80_a_saint_exupery_1943__1_10_1_5->n80_a_saint_exupery_1943__1_10_1_5_1 n80_a_saint_exupery_1943__1_10_1_5_2 N n80_a_saint_exupery_1943__1_10_1_5->n80_a_saint_exupery_1943__1_10_1_5_2 n80_a_saint_exupery_1943__1_10_1_5_1->n80_a_saint_exupery_1943__1_10_1_5_1_1 n80_a_saint_exupery_1943__1_10_1_5_2->n80_a_saint_exupery_1943__1_10_1_5_2_1 n80_a_saint_exupery_1943__1_11->n80_a_saint_exupery_1943__1_11_1 
( (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))