Context                Previous, Next                Top


17_a_ted_talk_11
If you work in education, you're not asked.

%3 r_0017_0001__If If r_0017_0003__work work r_0017_0001__If->r_0017_0003__work [restriction] r_0017_0008___apos_re 're r_0017_0001__If->r_0017_0008___apos_re [scope] r_0017_0002__you you r_0017_0003__work->r_0017_0002__you [arg0] r_0017_0005__education education r_0017_0003__work->r_0017_0005__education in [nim] r_0017_0009__not not r_0017_0008___apos_re->r_0017_0009__not [scope] r_0017_0010__asked asked r_0017_0009__not->r_0017_0010__asked [keep_scope] r_0017_0010__asked->r_0017_0002__you [arg1] z_000_17_a_ted_talk_11_25 r_0017_0010__asked->z_000_17_a_ted_talk_11_25 [arg0] 
arc(r_0017_0001__If, r_0017_0003__work, restriction).
arc(r_0017_0001__If, r_0017_0008___apos_re, scope).
arc(r_0017_0003__work, r_0017_0002__you, arg0).
arc(r_0017_0003__work, r_0017_0005__education, r_0017_0004__in_nim14).
arc(r_0017_0008___apos_re, r_0017_0009__not, scope).
arc(r_0017_0009__not, r_0017_0010__asked, keep_scope).
arc(r_0017_0010__asked, r_0017_0002__you, arg1).
arc(r_0017_0010__asked, z_000_17_a_ted_talk_11_25, arg0).


%3 r_0017_0010__asked asked z_000_17_a_ted_talk_11_25 r_0017_0010__asked->z_000_17_a_ted_talk_11_25 [arg0] r_0017_0002__you you r_0017_0010__asked->r_0017_0002__you [arg1] r_0017_0008___apos_re_r_0017_0009__not 're not r_0017_0008___apos_re_r_0017_0009__not->r_0017_0010__asked [keep_scope] r_0017_0003__work work r_0017_0003__work->r_0017_0002__you [arg0] r_0017_0005__education education r_0017_0003__work->r_0017_0005__education in [nim] r_0017_0001__If If r_0017_0001__If->r_0017_0008___apos_re_r_0017_0009__not [scope] r_0017_0001__If->r_0017_0003__work [restriction] 
fof(formula,axiom,
    ! [R_17_3_WORK,R_17_2_YOU,R_17_5_EDUCATION] :
      ( ( you(R_17_2_YOU)
        & education(R_17_5_EDUCATION)
        & work(R_17_3_WORK,R_17_2_YOU)
        & in_nim14(R_17_3_WORK,R_17_5_EDUCATION) )
     => ~ ? [R_17_10_ASKED,Z_17_A_TED_TALK_11_25] : asked(R_17_10_ASKED,Z_17_A_TED_TALK_11_25,R_17_2_YOU) ) ).


