191_a_ted_talk_11
If you look at the interactions of a human brain, as we heard yesterday from a number of presentations, intelligence is wonderfully interactive.

n191_a_ted_talk_11 n191_a_ted_talk_11__1_1_1_1 If n191_a_ted_talk_11__1_1_2_1_1_1 you n191_a_ted_talk_11__1_1_2_2_1 look n191_a_ted_talk_11__1_1_2_3_1_1 at n191_a_ted_talk_11__1_1_2_3_2_1_1 the n191_a_ted_talk_11__1_1_2_3_2_2_1 interactions n191_a_ted_talk_11__1_1_2_3_2_3_1_1 of n191_a_ted_talk_11__1_1_2_3_2_3_2_1_1 a n191_a_ted_talk_11__1_1_2_3_2_3_2_2_1_1 human n191_a_ted_talk_11__1_1_2_3_2_3_2_3_1 brain n191_a_ted_talk_11__1_2_1 , n191_a_ted_talk_11__1_3_1_1 as n191_a_ted_talk_11__1_3_2_1_1_1 we n191_a_ted_talk_11__1_3_2_2_1 heard n191_a_ted_talk_11__1_3_2_3_1_1 yesterday n191_a_ted_talk_11__1_3_2_4_1_1 from n191_a_ted_talk_11__1_3_2_4_2_1_1 a n191_a_ted_talk_11__1_3_2_4_2_2_1 number n191_a_ted_talk_11__1_3_2_4_2_3_1_1 of n191_a_ted_talk_11__1_3_2_4_2_3_2_1_1 presentations n191_a_ted_talk_11__1_4_1 , n191_a_ted_talk_11__1_5_1_1 intelligence n191_a_ted_talk_11__1_6_1 is n191_a_ted_talk_11__1_7_1_1_1 wonderfully n191_a_ted_talk_11__1_7_2_1 interactive n191_a_ted_talk_11__1_8_1 . n191_a_ted_talk_11__1 IP-MAT n191_a_ted_talk_11__1_1 PP-SCON n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_1 n191_a_ted_talk_11__1_2 PUNC n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_2 n191_a_ted_talk_11__1_3 PP-SCON n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_3 n191_a_ted_talk_11__1_4 PUNC n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_4 n191_a_ted_talk_11__1_5 NP-SBJ n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_5 n191_a_ted_talk_11__1_6 BEP;_La_ n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_6 n191_a_ted_talk_11__1_7 ADJP-PRD n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_7 n191_a_ted_talk_11__1_8 PUNC n191_a_ted_talk_11__1->n191_a_ted_talk_11__1_8 n191_a_ted_talk_11__1_1_1 P-CONN n191_a_ted_talk_11__1_1->n191_a_ted_talk_11__1_1_1 n191_a_ted_talk_11__1_1_2 IP-ADV n191_a_ted_talk_11__1_1->n191_a_ted_talk_11__1_1_2 n191_a_ted_talk_11__1_1_1->n191_a_ted_talk_11__1_1_1_1 n191_a_ted_talk_11__1_1_2_1 NP-SBJ n191_a_ted_talk_11__1_1_2->n191_a_ted_talk_11__1_1_2_1 n191_a_ted_talk_11__1_1_2_2 VBP;_Ipr_ n191_a_ted_talk_11__1_1_2->n191_a_ted_talk_11__1_1_2_2 n191_a_ted_talk_11__1_1_2_3 PP-CLR n191_a_ted_talk_11__1_1_2->n191_a_ted_talk_11__1_1_2_3 n191_a_ted_talk_11__1_1_2_1_1 PRO n191_a_ted_talk_11__1_1_2_1->n191_a_ted_talk_11__1_1_2_1_1 n191_a_ted_talk_11__1_1_2_1_1->n191_a_ted_talk_11__1_1_2_1_1_1 n191_a_ted_talk_11__1_1_2_2->n191_a_ted_talk_11__1_1_2_2_1 n191_a_ted_talk_11__1_1_2_3_1 P-ROLE n191_a_ted_talk_11__1_1_2_3->n191_a_ted_talk_11__1_1_2_3_1 n191_a_ted_talk_11__1_1_2_3_2 NP n191_a_ted_talk_11__1_1_2_3->n191_a_ted_talk_11__1_1_2_3_2 n191_a_ted_talk_11__1_1_2_3_1->n191_a_ted_talk_11__1_1_2_3_1_1 n191_a_ted_talk_11__1_1_2_3_2_1 D n191_a_ted_talk_11__1_1_2_3_2->n191_a_ted_talk_11__1_1_2_3_2_1 n191_a_ted_talk_11__1_1_2_3_2_2 NS n191_a_ted_talk_11__1_1_2_3_2->n191_a_ted_talk_11__1_1_2_3_2_2 n191_a_ted_talk_11__1_1_2_3_2_3 PP n191_a_ted_talk_11__1_1_2_3_2->n191_a_ted_talk_11__1_1_2_3_2_3 n191_a_ted_talk_11__1_1_2_3_2_1->n191_a_ted_talk_11__1_1_2_3_2_1_1 n191_a_ted_talk_11__1_1_2_3_2_2->n191_a_ted_talk_11__1_1_2_3_2_2_1 n191_a_ted_talk_11__1_1_2_3_2_3_1 P-ROLE n191_a_ted_talk_11__1_1_2_3_2_3->n191_a_ted_talk_11__1_1_2_3_2_3_1 n191_a_ted_talk_11__1_1_2_3_2_3_2 NP n191_a_ted_talk_11__1_1_2_3_2_3->n191_a_ted_talk_11__1_1_2_3_2_3_2 n191_a_ted_talk_11__1_1_2_3_2_3_1->n191_a_ted_talk_11__1_1_2_3_2_3_1_1 n191_a_ted_talk_11__1_1_2_3_2_3_2_1 D n191_a_ted_talk_11__1_1_2_3_2_3_2->n191_a_ted_talk_11__1_1_2_3_2_3_2_1 n191_a_ted_talk_11__1_1_2_3_2_3_2_2 ADJP n191_a_ted_talk_11__1_1_2_3_2_3_2->n191_a_ted_talk_11__1_1_2_3_2_3_2_2 n191_a_ted_talk_11__1_1_2_3_2_3_2_3 N n191_a_ted_talk_11__1_1_2_3_2_3_2->n191_a_ted_talk_11__1_1_2_3_2_3_2_3 n191_a_ted_talk_11__1_1_2_3_2_3_2_1->n191_a_ted_talk_11__1_1_2_3_2_3_2_1_1 n191_a_ted_talk_11__1_1_2_3_2_3_2_2_1 ADJ n191_a_ted_talk_11__1_1_2_3_2_3_2_2->n191_a_ted_talk_11__1_1_2_3_2_3_2_2_1 n191_a_ted_talk_11__1_1_2_3_2_3_2_2_1->n191_a_ted_talk_11__1_1_2_3_2_3_2_2_1_1 n191_a_ted_talk_11__1_1_2_3_2_3_2_3->n191_a_ted_talk_11__1_1_2_3_2_3_2_3_1 n191_a_ted_talk_11__1_2->n191_a_ted_talk_11__1_2_1 n191_a_ted_talk_11__1_3_1 P-CONN n191_a_ted_talk_11__1_3->n191_a_ted_talk_11__1_3_1 n191_a_ted_talk_11__1_3_2 IP-ADV n191_a_ted_talk_11__1_3->n191_a_ted_talk_11__1_3_2 n191_a_ted_talk_11__1_3_1->n191_a_ted_talk_11__1_3_1_1 n191_a_ted_talk_11__1_3_2_1 NP-SBJ n191_a_ted_talk_11__1_3_2->n191_a_ted_talk_11__1_3_2_1 n191_a_ted_talk_11__1_3_2_2 VBD;_I_ n191_a_ted_talk_11__1_3_2->n191_a_ted_talk_11__1_3_2_2 n191_a_ted_talk_11__1_3_2_3 ADVP-NIM n191_a_ted_talk_11__1_3_2->n191_a_ted_talk_11__1_3_2_3 n191_a_ted_talk_11__1_3_2_4 PP-NIM n191_a_ted_talk_11__1_3_2->n191_a_ted_talk_11__1_3_2_4 n191_a_ted_talk_11__1_3_2_1_1 PRO n191_a_ted_talk_11__1_3_2_1->n191_a_ted_talk_11__1_3_2_1_1 n191_a_ted_talk_11__1_3_2_1_1->n191_a_ted_talk_11__1_3_2_1_1_1 n191_a_ted_talk_11__1_3_2_2->n191_a_ted_talk_11__1_3_2_2_1 n191_a_ted_talk_11__1_3_2_3_1 ADV n191_a_ted_talk_11__1_3_2_3->n191_a_ted_talk_11__1_3_2_3_1 n191_a_ted_talk_11__1_3_2_3_1->n191_a_ted_talk_11__1_3_2_3_1_1 n191_a_ted_talk_11__1_3_2_4_1 P-ROLE n191_a_ted_talk_11__1_3_2_4->n191_a_ted_talk_11__1_3_2_4_1 n191_a_ted_talk_11__1_3_2_4_2 NP n191_a_ted_talk_11__1_3_2_4->n191_a_ted_talk_11__1_3_2_4_2 n191_a_ted_talk_11__1_3_2_4_1->n191_a_ted_talk_11__1_3_2_4_1_1 n191_a_ted_talk_11__1_3_2_4_2_1 D n191_a_ted_talk_11__1_3_2_4_2->n191_a_ted_talk_11__1_3_2_4_2_1 n191_a_ted_talk_11__1_3_2_4_2_2 N n191_a_ted_talk_11__1_3_2_4_2->n191_a_ted_talk_11__1_3_2_4_2_2 n191_a_ted_talk_11__1_3_2_4_2_3 PP n191_a_ted_talk_11__1_3_2_4_2->n191_a_ted_talk_11__1_3_2_4_2_3 n191_a_ted_talk_11__1_3_2_4_2_1->n191_a_ted_talk_11__1_3_2_4_2_1_1 n191_a_ted_talk_11__1_3_2_4_2_2->n191_a_ted_talk_11__1_3_2_4_2_2_1 n191_a_ted_talk_11__1_3_2_4_2_3_1 P-ROLE n191_a_ted_talk_11__1_3_2_4_2_3->n191_a_ted_talk_11__1_3_2_4_2_3_1 n191_a_ted_talk_11__1_3_2_4_2_3_2 NP n191_a_ted_talk_11__1_3_2_4_2_3->n191_a_ted_talk_11__1_3_2_4_2_3_2 n191_a_ted_talk_11__1_3_2_4_2_3_1->n191_a_ted_talk_11__1_3_2_4_2_3_1_1 n191_a_ted_talk_11__1_3_2_4_2_3_2_1 NS n191_a_ted_talk_11__1_3_2_4_2_3_2->n191_a_ted_talk_11__1_3_2_4_2_3_2_1 n191_a_ted_talk_11__1_3_2_4_2_3_2_1->n191_a_ted_talk_11__1_3_2_4_2_3_2_1_1 n191_a_ted_talk_11__1_4->n191_a_ted_talk_11__1_4_1 n191_a_ted_talk_11__1_5_1 N n191_a_ted_talk_11__1_5->n191_a_ted_talk_11__1_5_1 n191_a_ted_talk_11__1_5_1->n191_a_ted_talk_11__1_5_1_1 n191_a_ted_talk_11__1_6->n191_a_ted_talk_11__1_6_1 n191_a_ted_talk_11__1_7_1 ADVP n191_a_ted_talk_11__1_7->n191_a_ted_talk_11__1_7_1 n191_a_ted_talk_11__1_7_2 ADJ n191_a_ted_talk_11__1_7->n191_a_ted_talk_11__1_7_2 n191_a_ted_talk_11__1_7_1_1 ADV n191_a_ted_talk_11__1_7_1->n191_a_ted_talk_11__1_7_1_1 n191_a_ted_talk_11__1_7_1_1->n191_a_ted_talk_11__1_7_1_1_1 n191_a_ted_talk_11__1_7_2->n191_a_ted_talk_11__1_7_2_1 n191_a_ted_talk_11__1_8->n191_a_ted_talk_11__1_8_1
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Ipr_ look;{look[at]})
                           (PP-CLR (P-ROLE at;{at})
                                   (NP (D the;{the})
                                       (NS interactions;{interaction})
                                       (PP (P-ROLE of;{of})
                                           (NP (D a;{a})
                                               (ADJP (ADJ human;{human}))
                                               (N brain;{brain})))))))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (VBD;_I_ heard;{hear})
                           (ADVP-NIM (ADV yesterday;{yesterday}))
                           (PP-NIM (P-ROLE from;{from})
                                   (NP (D a;{a})
                                       (N number;{number})
                                       (PP (P-ROLE of;{of})
                                           (NP (NS presentations;{presentation})))))))
          (PUNC ,)
          (NP-SBJ (N intelligence;{intelligence}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV wonderfully;{wonderfully}))
                    (ADJ interactive;{interactive}))
          (PUNC .))
  (ID 191_a_ted_talk_11))



