208_a_ted_talk_11
And the third thing about intelligence is, it's distinct.
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).
fof(formula,axiom,
? [R_208_1_AND_IS,R_208_2_THE_THIRD_THING,R_208_10__APOS_S,R_208_6_INTELLIGENCE,R_208_11_DISTINCT] :
( intelligence(R_208_6_INTELLIGENCE)
& distinct(R_208_11_DISTINCT)
& and_is(R_208_1_AND_IS,R_208_2_THE_THIRD_THING,R_208_10__APOS_S)
& the_third_thing(R_208_2_THE_THIRD_THING)
& about(R_208_2_THE_THIRD_THING,R_208_6_INTELLIGENCE)
& _apos_s(R_208_10__APOS_S,R_208_6_INTELLIGENCE,R_208_11_DISTINCT) ) ).
( (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))