n17_a_ted_talk_11 n17_a_ted_talk_11__1_1_1_1 If n17_a_ted_talk_11__1_1_2_1_1_1 you n17_a_ted_talk_11__1_1_2_2_1 work n17_a_ted_talk_11__1_1_2_3_1_1 in n17_a_ted_talk_11__1_1_2_3_2_1_1 education n17_a_ted_talk_11__1_2_1 , n17_a_ted_talk_11__1_3_1_1 you n17_a_ted_talk_11__1_4_1 're n17_a_ted_talk_11__1_5_1_1 * n17_a_ted_talk_11__1_5_2_1 not n17_a_ted_talk_11__1_5_3_1 asked n17_a_ted_talk_11__1_6_1 . n17_a_ted_talk_11__1 IP-MAT n17_a_ted_talk_11__1_1 PP-SCON n17_a_ted_talk_11__1->n17_a_ted_talk_11__1_1 n17_a_ted_talk_11__1_2 PUNC n17_a_ted_talk_11__1->n17_a_ted_talk_11__1_2 n17_a_ted_talk_11__1_3 NP-SBJ n17_a_ted_talk_11__1->n17_a_ted_talk_11__1_3 n17_a_ted_talk_11__1_4 BEP;_cat_VePASS_ n17_a_ted_talk_11__1->n17_a_ted_talk_11__1_4 n17_a_ted_talk_11__1_5 IP-PPL-CAT n17_a_ted_talk_11__1->n17_a_ted_talk_11__1_5 n17_a_ted_talk_11__1_6 PUNC n17_a_ted_talk_11__1->n17_a_ted_talk_11__1_6 n17_a_ted_talk_11__1_1_1 P-CONN n17_a_ted_talk_11__1_1->n17_a_ted_talk_11__1_1_1 n17_a_ted_talk_11__1_1_2 IP-ADV n17_a_ted_talk_11__1_1->n17_a_ted_talk_11__1_1_2 n17_a_ted_talk_11__1_1_1->n17_a_ted_talk_11__1_1_1_1 n17_a_ted_talk_11__1_1_2_1 NP-SBJ n17_a_ted_talk_11__1_1_2->n17_a_ted_talk_11__1_1_2_1 n17_a_ted_talk_11__1_1_2_2 VBP;_I_ n17_a_ted_talk_11__1_1_2->n17_a_ted_talk_11__1_1_2_2 n17_a_ted_talk_11__1_1_2_3 PP-NIM n17_a_ted_talk_11__1_1_2->n17_a_ted_talk_11__1_1_2_3 n17_a_ted_talk_11__1_1_2_1_1 PRO n17_a_ted_talk_11__1_1_2_1->n17_a_ted_talk_11__1_1_2_1_1 n17_a_ted_talk_11__1_1_2_1_1->n17_a_ted_talk_11__1_1_2_1_1_1 n17_a_ted_talk_11__1_1_2_2->n17_a_ted_talk_11__1_1_2_2_1 n17_a_ted_talk_11__1_1_2_3_1 P-ROLE n17_a_ted_talk_11__1_1_2_3->n17_a_ted_talk_11__1_1_2_3_1 n17_a_ted_talk_11__1_1_2_3_2 NP n17_a_ted_talk_11__1_1_2_3->n17_a_ted_talk_11__1_1_2_3_2 n17_a_ted_talk_11__1_1_2_3_1->n17_a_ted_talk_11__1_1_2_3_1_1 n17_a_ted_talk_11__1_1_2_3_2_1 N n17_a_ted_talk_11__1_1_2_3_2->n17_a_ted_talk_11__1_1_2_3_2_1 n17_a_ted_talk_11__1_1_2_3_2_1->n17_a_ted_talk_11__1_1_2_3_2_1_1 n17_a_ted_talk_11__1_2->n17_a_ted_talk_11__1_2_1 n17_a_ted_talk_11__1_3_1 PRO n17_a_ted_talk_11__1_3->n17_a_ted_talk_11__1_3_1 n17_a_ted_talk_11__1_3_1->n17_a_ted_talk_11__1_3_1_1 n17_a_ted_talk_11__1_4->n17_a_ted_talk_11__1_4_1 n17_a_ted_talk_11__1_5_1 NP-LGS n17_a_ted_talk_11__1_5->n17_a_ted_talk_11__1_5_1 n17_a_ted_talk_11__1_5_2 NEG n17_a_ted_talk_11__1_5->n17_a_ted_talk_11__1_5_2 n17_a_ted_talk_11__1_5_3 VVN;_Tn_ n17_a_ted_talk_11__1_5->n17_a_ted_talk_11__1_5_3 n17_a_ted_talk_11__1_5_1->n17_a_ted_talk_11__1_5_1_1 n17_a_ted_talk_11__1_5_2->n17_a_ted_talk_11__1_5_2_1 n17_a_ted_talk_11__1_5_3->n17_a_ted_talk_11__1_5_3_1 n17_a_ted_talk_11__1_6->n17_a_ted_talk_11__1_6_1 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_I_ work;{work})
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (N education;{education})))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (BEP;_cat_VePASS_ <apos>re;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (NEG not;{not})
                      (VVN;_Tn_ asked;{ask}))
          (PUNC .))
  (ID 17_a_ted_talk_11))