%3 r_0191_0025__interactive interactive r_0191_0024__wonderfully wonderfully r_0191_0025__interactive->r_0191_0024__wonderfully [qual] r_0191_0023__is is r_0191_0023__is->r_0191_0025__interactive [prd] r_0191_0022__intelligence intelligence r_0191_0023__is->r_0191_0022__intelligence [arg0] r_0191_0017__a_r_0191_0018__number a number r_0191_0020__presentations presentations r_0191_0017__a_r_0191_0018__number->r_0191_0020__presentations of r_0191_0014__heard heard r_0191_0014__heard->r_0191_0017__a_r_0191_0018__number from [nim] r_0191_0015__yesterday yesterday r_0191_0014__heard->r_0191_0015__yesterday [nim] r_0191_0013__we we r_0191_0014__heard->r_0191_0013__we [arg0] r_0191_0012__as as r_0191_0012__as->r_0191_0023__is [scope] r_0191_0012__as->r_0191_0014__heard [restriction] r_0191_0008__a_r_0191_0010__brain a brain r_0191_0009__human human r_0191_0008__a_r_0191_0010__brain->r_0191_0009__human [attrib] r_0191_0005__the_r_0191_0006__interactions the interactions r_0191_0005__the_r_0191_0006__interactions->r_0191_0008__a_r_0191_0010__brain of r_0191_0003__look_r_0191_0004__at look at r_0191_0003__look_r_0191_0004__at->r_0191_0005__the_r_0191_0006__interactions [arg1] r_0191_0002__you you r_0191_0003__look_r_0191_0004__at->r_0191_0002__you [arg0] r_0191_0001__If If r_0191_0001__If->r_0191_0012__as [scope] r_0191_0001__If->r_0191_0003__look_r_0191_0004__at [restriction]
arc(r_0191_0001__If,r_0191_0003__look_r_0191_0004__at,restriction).
arc(r_0191_0001__If,r_0191_0012__as,scope).
arc(r_0191_0003__look_r_0191_0004__at,r_0191_0002__you,arg0).
arc(r_0191_0003__look_r_0191_0004__at,r_0191_0005__the_r_0191_0006__interactions,arg1).
arc(r_0191_0005__the_r_0191_0006__interactions,r_0191_0008__a_r_0191_0010__brain,r_0191_0007__of).
arc(r_0191_0008__a_r_0191_0010__brain,r_0191_0009__human,attrib).
arc(r_0191_0012__as,r_0191_0014__heard,restriction).
arc(r_0191_0012__as,r_0191_0023__is,scope).
arc(r_0191_0014__heard,r_0191_0013__we,arg0).
arc(r_0191_0014__heard,r_0191_0015__yesterday,nim).
arc(r_0191_0014__heard,r_0191_0017__a_r_0191_0018__number,r_0191_0016__from__nim).
arc(r_0191_0017__a_r_0191_0018__number,r_0191_0020__presentations,r_0191_0019__of).
arc(r_0191_0023__is,r_0191_0022__intelligence,arg0).
arc(r_0191_0023__is,r_0191_0025__interactive,prd).
arc(r_0191_0025__interactive,r_0191_0024__wonderfully,qual).



