141_a_ted_talk_11
If you were to visit education, as an alien, and say “What's it for, public education?”
arc(utterance_141_a_ted_talk_11_41, r_0141_0016___apos_s, part1).
arc(r_0141_0001__If, r_0141_0003__were, restriction).
arc(r_0141_0001__If, z_000_141_a_ted_talk_11_1, scope).
arc(r_0141_0003__were, r_0141_0012__and, scope).
arc(r_0141_0005__visit, r_0141_0002__you, arg0).
arc(r_0141_0005__visit, r_0141_0006__education, arg1).
arc(r_0141_0005__visit, r_0141_0009__an_r_0141_0010__alien, r_0141_0008__as_nim26).
arc(r_0141_0012__and, r_0141_0005__visit, conj1).
arc(r_0141_0012__and, r_0141_0013__say, conj2).
arc(r_0141_0013__say, utterance_141_a_ted_talk_11_41, arg1).
arc(r_0141_0013__say, r_0141_0002__you, arg0).
arc(r_0141_0016___apos_s, r_0141_0015__What, r_0141_0018__for_clr55).
arc(r_0141_0016___apos_s, r_0141_0021__education, arg0).
arc(r_0141_0021__education, r_0141_0020__public, attrib60).
fof(formula,axiom,
( ~ ? [R_141_12_AND,R_141_5_VISIT,R_141_6_EDUCATION,R_141_9_AN_ALIEN,R_141_13_SAY,R_141_2_YOU,UTTERANCE_141_A_TED_TALK_11_41,R_141_16__APOS_S,R_141_21_EDUCATION,R_141_20_PUBLIC,R_141_15_WHAT] :
( education(R_141_6_EDUCATION)
& an_alien(R_141_9_AN_ALIEN)
& you(R_141_2_YOU)
& public(R_141_20_PUBLIC)
& what(R_141_15_WHAT)
& and(R_141_12_AND)
& conj1(R_141_12_AND,R_141_5_VISIT)
& visit(R_141_5_VISIT,R_141_2_YOU,R_141_6_EDUCATION)
& as_nim26(R_141_5_VISIT,R_141_9_AN_ALIEN)
& conj2(R_141_12_AND,R_141_13_SAY)
& say(R_141_13_SAY,R_141_2_YOU,UTTERANCE_141_A_TED_TALK_11_41)
& utterance_141_a_ted_talk_11_41(UTTERANCE_141_A_TED_TALK_11_41)
& part1(UTTERANCE_141_A_TED_TALK_11_41,R_141_16__APOS_S)
& _apos_s(R_141_16__APOS_S,R_141_21_EDUCATION)
& education(R_141_21_EDUCATION)
& attrib60(R_141_21_EDUCATION,R_141_20_PUBLIC)
& for_clr55(R_141_16__APOS_S,R_141_15_WHAT) )
=> ? [Z_141_A_TED_TALK_11_1] : true ) ).
( (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 141_a_ted_talk_11))