207_a_ted_talk_11
And the third thing about intelligence is, it's 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 207_a_ted_talk_11))
arc(r_0207_0002__the_r_0207_0003__third_r_0207_0004__thing,r_0207_0006__intelligence,r_0207_0005__about).
arc(r_0207_0007__is,r_0207_0002__the_r_0207_0003__third_r_0207_0004__thing,arg0).
arc(r_0207_0007__is,r_0207_0010___apos_s,prd).
arc(r_0207_0010___apos_s,r_0207_0006__intelligence,arg0).
arc(r_0207_0010___apos_s,r_0207_0011__distinct,prd).
fof(formula,axiom,
? [R_0207_0006__INTELLIGENCE,R_0207_0002__THE_R_0207_0003__THIRD_R_0207_0004__THING,R_0207_0011__DISTINCT,R_0207_0010___APOS_S,R_0207_0007__IS] :
( r_0207_0006__intelligence(R_0207_0006__INTELLIGENCE)
& r_0207_0011__distinct(R_0207_0011__DISTINCT)
& r_0207_0007__is(R_0207_0007__IS)
& has_prd(R_0207_0007__IS,R_0207_0010___APOS_S)
& r_0207_0010___apos_s(R_0207_0010___APOS_S)
& has_prd(R_0207_0010___APOS_S,R_0207_0011__DISTINCT)
& has_arg0(R_0207_0010___APOS_S,R_0207_0006__INTELLIGENCE)
& has_arg0(R_0207_0007__IS,R_0207_0002__THE_R_0207_0003__THIRD_R_0207_0004__THING)
& r_0207_0002__the_r_0207_0003__third_r_0207_0004__thing(R_0207_0002__THE_R_0207_0003__THIRD_R_0207_0004__THING)
& has_r_0207_0005__about(R_0207_0002__THE_R_0207_0003__THIRD_R_0207_0004__THING,R_0207_0006__INTELLIGENCE) ) ).