( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV;{JOBLESS} (NP-SBJ (PRO you;{you}))
                                     (DOD did;{do})
                                     (NEG;_clitic_ n<apos>t;{not})
                                     (HV;_Tn_ have;{have})
                                     (NP-OB1 (D a;{a})
                                             (N job;{job}))))
          (PUNC ,)
          (NP-SBJ;{JOBLESS} (PRO it;{it}))
          (BEP;_Ipr_ <apos>s;{be[because]})
          (PP-CLR (P-ROLE because;{because})
                  (IP-ADV (NP-SBJ (PRO you;{you}))
                          (DOD did;{do})
                          (NEG;_clitic_ n<apos>t;{not})
                          (VB;_Tn_ want;{want})
                          (NP-OB1 (NUM one;{one}))))
          (PUNC .))
  (ID 179_a_ted_talk_11))

arc(r_0179_0001__If,r_0179_0004__n_apos_t,restriction).
arc(r_0179_0001__If,r_0179_0010___apos_s,scope).
arc(r_0179_0003__did_r_0179_0005__have,r_0179_0002__you,arg0).
arc(r_0179_0003__did_r_0179_0005__have,r_0179_0006__a_r_0179_0007__job,arg1).
arc(r_0179_0004__n_apos_t,r_0179_0003__did_r_0179_0005__have,keep_scope).
arc(r_0179_0010___apos_s,r_0179_0003__did_r_0179_0005__have,arg0).
arc(r_0179_0010___apos_s,r_0179_0014__n_apos_t,r_0179_0011__because__clr).
arc(r_0179_0013__did_r_0179_0015__want,r_0179_0002__you,arg0).
arc(r_0179_0013__did_r_0179_0015__want,r_0179_0016__one,arg1).
arc(r_0179_0014__n_apos_t,r_0179_0013__did_r_0179_0015__want,keep_scope).

fof(formula,axiom,
    ! [R_0179_0004__N_APOS_T] :
      ( ~ ? [R_0179_0002__YOU,R_0179_0006__A_R_0179_0007__JOB,R_0179_0003__DID_R_0179_0005__HAVE] :
            ( r_0179_0002__you(R_0179_0002__YOU)
            & r_0179_0006__a_r_0179_0007__job(R_0179_0006__A_R_0179_0007__JOB)
            & r_0179_0003__did_r_0179_0005__have(R_0179_0003__DID_R_0179_0005__HAVE)
            & has_arg1(R_0179_0003__DID_R_0179_0005__HAVE,R_0179_0006__A_R_0179_0007__JOB)
            & has_arg0(R_0179_0003__DID_R_0179_0005__HAVE,R_0179_0002__YOU) )
     => ? [R_0179_0002__YOU,R_0179_0006__A_R_0179_0007__JOB,R_0179_0003__DID_R_0179_0005__HAVE,R_0179_0010___APOS_S] :
          ( r_0179_0002__you(R_0179_0002__YOU)
          & r_0179_0006__a_r_0179_0007__job(R_0179_0006__A_R_0179_0007__JOB)
          & r_0179_0010___apos_s(R_0179_0010___APOS_S)
          & has_r_0179_0011__because__clr(R_0179_0010___APOS_S,R_0179_0014__N_APOS_T)
          & ~ ? [R_0179_0016__ONE,R_0179_0013__DID_R_0179_0015__WANT] :
                ( r_0179_0016__one(R_0179_0016__ONE)
                & r_0179_0013__did_r_0179_0015__want(R_0179_0013__DID_R_0179_0015__WANT)
                & has_arg1(R_0179_0013__DID_R_0179_0015__WANT,R_0179_0016__ONE)
                & has_arg0(R_0179_0013__DID_R_0179_0015__WANT,R_0179_0002__YOU) )
          & has_arg0(R_0179_0010___APOS_S,R_0179_0003__DID_R_0179_0005__HAVE)
          & r_0179_0003__did_r_0179_0005__have(R_0179_0003__DID_R_0179_0005__HAVE)
          & has_arg1(R_0179_0003__DID_R_0179_0005__HAVE,R_0179_0006__A_R_0179_0007__JOB)
          & has_arg0(R_0179_0003__DID_R_0179_0005__HAVE,R_0179_0002__YOU) ) ) ).