Context                Previous, Next                Top


208_a_ted_talk_11
And the third thing about intelligence is, it's distinct.

%3 r_0208_0001__And_r_0208_0007__is And is r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing the third thing r_0208_0001__And_r_0208_0007__is->r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing [arg0] r_0208_0010___apos_s 's r_0208_0001__And_r_0208_0007__is->r_0208_0010___apos_s [prd] r_0208_0006__intelligence intelligence r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing->r_0208_0006__intelligence about r_0208_0010___apos_s->r_0208_0006__intelligence [arg0] r_0208_0011__distinct distinct r_0208_0010___apos_s->r_0208_0011__distinct [prd] 
arc(r_0208_0001__And_r_0208_0007__is, r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing, arg0).
arc(r_0208_0001__And_r_0208_0007__is, r_0208_0010___apos_s, prd).
arc(r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing, r_0208_0006__intelligence, r_0208_0005__about).
arc(r_0208_0010___apos_s, r_0208_0006__intelligence, arg0).
arc(r_0208_0010___apos_s, r_0208_0011__distinct, prd).


%3 r_0208_0010___apos_s 's r_0208_0011__distinct distinct r_0208_0010___apos_s->r_0208_0011__distinct [prd] r_0208_0006__intelligence intelligence r_0208_0010___apos_s->r_0208_0006__intelligence [arg0] r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing the third thing r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing->r_0208_0006__intelligence about r_0208_0001__And_r_0208_0007__is And is r_0208_0001__And_r_0208_0007__is->r_0208_0010___apos_s [prd] r_0208_0001__And_r_0208_0007__is->r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing [arg0] 
fof(formula,axiom,
    ? [R_0208_0006__INTELLIGENCE,R_0208_0002__THE_R_0208_0003__THIRD_R_0208_0004__THING,R_0208_0011__DISTINCT,R_0208_0010___APOS_S,R_0208_0001__AND_R_0208_0007__IS] :
      ( r_0208_0006__intelligence(R_0208_0006__INTELLIGENCE)
      & r_0208_0011__distinct(R_0208_0011__DISTINCT)
      & r_0208_0001__And_r_0208_0007__is(R_0208_0001__AND_R_0208_0007__IS)
      & has_prd(R_0208_0001__AND_R_0208_0007__IS,R_0208_0010___APOS_S)
      & r_0208_0010___apos_s(R_0208_0010___APOS_S)
      & has_prd(R_0208_0010___APOS_S,R_0208_0011__DISTINCT)
      & has_arg0(R_0208_0010___APOS_S,R_0208_0006__INTELLIGENCE)
      & has_arg0(R_0208_0001__AND_R_0208_0007__IS,R_0208_0002__THE_R_0208_0003__THIRD_R_0208_0004__THING)
      & r_0208_0002__the_r_0208_0003__third_r_0208_0004__thing(R_0208_0002__THE_R_0208_0003__THIRD_R_0208_0004__THING)
      & has_r_0208_0005__about(R_0208_0002__THE_R_0208_0003__THIRD_R_0208_0004__THING,R_0208_0006__INTELLIGENCE) ) ).


