( (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))

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__nim).
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_0017_5007___star_,arg0).

fof(formula,axiom,
    ! [R_0017_0003__WORK,R_0017_0002__YOU,R_0017_0005__EDUCATION] :
      ( ( r_0017_0002__you(R_0017_0002__YOU)
        & r_0017_0005__education(R_0017_0005__EDUCATION)
        & r_0017_0003__work(R_0017_0003__WORK)
        & has_r_0017_0004__in__nim(R_0017_0003__WORK,R_0017_0005__EDUCATION)
        & has_arg0(R_0017_0003__WORK,R_0017_0002__YOU) )
     => ~ ? [Z_0017_5007___STAR_,R_0017_0010__ASKED] :
            ( z_0017_5007___star_(Z_0017_5007___STAR_)
            & r_0017_0010__asked(R_0017_0010__ASKED)
            & has_arg0(R_0017_0010__ASKED,Z_0017_5007___STAR_)
            & has_arg1(R_0017_0010__ASKED,R_0017_0002__YOU) ) ) ).