140_a_ted_talk_11
If you were to visit education, as an alien, and say “What's it for, public education?”
( (IP-MAT (PP-SCON (P-CONN If;{if})
(IP-ADV (NP-SBJ (PRO you;{you}))
(BED;_cat_Vt_ were;{be})
(IP-INF-CAT (TO to;{to})
(ILYR (ILYR (VB;_Tn_ visit;{visit})
(NP-OB1 (N education;{education}))
(PUNC ,)
(PP-NIM (P-ROLE as;{as})
(NP (D an;{an})
(N alien;{alien}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VB;_Tr_ say;{say})
(PULQ <ldquo>)
(utterance-OB1 (CP-QUE-MAT (IP-SUB (NP-151 (WPRO What;{what}))
(BEP;_Ipr_ <apos>s;{be[for]})
(NP-SBJ (PRO;_provisional_ it;{it}))
(PP-CLR (P-ROLE for;{for})
(NP *ICH*-151))
(PUNC ,)
(NP-NSBJ (ADJP (ADJ public;{public}))
(N education;{education})))
(PUNC ?)))
(PURQ <rdquo>))))))))
(ID 140_a_ted_talk_11))
arc(r_0140_0001__If,r_0140_0003__were,restriction).
arc(r_0140_0001__If,z_0140_5019,scope).
arc(r_0140_0003__were,r_0140_0012__and,scope).
arc(r_0140_0005__visit,r_0140_0002__you,arg0).
arc(r_0140_0005__visit,r_0140_0006__education,arg1).
arc(r_0140_0005__visit,r_0140_0009__an_r_0140_0010__alien,r_0140_0008__as__nim).
arc(r_0140_0012__and,r_0140_0005__visit,conj1).
arc(r_0140_0012__and,r_0140_0013__say,conj2).
arc(r_0140_0013__say,r_0140_0002__you,arg0).
arc(r_0140_0013__say,z_0140_5009__utterance,arg1).
arc(r_0140_0016___apos_s_r_0140_0018__for,r_0140_0015__What,arg1).
arc(r_0140_0016___apos_s_r_0140_0018__for,r_0140_0021__education,arg0).
arc(r_0140_0021__education,r_0140_0020__public,attrib).
arc(z_0140_5009__utterance,r_0140_0016___apos_s_r_0140_0018__for,part1).
arc(z_0140_5019,z_0140_5002,arg0).
fof(formula,axiom,
! [R_0140_0003__WERE,R_0140_0002__YOU,R_0140_0006__EDUCATION,R_0140_0009__AN_R_0140_0010__ALIEN,R_0140_0005__VISIT,R_0140_0015__WHAT,R_0140_0020__PUBLIC,R_0140_0021__EDUCATION,R_0140_0016___APOS_S_R_0140_0018__FOR,Z_0140_5009__UTTERANCE,R_0140_0013__SAY,R_0140_0012__AND] :
( ( r_0140_0002__you(R_0140_0002__YOU)
& r_0140_0006__education(R_0140_0006__EDUCATION)
& r_0140_0009__an_r_0140_0010__alien(R_0140_0009__AN_R_0140_0010__ALIEN)
& r_0140_0015__What(R_0140_0015__WHAT)
& r_0140_0020__public(R_0140_0020__PUBLIC)
& r_0140_0003__were(R_0140_0003__WERE)
& has_keep_scope(R_0140_0003__WERE,R_0140_0012__AND)
& r_0140_0012__and(R_0140_0012__AND)
& has_conj2(R_0140_0012__AND,R_0140_0013__SAY)
& r_0140_0013__say(R_0140_0013__SAY)
& has_arg1(R_0140_0013__SAY,Z_0140_5009__UTTERANCE)
& z_0140_5009__utterance(Z_0140_5009__UTTERANCE)
& has_part1(Z_0140_5009__UTTERANCE,R_0140_0016___APOS_S_R_0140_0018__FOR)
& r_0140_0016___apos_s_r_0140_0018__for(R_0140_0016___APOS_S_R_0140_0018__FOR)
& has_arg0(R_0140_0016___APOS_S_R_0140_0018__FOR,R_0140_0021__EDUCATION)
& r_0140_0021__education(R_0140_0021__EDUCATION)
& has_attrib(R_0140_0021__EDUCATION,R_0140_0020__PUBLIC)
& has_arg1(R_0140_0016___APOS_S_R_0140_0018__FOR,R_0140_0015__WHAT)
& has_arg0(R_0140_0013__SAY,R_0140_0002__YOU)
& has_conj1(R_0140_0012__AND,R_0140_0005__VISIT)
& r_0140_0005__visit(R_0140_0005__VISIT)
& has_r_0140_0008__as__nim(R_0140_0005__VISIT,R_0140_0009__AN_R_0140_0010__ALIEN)
& has_arg1(R_0140_0005__VISIT,R_0140_0006__EDUCATION)
& has_arg0(R_0140_0005__VISIT,R_0140_0002__YOU) )
=> ? [Z_0140_5002,Z_0140_5019] :
( z_0140_5002(Z_0140_5002)
& z_0140_5019(Z_0140_5019)
& has_arg0(Z_0140_5019,Z_0140_5002) ) ) ).