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_0001__If If r_0017_0003__work work r_0017_0001__If->r_0017_0003__work [restriction] r_0017_0008___apos_re_r_0017_0009__not 're not r_0017_0001__If->r_0017_0008___apos_re_r_0017_0009__not [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_0010__asked asked r_0017_0008___apos_re_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] 
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_4 If n17_a_ted_talk_11_8 you n17_a_ted_talk_11_10 work n17_a_ted_talk_11_13 in n17_a_ted_talk_11_16 education n17_a_ted_talk_11_18 , n17_a_ted_talk_11_21 you n17_a_ted_talk_11_23 're n17_a_ted_talk_11_26 * n17_a_ted_talk_11_28 not n17_a_ted_talk_11_30 asked n17_a_ted_talk_11_32 . n17_a_ted_talk_11_1 IP-MAT n17_a_ted_talk_11_2 PP-SCON n17_a_ted_talk_11_1->n17_a_ted_talk_11_2 n17_a_ted_talk_11_17 PUNC n17_a_ted_talk_11_1->n17_a_ted_talk_11_17 n17_a_ted_talk_11_19 NP-SBJ n17_a_ted_talk_11_1->n17_a_ted_talk_11_19 n17_a_ted_talk_11_22 BEP;_cat_VePASS_ n17_a_ted_talk_11_1->n17_a_ted_talk_11_22 n17_a_ted_talk_11_24 IP-PPL-CAT n17_a_ted_talk_11_1->n17_a_ted_talk_11_24 n17_a_ted_talk_11_31 PUNC n17_a_ted_talk_11_1->n17_a_ted_talk_11_31 n17_a_ted_talk_11_3 P-CONN n17_a_ted_talk_11_2->n17_a_ted_talk_11_3 n17_a_ted_talk_11_5 IP-ADV n17_a_ted_talk_11_2->n17_a_ted_talk_11_5 n17_a_ted_talk_11_3->n17_a_ted_talk_11_4 n17_a_ted_talk_11_6 NP-SBJ n17_a_ted_talk_11_5->n17_a_ted_talk_11_6 n17_a_ted_talk_11_9 VBP;_I_ n17_a_ted_talk_11_5->n17_a_ted_talk_11_9 n17_a_ted_talk_11_11 PP-NIM n17_a_ted_talk_11_5->n17_a_ted_talk_11_11 n17_a_ted_talk_11_7 PRO n17_a_ted_talk_11_6->n17_a_ted_talk_11_7 n17_a_ted_talk_11_7->n17_a_ted_talk_11_8 n17_a_ted_talk_11_9->n17_a_ted_talk_11_10 n17_a_ted_talk_11_12 P-ROLE n17_a_ted_talk_11_11->n17_a_ted_talk_11_12 n17_a_ted_talk_11_14 NP n17_a_ted_talk_11_11->n17_a_ted_talk_11_14 n17_a_ted_talk_11_12->n17_a_ted_talk_11_13 n17_a_ted_talk_11_15 N n17_a_ted_talk_11_14->n17_a_ted_talk_11_15 n17_a_ted_talk_11_15->n17_a_ted_talk_11_16 n17_a_ted_talk_11_17->n17_a_ted_talk_11_18 n17_a_ted_talk_11_20 PRO n17_a_ted_talk_11_19->n17_a_ted_talk_11_20 n17_a_ted_talk_11_20->n17_a_ted_talk_11_21 n17_a_ted_talk_11_22->n17_a_ted_talk_11_23 n17_a_ted_talk_11_25 NP-LGS n17_a_ted_talk_11_24->n17_a_ted_talk_11_25 n17_a_ted_talk_11_27 NEG n17_a_ted_talk_11_24->n17_a_ted_talk_11_27 n17_a_ted_talk_11_29 VVN;_Tn_ n17_a_ted_talk_11_24->n17_a_ted_talk_11_29 n17_a_ted_talk_11_25->n17_a_ted_talk_11_26 n17_a_ted_talk_11_27->n17_a_ted_talk_11_28 n17_a_ted_talk_11_29->n17_a_ted_talk_11_30 n17_a_ted_talk_11_31->n17_a_ted_talk_11_32 
( (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))