15_a_ted_talk_11
If you're at a dinner party, and you say you work in education --
( (FRAG (PP-SCON (P-CONN If;{if})
(IP-ADV (ILYR (ILYR (NP-SBJ (PRO you;{you}))
(BEP;_Ipr_ <apos>re;{be[at]})
(PP-CLR (P-ROLE at;{at})
(NP (D a;{a})
(N dinner;{dinner})
(N party;{party}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (PRO you;{you}))
(VBP;_Tf_ say;{say})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
(VBP;_I_ work;{work})
(PP-NIM (P-ROLE in;{in})
(NP (N education;{education}))))))))))
(PUNC --))
(ID 15_a_ted_talk_11))
arc(r_0015_0001__If,r_0015_0009__and,restriction).
arc(r_0015_0001__If,z_0015_5011,scope).
arc(r_0015_0003___apos_re_r_0015_0004__at,r_0015_0002__you,arg0).
arc(r_0015_0003___apos_re_r_0015_0004__at,r_0015_0005__a_r_0015_0006__dinner_r_0015_0007__party,arg1).
arc(r_0015_0009__and,r_0015_0003___apos_re_r_0015_0004__at,conj1).
arc(r_0015_0009__and,r_0015_0011__say,conj2).
arc(r_0015_0011__say,r_0015_0002__you,arg0).
arc(r_0015_0011__say,r_0015_0013__work,arg1).
arc(r_0015_0013__work,r_0015_0002__you,arg0).
arc(r_0015_0013__work,r_0015_0015__education,r_0015_0014__in__nim).
fof(formula,axiom,
! [R_0015_0009__AND,R_0015_0002__YOU,R_0015_0005__A_R_0015_0006__DINNER_R_0015_0007__PARTY,R_0015_0003___APOS_RE_R_0015_0004__AT,R_0015_0015__EDUCATION,R_0015_0013__WORK,R_0015_0011__SAY] :
( ( r_0015_0002__you(R_0015_0002__YOU)
& r_0015_0005__a_r_0015_0006__dinner_r_0015_0007__party(R_0015_0005__A_R_0015_0006__DINNER_R_0015_0007__PARTY)
& r_0015_0015__education(R_0015_0015__EDUCATION)
& r_0015_0009__and(R_0015_0009__AND)
& has_conj2(R_0015_0009__AND,R_0015_0011__SAY)
& r_0015_0011__say(R_0015_0011__SAY)
& has_arg1(R_0015_0011__SAY,R_0015_0013__WORK)
& r_0015_0013__work(R_0015_0013__WORK)
& has_r_0015_0014__in__nim(R_0015_0013__WORK,R_0015_0015__EDUCATION)
& has_arg0(R_0015_0013__WORK,R_0015_0002__YOU)
& has_arg0(R_0015_0011__SAY,R_0015_0002__YOU)
& has_conj1(R_0015_0009__AND,R_0015_0003___APOS_RE_R_0015_0004__AT)
& r_0015_0003___apos_re_r_0015_0004__at(R_0015_0003___APOS_RE_R_0015_0004__AT)
& has_arg1(R_0015_0003___APOS_RE_R_0015_0004__AT,R_0015_0005__A_R_0015_0006__DINNER_R_0015_0007__PARTY)
& has_arg0(R_0015_0003___APOS_RE_R_0015_0004__AT,R_0015_0002__YOU) )
=> ? [Z_0015_5011] : z_0015_5011(Z_0015_5011) ) ).