n208_a_ted_talk_11 n208_a_ted_talk_11__1_1_1 And n208_a_ted_talk_11__1_2_1_1 the n208_a_ted_talk_11__1_2_2_1 third n208_a_ted_talk_11__1_2_3_1 thing n208_a_ted_talk_11__1_2_4_1_1 about n208_a_ted_talk_11__1_2_4_2_1_1 intelligence n208_a_ted_talk_11__1_3_1 is n208_a_ted_talk_11__1_4_1 , n208_a_ted_talk_11__1_5_1_1_1_1 it n208_a_ted_talk_11__1_5_1_2_1 's n208_a_ted_talk_11__1_5_1_3_1_1 distinct n208_a_ted_talk_11__1_6_1 . n208_a_ted_talk_11__1 IP-MAT n208_a_ted_talk_11__1_1 CONJ;_cl_ n208_a_ted_talk_11__1->n208_a_ted_talk_11__1_1 n208_a_ted_talk_11__1_2 NP-SBJ n208_a_ted_talk_11__1->n208_a_ted_talk_11__1_2 n208_a_ted_talk_11__1_3 BEP;_equ_Vf_ n208_a_ted_talk_11__1->n208_a_ted_talk_11__1_3 n208_a_ted_talk_11__1_4 PUNC n208_a_ted_talk_11__1->n208_a_ted_talk_11__1_4 n208_a_ted_talk_11__1_5 CP-THT-PRD n208_a_ted_talk_11__1->n208_a_ted_talk_11__1_5 n208_a_ted_talk_11__1_6 PUNC n208_a_ted_talk_11__1->n208_a_ted_talk_11__1_6 n208_a_ted_talk_11__1_1->n208_a_ted_talk_11__1_1_1 n208_a_ted_talk_11__1_2_1 D n208_a_ted_talk_11__1_2->n208_a_ted_talk_11__1_2_1 n208_a_ted_talk_11__1_2_2 NUM n208_a_ted_talk_11__1_2->n208_a_ted_talk_11__1_2_2 n208_a_ted_talk_11__1_2_3 N n208_a_ted_talk_11__1_2->n208_a_ted_talk_11__1_2_3 n208_a_ted_talk_11__1_2_4 PP n208_a_ted_talk_11__1_2->n208_a_ted_talk_11__1_2_4 n208_a_ted_talk_11__1_2_1->n208_a_ted_talk_11__1_2_1_1 n208_a_ted_talk_11__1_2_2->n208_a_ted_talk_11__1_2_2_1 n208_a_ted_talk_11__1_2_3->n208_a_ted_talk_11__1_2_3_1 n208_a_ted_talk_11__1_2_4_1 P-ROLE n208_a_ted_talk_11__1_2_4->n208_a_ted_talk_11__1_2_4_1 n208_a_ted_talk_11__1_2_4_2 NP n208_a_ted_talk_11__1_2_4->n208_a_ted_talk_11__1_2_4_2 n208_a_ted_talk_11__1_2_4_1->n208_a_ted_talk_11__1_2_4_1_1 n208_a_ted_talk_11__1_2_4_2_1 N n208_a_ted_talk_11__1_2_4_2->n208_a_ted_talk_11__1_2_4_2_1 n208_a_ted_talk_11__1_2_4_2_1->n208_a_ted_talk_11__1_2_4_2_1_1 n208_a_ted_talk_11__1_3->n208_a_ted_talk_11__1_3_1 n208_a_ted_talk_11__1_4->n208_a_ted_talk_11__1_4_1 n208_a_ted_talk_11__1_5_1 IP-SUB n208_a_ted_talk_11__1_5->n208_a_ted_talk_11__1_5_1 n208_a_ted_talk_11__1_5_1_1 NP-SBJ n208_a_ted_talk_11__1_5_1->n208_a_ted_talk_11__1_5_1_1 n208_a_ted_talk_11__1_5_1_2 BEP;_La_ n208_a_ted_talk_11__1_5_1->n208_a_ted_talk_11__1_5_1_2 n208_a_ted_talk_11__1_5_1_3 ADJP-PRD n208_a_ted_talk_11__1_5_1->n208_a_ted_talk_11__1_5_1_3 n208_a_ted_talk_11__1_5_1_1_1 PRO n208_a_ted_talk_11__1_5_1_1->n208_a_ted_talk_11__1_5_1_1_1 n208_a_ted_talk_11__1_5_1_1_1->n208_a_ted_talk_11__1_5_1_1_1_1 n208_a_ted_talk_11__1_5_1_2->n208_a_ted_talk_11__1_5_1_2_1 n208_a_ted_talk_11__1_5_1_3_1 ADJ n208_a_ted_talk_11__1_5_1_3->n208_a_ted_talk_11__1_5_1_3_1 n208_a_ted_talk_11__1_5_1_3_1->n208_a_ted_talk_11__1_5_1_3_1_1 n208_a_ted_talk_11__1_6->n208_a_ted_talk_11__1_6_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (D the;{the})
                  (NUM third;{third})
                  (N thing;{thing})
                  (PP (P-ROLE about;{about})
                      (NP;{INTELLIGENCE} (N intelligence;{intelligence}))))
          (BEP;_equ_Vf_ is;{be})
          (PUNC ,)
          (CP-THT-PRD (IP-SUB (NP-SBJ;{INTELLIGENCE} (PRO it;{it}))
                              (BEP;_La_ <apos>s;{be})
                              (ADJP-PRD (ADJ distinct;{distinct}))))
          (PUNC .))
  (ID 208_a_ted_talk_11))