185_a_ted_talk_11
We know three things about intelligence.

n185_a_ted_talk_11 n185_a_ted_talk_11__1_1_1_1 We n185_a_ted_talk_11__1_2_1 know n185_a_ted_talk_11__1_3_1_1 three n185_a_ted_talk_11__1_3_2_1 things n185_a_ted_talk_11__1_4_1_1 about n185_a_ted_talk_11__1_4_2_1_1 intelligence n185_a_ted_talk_11__1_5_1 . n185_a_ted_talk_11__1 IP-MAT n185_a_ted_talk_11__1_1 NP-SBJ n185_a_ted_talk_11__1->n185_a_ted_talk_11__1_1 n185_a_ted_talk_11__1_2 VBP;_Tn_ n185_a_ted_talk_11__1->n185_a_ted_talk_11__1_2 n185_a_ted_talk_11__1_3 NP-OB1 n185_a_ted_talk_11__1->n185_a_ted_talk_11__1_3 n185_a_ted_talk_11__1_4 PP-NIM n185_a_ted_talk_11__1->n185_a_ted_talk_11__1_4 n185_a_ted_talk_11__1_5 PUNC n185_a_ted_talk_11__1->n185_a_ted_talk_11__1_5 n185_a_ted_talk_11__1_1_1 PRO n185_a_ted_talk_11__1_1->n185_a_ted_talk_11__1_1_1 n185_a_ted_talk_11__1_1_1->n185_a_ted_talk_11__1_1_1_1 n185_a_ted_talk_11__1_2->n185_a_ted_talk_11__1_2_1 n185_a_ted_talk_11__1_3_1 NUM n185_a_ted_talk_11__1_3->n185_a_ted_talk_11__1_3_1 n185_a_ted_talk_11__1_3_2 NS n185_a_ted_talk_11__1_3->n185_a_ted_talk_11__1_3_2 n185_a_ted_talk_11__1_3_1->n185_a_ted_talk_11__1_3_1_1 n185_a_ted_talk_11__1_3_2->n185_a_ted_talk_11__1_3_2_1 n185_a_ted_talk_11__1_4_1 P-ROLE n185_a_ted_talk_11__1_4->n185_a_ted_talk_11__1_4_1 n185_a_ted_talk_11__1_4_2 NP n185_a_ted_talk_11__1_4->n185_a_ted_talk_11__1_4_2 n185_a_ted_talk_11__1_4_1->n185_a_ted_talk_11__1_4_1_1 n185_a_ted_talk_11__1_4_2_1 N n185_a_ted_talk_11__1_4_2->n185_a_ted_talk_11__1_4_2_1 n185_a_ted_talk_11__1_4_2_1->n185_a_ted_talk_11__1_4_2_1_1 n185_a_ted_talk_11__1_5->n185_a_ted_talk_11__1_5_1
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBP;_Tn_ know;{know})
          (NP-OB1 (NUM three;{three})
                  (NS things;{thing}))
          (PP-NIM (P-ROLE about;{about})
                  (NP (N intelligence;{intelligence})))
          (PUNC .))
  (ID 185_a_ted_talk_11))



%3 r_0185_0002__know know r_0185_0006__intelligence intelligence r_0185_0002__know->r_0185_0006__intelligence about [nim] r_0185_0003__three_r_0185_0004__things three things r_0185_0002__know->r_0185_0003__three_r_0185_0004__things [arg1] r_0185_0001__We We r_0185_0002__know->r_0185_0001__We [arg0]
arc(r_0185_0002__know,r_0185_0001__We,arg0).
arc(r_0185_0002__know,r_0185_0003__three_r_0185_0004__things,arg1).
arc(r_0185_0002__know,r_0185_0006__intelligence,r_0185_0005__about__nim).



%3 r_0185_0002__know know r_0185_0001__We We r_0185_0002__know->r_0185_0001__We [arg0] r_0185_0003__three_r_0185_0004__things three things r_0185_0002__know->r_0185_0003__three_r_0185_0004__things [arg1] r_0185_0006__intelligence intelligence r_0185_0002__know->r_0185_0006__intelligence about [nim]
fof(formula,axiom,
    ? [R_0185_0001__WE,R_0185_0003__THREE_R_0185_0004__THINGS,R_0185_0006__INTELLIGENCE,R_0185_0002__KNOW] :
      ( r_0185_0001__We(R_0185_0001__WE)
      & r_0185_0003__three_r_0185_0004__things(R_0185_0003__THREE_R_0185_0004__THINGS)
      & r_0185_0006__intelligence(R_0185_0006__INTELLIGENCE)
      & r_0185_0002__know(R_0185_0002__KNOW)
      & has_r_0185_0005__about__nim(R_0185_0002__KNOW,R_0185_0006__INTELLIGENCE)
      & has_arg1(R_0185_0002__KNOW,R_0185_0003__THREE_R_0185_0004__THINGS)
      & has_arg0(R_0185_0002__KNOW,R_0185_0001__WE) ) ).