%3 r_0191_0001__If If r_0191_0003__look_r_0191_0004__at look at r_0191_0001__If->r_0191_0003__look_r_0191_0004__at [restriction] r_0191_0012__as as r_0191_0001__If->r_0191_0012__as [scope] r_0191_0002__you you r_0191_0003__look_r_0191_0004__at->r_0191_0002__you [arg0] r_0191_0005__the_r_0191_0006__interactions the interactions r_0191_0003__look_r_0191_0004__at->r_0191_0005__the_r_0191_0006__interactions [arg1] r_0191_0014__heard heard r_0191_0012__as->r_0191_0014__heard [conj1] r_0191_0023__is is r_0191_0012__as->r_0191_0023__is [conj2] r_0191_0008__a_r_0191_0010__brain a brain r_0191_0005__the_r_0191_0006__interactions->r_0191_0008__a_r_0191_0010__brain of r_0191_0009__human human r_0191_0008__a_r_0191_0010__brain->r_0191_0009__human [attrib] r_0191_0013__we we r_0191_0014__heard->r_0191_0013__we [arg0] r_0191_0015__yesterday yesterday r_0191_0014__heard->r_0191_0015__yesterday [nim] r_0191_0017__a_r_0191_0018__number a number r_0191_0014__heard->r_0191_0017__a_r_0191_0018__number from [nim] r_0191_0022__intelligence intelligence r_0191_0023__is->r_0191_0022__intelligence [arg0] r_0191_0025__interactive interactive r_0191_0023__is->r_0191_0025__interactive [prd] r_0191_0020__presentations presentations r_0191_0017__a_r_0191_0018__number->r_0191_0020__presentations of r_0191_0024__wonderfully wonderfully r_0191_0025__interactive->r_0191_0024__wonderfully [qual]
fof(formula,axiom,
    ! [R_0191_0003__LOOK_R_0191_0004__AT,R_0191_0002__YOU,R_0191_0009__HUMAN,R_0191_0008__A_R_0191_0010__BRAIN,R_0191_0005__THE_R_0191_0006__INTERACTIONS] :
      ( ( r_0191_0002__you(R_0191_0002__YOU)
        & r_0191_0009__human(R_0191_0009__HUMAN)
        & r_0191_0003__look_r_0191_0004__at(R_0191_0003__LOOK_R_0191_0004__AT)
        & has_arg1(R_0191_0003__LOOK_R_0191_0004__AT,R_0191_0005__THE_R_0191_0006__INTERACTIONS)
        & r_0191_0005__the_r_0191_0006__interactions(R_0191_0005__THE_R_0191_0006__INTERACTIONS)
        & has_r_0191_0007__of(R_0191_0005__THE_R_0191_0006__INTERACTIONS,R_0191_0008__A_R_0191_0010__BRAIN)
        & r_0191_0008__a_r_0191_0010__brain(R_0191_0008__A_R_0191_0010__BRAIN)
        & has_attrib(R_0191_0008__A_R_0191_0010__BRAIN,R_0191_0009__HUMAN)
        & has_arg0(R_0191_0003__LOOK_R_0191_0004__AT,R_0191_0002__YOU) )
     => ? [R_0191_0013__WE,R_0191_0015__YESTERDAY,R_0191_0020__PRESENTATIONS,R_0191_0017__A_R_0191_0018__NUMBER,R_0191_0014__HEARD,R_0191_0022__INTELLIGENCE,R_0191_0024__WONDERFULLY,R_0191_0025__INTERACTIVE,R_0191_0023__IS,R_0191_0012__AS] :
          ( r_0191_0013__we(R_0191_0013__WE)
          & r_0191_0015__yesterday(R_0191_0015__YESTERDAY)
          & r_0191_0020__presentations(R_0191_0020__PRESENTATIONS)
          & r_0191_0022__intelligence(R_0191_0022__INTELLIGENCE)
          & r_0191_0024__wonderfully(R_0191_0024__WONDERFULLY)
          & r_0191_0012__as(R_0191_0012__AS)
          & has_conj2(R_0191_0012__AS,R_0191_0023__IS)
          & r_0191_0023__is(R_0191_0023__IS)
          & has_prd(R_0191_0023__IS,R_0191_0025__INTERACTIVE)
          & r_0191_0025__interactive(R_0191_0025__INTERACTIVE)
          & has_qual(R_0191_0025__INTERACTIVE,R_0191_0024__WONDERFULLY)
          & has_arg0(R_0191_0023__IS,R_0191_0022__INTELLIGENCE)
          & has_conj1(R_0191_0012__AS,R_0191_0014__HEARD)
          & r_0191_0014__heard(R_0191_0014__HEARD)
          & has_r_0191_0016__from__nim(R_0191_0014__HEARD,R_0191_0017__A_R_0191_0018__NUMBER)
          & r_0191_0017__a_r_0191_0018__number(R_0191_0017__A_R_0191_0018__NUMBER)
          & has_r_0191_0019__of(R_0191_0017__A_R_0191_0018__NUMBER,R_0191_0020__PRESENTATIONS)
          & has_nim(R_0191_0014__HEARD,R_0191_0015__YESTERDAY)
          & has_arg0(R_0191_0014__HEARD,R_0191_0013__WE) ) ) ).