Context                Previous, Next                Top


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_0013__work work r_0015_0015__education education r_0015_0013__work->r_0015_0015__education in [nim] r_0015_0002__you you r_0015_0013__work->r_0015_0002__you [arg0] r_0015_0011__say say r_0015_0011__say->r_0015_0013__work [arg1] r_0015_0011__say->r_0015_0002__you [arg0] r_0015_0009__and and r_0015_0009__and->r_0015_0011__say [conj2] r_0015_0003___apos_re 're r_0015_0009__and->r_0015_0003___apos_re [conj1] 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_0001__If If 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] 
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_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_nim44(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_0003___apos_re(R_0015_0003___APOS_RE)
        & has_r_0015_0004__at_clr16(R_0015_0003___APOS_RE,R_0015_0005__A_R_0015_0006__DINNER_R_0015_0007__PARTY)
        & has_arg0(R_0015_0003___APOS_RE,R_0015_0002__YOU) )
     => ? [Z_000_15_A_TED_TALK_11_1] : z_000_15_a_ted_talk_11_1(Z_000_15_A_TED_TALK_11_1) ) ).


n15_a_ted_talk_11 n15_a_ted_talk_11__1_1_1_1 If n15_a_ted_talk_11__1_1_2_1_1_1_1_1 you n15_a_ted_talk_11__1_1_2_1_1_2_1 're n15_a_ted_talk_11__1_1_2_1_1_3_1_1 at n15_a_ted_talk_11__1_1_2_1_1_3_2_1_1 a n15_a_ted_talk_11__1_1_2_1_1_3_2_2_1 dinner n15_a_ted_talk_11__1_1_2_1_1_3_2_3_1 party n15_a_ted_talk_11__1_1_2_1_2_1 , n15_a_ted_talk_11__1_1_2_1_3_1_1 and n15_a_ted_talk_11__1_1_2_1_3_2_1_1_1 you n15_a_ted_talk_11__1_1_2_1_3_2_2_1 say n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1_1_1 you n15_a_ted_talk_11__1_1_2_1_3_2_3_1_2_1 work n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_1_1 in n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2_1_1 education n15_a_ted_talk_11__1_2_1 -- n15_a_ted_talk_11__1 FRAG n15_a_ted_talk_11__1_1 PP-SCON n15_a_ted_talk_11__1->n15_a_ted_talk_11__1_1 n15_a_ted_talk_11__1_2 PUNC n15_a_ted_talk_11__1->n15_a_ted_talk_11__1_2 n15_a_ted_talk_11__1_1_1 P-CONN n15_a_ted_talk_11__1_1->n15_a_ted_talk_11__1_1_1 n15_a_ted_talk_11__1_1_2 IP-ADV n15_a_ted_talk_11__1_1->n15_a_ted_talk_11__1_1_2 n15_a_ted_talk_11__1_1_1->n15_a_ted_talk_11__1_1_1_1 n15_a_ted_talk_11__1_1_2_1 ILYR n15_a_ted_talk_11__1_1_2->n15_a_ted_talk_11__1_1_2_1 n15_a_ted_talk_11__1_1_2_1_1 ILYR n15_a_ted_talk_11__1_1_2_1->n15_a_ted_talk_11__1_1_2_1_1 n15_a_ted_talk_11__1_1_2_1_2 PUNC n15_a_ted_talk_11__1_1_2_1->n15_a_ted_talk_11__1_1_2_1_2 n15_a_ted_talk_11__1_1_2_1_3 CONJP n15_a_ted_talk_11__1_1_2_1->n15_a_ted_talk_11__1_1_2_1_3 n15_a_ted_talk_11__1_1_2_1_1_1 NP-SBJ n15_a_ted_talk_11__1_1_2_1_1->n15_a_ted_talk_11__1_1_2_1_1_1 n15_a_ted_talk_11__1_1_2_1_1_2 BEP;_Ipr_ n15_a_ted_talk_11__1_1_2_1_1->n15_a_ted_talk_11__1_1_2_1_1_2 n15_a_ted_talk_11__1_1_2_1_1_3 PP-CLR n15_a_ted_talk_11__1_1_2_1_1->n15_a_ted_talk_11__1_1_2_1_1_3 n15_a_ted_talk_11__1_1_2_1_1_1_1 PRO n15_a_ted_talk_11__1_1_2_1_1_1->n15_a_ted_talk_11__1_1_2_1_1_1_1 n15_a_ted_talk_11__1_1_2_1_1_1_1->n15_a_ted_talk_11__1_1_2_1_1_1_1_1 n15_a_ted_talk_11__1_1_2_1_1_2->n15_a_ted_talk_11__1_1_2_1_1_2_1 n15_a_ted_talk_11__1_1_2_1_1_3_1 P-ROLE n15_a_ted_talk_11__1_1_2_1_1_3->n15_a_ted_talk_11__1_1_2_1_1_3_1 n15_a_ted_talk_11__1_1_2_1_1_3_2 NP n15_a_ted_talk_11__1_1_2_1_1_3->n15_a_ted_talk_11__1_1_2_1_1_3_2 n15_a_ted_talk_11__1_1_2_1_1_3_1->n15_a_ted_talk_11__1_1_2_1_1_3_1_1 n15_a_ted_talk_11__1_1_2_1_1_3_2_1 D n15_a_ted_talk_11__1_1_2_1_1_3_2->n15_a_ted_talk_11__1_1_2_1_1_3_2_1 n15_a_ted_talk_11__1_1_2_1_1_3_2_2 N n15_a_ted_talk_11__1_1_2_1_1_3_2->n15_a_ted_talk_11__1_1_2_1_1_3_2_2 n15_a_ted_talk_11__1_1_2_1_1_3_2_3 N n15_a_ted_talk_11__1_1_2_1_1_3_2->n15_a_ted_talk_11__1_1_2_1_1_3_2_3 n15_a_ted_talk_11__1_1_2_1_1_3_2_1->n15_a_ted_talk_11__1_1_2_1_1_3_2_1_1 n15_a_ted_talk_11__1_1_2_1_1_3_2_2->n15_a_ted_talk_11__1_1_2_1_1_3_2_2_1 n15_a_ted_talk_11__1_1_2_1_1_3_2_3->n15_a_ted_talk_11__1_1_2_1_1_3_2_3_1 n15_a_ted_talk_11__1_1_2_1_2->n15_a_ted_talk_11__1_1_2_1_2_1 n15_a_ted_talk_11__1_1_2_1_3_1 CONJ n15_a_ted_talk_11__1_1_2_1_3->n15_a_ted_talk_11__1_1_2_1_3_1 n15_a_ted_talk_11__1_1_2_1_3_2 ILYR n15_a_ted_talk_11__1_1_2_1_3->n15_a_ted_talk_11__1_1_2_1_3_2 n15_a_ted_talk_11__1_1_2_1_3_1->n15_a_ted_talk_11__1_1_2_1_3_1_1 n15_a_ted_talk_11__1_1_2_1_3_2_1 NP-SBJ n15_a_ted_talk_11__1_1_2_1_3_2->n15_a_ted_talk_11__1_1_2_1_3_2_1 n15_a_ted_talk_11__1_1_2_1_3_2_2 VBP;_Tf_ n15_a_ted_talk_11__1_1_2_1_3_2->n15_a_ted_talk_11__1_1_2_1_3_2_2 n15_a_ted_talk_11__1_1_2_1_3_2_3 CP-THT-OB1 n15_a_ted_talk_11__1_1_2_1_3_2->n15_a_ted_talk_11__1_1_2_1_3_2_3 n15_a_ted_talk_11__1_1_2_1_3_2_1_1 PRO n15_a_ted_talk_11__1_1_2_1_3_2_1->n15_a_ted_talk_11__1_1_2_1_3_2_1_1 n15_a_ted_talk_11__1_1_2_1_3_2_1_1->n15_a_ted_talk_11__1_1_2_1_3_2_1_1_1 n15_a_ted_talk_11__1_1_2_1_3_2_2->n15_a_ted_talk_11__1_1_2_1_3_2_2_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1 IP-SUB n15_a_ted_talk_11__1_1_2_1_3_2_3->n15_a_ted_talk_11__1_1_2_1_3_2_3_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1 NP-SBJ n15_a_ted_talk_11__1_1_2_1_3_2_3_1->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_2 VBP;_I_ n15_a_ted_talk_11__1_1_2_1_3_2_3_1->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_2 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3 PP-NIM n15_a_ted_talk_11__1_1_2_1_3_2_3_1->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1_1 PRO n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1_1->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_1_1_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_2->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_2_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_1 P-ROLE n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2 NP n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_1->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_1_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2_1 N n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2_1 n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2_1->n15_a_ted_talk_11__1_1_2_1_3_2_3_1_3_2_1_1 n15_a_ted_talk_11__1_2->n15_a_ted_talk_11__1_2_1 
( (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))