185_a_ted_talk_11
We know three things about intelligence.
( (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))
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).
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) ) ).