7_a_ted_talk_11
One is the extraordinary evidence of human creativity in all of the presentations that we've had and in all of the people here.
( (IP-MAT (NP-SBJ (NUM One;{one}))
(BEP;_Ln_ is;{be})
(NP-PRD (D the;{the})
(ADJP (ADJ extraordinary;{extraordinary}))
(N evidence;{evidence})
(PP (P-ROLE of;{of})
(NP;{CREATIVITY} (ADJP (ADJ human;{human}))
(N creativity;{creativity})))
(PP (PP (P-ROLE in;{in})
(NP (Q;_nphd_ all;{all})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS presentations;{presentation})
(IP-REL (C that;{that})
(NP-SBJ (PRO we;{we}))
(HVP;_cat_Ve_ <apos>ve;{have})
(IP-PPL-CAT (NP-OB1 *T*)
(HVN;_Tn_ had;{have})))))))
(CONJP (CONJ and;{and})
(PP (P-ROLE in;{in})
(NP (Q;_nphd_ all;{all})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N people;{people})
(ADVP-NIM (ADV here;{here})))))))))
(PUNC .))
(ID 7_a_ted_talk_11))
arc(r_0007_0002__is,r_0007_0001__One,arg0).
arc(r_0007_0002__is,r_0007_0003__the_r_0007_0005__evidence,prd).
arc(r_0007_0003__the_r_0007_0005__evidence,r_0007_0004__extraordinary,attrib).
arc(r_0007_0003__the_r_0007_0005__evidence,r_0007_0008__creativity,r_0007_0006__of).
arc(r_0007_0003__the_r_0007_0005__evidence,r_0007_0018__and,z_0007_5007).
arc(r_0007_0008__creativity,r_0007_0007__human,attrib).
arc(r_0007_0010__all__quant,r_0007_0020__all__quant,scope).
arc(r_0007_0010__all__quant,z_0007_5015,restriction).
arc(r_0007_0016___apos_ve,r_0007_0017__had,scope).
arc(r_0007_0017__had,r_0007_0012__the_r_0007_0013__presentations,inv_arg1).
arc(r_0007_0017__had,r_0007_0015__we,arg0).
arc(r_0007_0018__and,z_0007_5015,r_0007_0009__in).
arc(r_0007_0018__and,z_0007_5020,r_0007_0019__in).
arc(r_0007_0020__all__quant,r_0007_0018__and,scope).
arc(r_0007_0020__all__quant,z_0007_5020,restriction).
arc(r_0007_0022__the_r_0007_0023__people,r_0007_0024__here,nim).
arc(z_0007_5015,r_0007_0012__the_r_0007_0013__presentations,r_0007_0011__of).
arc(z_0007_5020,r_0007_0022__the_r_0007_0023__people,r_0007_0021__of).
fof(formula,axiom,
! [Z_0007_5015,R_0007_0015__WE,R_0007_0016___APOS_VE_R_0007_0017__HAD,R_0007_0012__THE_R_0007_0013__PRESENTATIONS] :
( ( r_0007_0015__we(R_0007_0015__WE)
& z_0007_5015(Z_0007_5015)
& has_r_0007_0011__of(Z_0007_5015,R_0007_0012__THE_R_0007_0013__PRESENTATIONS)
& r_0007_0012__the_r_0007_0013__presentations(R_0007_0012__THE_R_0007_0013__PRESENTATIONS)
& has_inv_arg1(R_0007_0012__THE_R_0007_0013__PRESENTATIONS,R_0007_0016___APOS_VE_R_0007_0017__HAD)
& r_0007_0016___apos_ve_r_0007_0017__had(R_0007_0016___APOS_VE_R_0007_0017__HAD)
& has_arg0(R_0007_0016___APOS_VE_R_0007_0017__HAD,R_0007_0015__WE) )
=> ! [Z_0007_5020,R_0007_0024__HERE,R_0007_0022__THE_R_0007_0023__PEOPLE] :
( ( r_0007_0024__here(R_0007_0024__HERE)
& z_0007_5020(Z_0007_5020)
& has_r_0007_0021__of(Z_0007_5020,R_0007_0022__THE_R_0007_0023__PEOPLE)
& r_0007_0022__the_r_0007_0023__people(R_0007_0022__THE_R_0007_0023__PEOPLE)
& has_nim(R_0007_0022__THE_R_0007_0023__PEOPLE,R_0007_0024__HERE) )
=> ? [R_0007_0001__ONE,R_0007_0004__EXTRAORDINARY,R_0007_0007__HUMAN,R_0007_0008__CREATIVITY,R_0007_0018__AND,R_0007_0003__THE_R_0007_0005__EVIDENCE,R_0007_0002__IS] :
( r_0007_0001__One(R_0007_0001__ONE)
& r_0007_0004__extraordinary(R_0007_0004__EXTRAORDINARY)
& r_0007_0007__human(R_0007_0007__HUMAN)
& r_0007_0002__is(R_0007_0002__IS)
& has_prd(R_0007_0002__IS,R_0007_0003__THE_R_0007_0005__EVIDENCE)
& r_0007_0003__the_r_0007_0005__evidence(R_0007_0003__THE_R_0007_0005__EVIDENCE)
& has_z_0007_5007(R_0007_0003__THE_R_0007_0005__EVIDENCE,R_0007_0018__AND)
& r_0007_0018__and(R_0007_0018__AND)
& has_r_0007_0019__in(R_0007_0018__AND,Z_0007_5020)
& has_r_0007_0009__in(R_0007_0018__AND,Z_0007_5015)
& has_r_0007_0006__of(R_0007_0003__THE_R_0007_0005__EVIDENCE,R_0007_0008__CREATIVITY)
& r_0007_0008__creativity(R_0007_0008__CREATIVITY)
& has_attrib(R_0007_0008__CREATIVITY,R_0007_0007__HUMAN)
& has_attrib(R_0007_0003__THE_R_0007_0005__EVIDENCE,R_0007_0004__EXTRAORDINARY)
& has_arg0(R_0007_0002__IS,R_0007_0001__ONE) ) ) ) ).