15_a_ted_talk_11
If you're at a dinner party, and you say you work in education --

%3 r_0015_0001__If If r_0015_0009__and and r_0015_0001__If->r_0015_0009__and [restriction] z_000_15_a_ted_talk_11_1 r_0015_0001__If->z_000_15_a_ted_talk_11_1 [scope] r_0015_0003___apos_re 're r_0015_0009__and->r_0015_0003___apos_re [conj1] r_0015_0011__say say r_0015_0009__and->r_0015_0011__say [conj2] r_0015_0002__you you r_0015_0003___apos_re->r_0015_0002__you [arg0] r_0015_0005__a_r_0015_0006__dinner_r_0015_0007__party a dinner party r_0015_0003___apos_re->r_0015_0005__a_r_0015_0006__dinner_r_0015_0007__party at [clr] r_0015_0011__say->r_0015_0002__you [arg0] r_0015_0013__work work r_0015_0011__say->r_0015_0013__work [arg1] r_0015_0013__work->r_0015_0002__you [arg0] r_0015_0015__education education r_0015_0013__work->r_0015_0015__education in [nim]
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).



%3 r_0015_0001__If If r_0015_0009__and and r_0015_0001__If->r_0015_0009__and [restriction] z_000_15_a_ted_talk_11_1 r_0015_0001__If->z_000_15_a_ted_talk_11_1 [scope] r_0015_0003___apos_re 're r_0015_0009__and->r_0015_0003___apos_re [conj1] r_0015_0011__say say r_0015_0009__and->r_0015_0011__say [conj2] r_0015_0002__you you r_0015_0003___apos_re->r_0015_0002__you [arg0] r_0015_0005__a_r_0015_0006__dinner_r_0015_0007__party a dinner party r_0015_0003___apos_re->r_0015_0005__a_r_0015_0006__dinner_r_0015_0007__party at [clr] r_0015_0011__say->r_0015_0002__you [arg0] r_0015_0013__work work r_0015_0011__say->r_0015_0013__work [arg1] r_0015_0013__work->r_0015_0002__you [arg0] r_0015_0015__education education r_0015_0013__work->r_0015_0015__education in [nim]
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 ) ).



