15_a_ted_talk_11
If you're at a dinner party, and you say you work in education --
arc(r_0015_0001__If, r_0015_0009__and, restriction).
arc(r_0015_0001__If, z_000_15_a_ted_talk_11_1, scope).
arc(r_0015_0003___apos_re, r_0015_0002__you, arg0).
arc(r_0015_0003___apos_re, r_0015_0005__a_r_0015_0006__dinner_r_0015_0007__party, r_0015_0004__at_clr16).
arc(r_0015_0009__and, r_0015_0003___apos_re, 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_nim44).
fof(formula,axiom,
! [R_15_9_AND,R_15_3__APOS_RE,R_15_5_A_DINNER_PARTY,R_15_11_SAY,R_15_13_WORK,R_15_2_YOU,R_15_15_EDUCATION] :
( ( a_dinner_party(R_15_5_A_DINNER_PARTY)
& you(R_15_2_YOU)
& education(R_15_15_EDUCATION)
& and(R_15_9_AND)
& conj1(R_15_9_AND,R_15_3__APOS_RE)
& _apos_re(R_15_3__APOS_RE,R_15_2_YOU)
& at_clr16(R_15_3__APOS_RE,R_15_5_A_DINNER_PARTY)
& conj2(R_15_9_AND,R_15_11_SAY)
& say(R_15_11_SAY,R_15_2_YOU,R_15_13_WORK)
& work(R_15_13_WORK,R_15_2_YOU)
& in_nim44(R_15_13_WORK,R_15_15_EDUCATION) )
=> ? [Z_15_A_TED_TALK_11_1] : true ) ).
( (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))