n15_a_ted_talk_11 n15_a_ted_talk_11_4 If n15_a_ted_talk_11_10 you n15_a_ted_talk_11_12 're n15_a_ted_talk_11_15 at n15_a_ted_talk_11_18 a n15_a_ted_talk_11_20 dinner n15_a_ted_talk_11_22 party n15_a_ted_talk_11_24 , n15_a_ted_talk_11_27 and n15_a_ted_talk_11_31 you n15_a_ted_talk_11_33 say n15_a_ted_talk_11_38 you n15_a_ted_talk_11_40 work n15_a_ted_talk_11_43 in n15_a_ted_talk_11_46 education n15_a_ted_talk_11_48 -- n15_a_ted_talk_11_1 FRAG n15_a_ted_talk_11_2 PP-SCON n15_a_ted_talk_11_1->n15_a_ted_talk_11_2 n15_a_ted_talk_11_47 PUNC n15_a_ted_talk_11_1->n15_a_ted_talk_11_47 n15_a_ted_talk_11_3 P-CONN n15_a_ted_talk_11_2->n15_a_ted_talk_11_3 n15_a_ted_talk_11_5 IP-ADV n15_a_ted_talk_11_2->n15_a_ted_talk_11_5 n15_a_ted_talk_11_3->n15_a_ted_talk_11_4 n15_a_ted_talk_11_6 ILYR n15_a_ted_talk_11_5->n15_a_ted_talk_11_6 n15_a_ted_talk_11_7 ILYR n15_a_ted_talk_11_6->n15_a_ted_talk_11_7 n15_a_ted_talk_11_23 PUNC n15_a_ted_talk_11_6->n15_a_ted_talk_11_23 n15_a_ted_talk_11_25 CONJP n15_a_ted_talk_11_6->n15_a_ted_talk_11_25 n15_a_ted_talk_11_8 NP-SBJ n15_a_ted_talk_11_7->n15_a_ted_talk_11_8 n15_a_ted_talk_11_11 BEP;_Ipr_ n15_a_ted_talk_11_7->n15_a_ted_talk_11_11 n15_a_ted_talk_11_13 PP-CLR n15_a_ted_talk_11_7->n15_a_ted_talk_11_13 n15_a_ted_talk_11_9 PRO n15_a_ted_talk_11_8->n15_a_ted_talk_11_9 n15_a_ted_talk_11_9->n15_a_ted_talk_11_10 n15_a_ted_talk_11_11->n15_a_ted_talk_11_12 n15_a_ted_talk_11_14 P-ROLE n15_a_ted_talk_11_13->n15_a_ted_talk_11_14 n15_a_ted_talk_11_16 NP n15_a_ted_talk_11_13->n15_a_ted_talk_11_16 n15_a_ted_talk_11_14->n15_a_ted_talk_11_15 n15_a_ted_talk_11_17 D n15_a_ted_talk_11_16->n15_a_ted_talk_11_17 n15_a_ted_talk_11_19 N n15_a_ted_talk_11_16->n15_a_ted_talk_11_19 n15_a_ted_talk_11_21 N n15_a_ted_talk_11_16->n15_a_ted_talk_11_21 n15_a_ted_talk_11_17->n15_a_ted_talk_11_18 n15_a_ted_talk_11_19->n15_a_ted_talk_11_20 n15_a_ted_talk_11_21->n15_a_ted_talk_11_22 n15_a_ted_talk_11_23->n15_a_ted_talk_11_24 n15_a_ted_talk_11_26 CONJ n15_a_ted_talk_11_25->n15_a_ted_talk_11_26 n15_a_ted_talk_11_28 ILYR n15_a_ted_talk_11_25->n15_a_ted_talk_11_28 n15_a_ted_talk_11_26->n15_a_ted_talk_11_27 n15_a_ted_talk_11_29 NP-SBJ n15_a_ted_talk_11_28->n15_a_ted_talk_11_29 n15_a_ted_talk_11_32 VBP;_Tf_ n15_a_ted_talk_11_28->n15_a_ted_talk_11_32 n15_a_ted_talk_11_34 CP-THT-OB1 n15_a_ted_talk_11_28->n15_a_ted_talk_11_34 n15_a_ted_talk_11_30 PRO n15_a_ted_talk_11_29->n15_a_ted_talk_11_30 n15_a_ted_talk_11_30->n15_a_ted_talk_11_31 n15_a_ted_talk_11_32->n15_a_ted_talk_11_33 n15_a_ted_talk_11_35 IP-SUB n15_a_ted_talk_11_34->n15_a_ted_talk_11_35 n15_a_ted_talk_11_36 NP-SBJ n15_a_ted_talk_11_35->n15_a_ted_talk_11_36 n15_a_ted_talk_11_39 VBP;_I_ n15_a_ted_talk_11_35->n15_a_ted_talk_11_39 n15_a_ted_talk_11_41 PP-NIM n15_a_ted_talk_11_35->n15_a_ted_talk_11_41 n15_a_ted_talk_11_37 PRO n15_a_ted_talk_11_36->n15_a_ted_talk_11_37 n15_a_ted_talk_11_37->n15_a_ted_talk_11_38 n15_a_ted_talk_11_39->n15_a_ted_talk_11_40 n15_a_ted_talk_11_42 P-ROLE n15_a_ted_talk_11_41->n15_a_ted_talk_11_42 n15_a_ted_talk_11_44 NP n15_a_ted_talk_11_41->n15_a_ted_talk_11_44 n15_a_ted_talk_11_42->n15_a_ted_talk_11_43 n15_a_ted_talk_11_45 N n15_a_ted_talk_11_44->n15_a_ted_talk_11_45 n15_a_ted_talk_11_45->n15_a_ted_talk_11_46 n15_a_ted_talk_11_47->n15_a_ted_talk_11_48
( (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))