( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (BED;_cat_Vg_ was;{be})
                           (NEG;_clitic_ n<apos>t;{not})
                           (IP-PPL-CAT (VAG;_I_ working;{work})
                                       (ADVP-NIM (ADV here;{here})))))
          (PUNC ...)
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ sad;{sad}))
                      (PUNC ...)
                      (PURQ <rdquo>)
                      (META (PUNC <mdash>)
                            (NP (NPR Maureen;{Maureen})))))
  (ID 11_a_goodwill))

arc(r_0011_0001__If,r_0011_0004__n_apos_t,restriction).
arc(r_0011_0001__If,r_0011_0009__would,scope).
arc(r_0011_0003__was,r_0011_0005__working,scope).
arc(r_0011_0004__n_apos_t,r_0011_0003__was,keep_scope).
arc(r_0011_0005__working,r_0011_0002__I,arg0).
arc(r_0011_0005__working,r_0011_0006__here,nim).
arc(r_0011_0009__would,r_0011_0010__be,scope).
arc(r_0011_0010__be,r_0011_0002__I,arg0).
arc(r_0011_0010__be,r_0011_0011__sad,prd).

fof(formula,axiom,
    ! [R_0011_0004__N_APOS_T] :
      ( ~ ? [R_0011_0002__I,R_0011_0006__HERE,R_0011_0003__WAS_R_0011_0005__WORKING] :
            ( r_0011_0002__I(R_0011_0002__I)
            & r_0011_0006__here(R_0011_0006__HERE)
            & r_0011_0003__was_r_0011_0005__working(R_0011_0003__WAS_R_0011_0005__WORKING)
            & has_nim(R_0011_0003__WAS_R_0011_0005__WORKING,R_0011_0006__HERE)
            & has_arg0(R_0011_0003__WAS_R_0011_0005__WORKING,R_0011_0002__I) )
     => ? [R_0011_0002__I,R_0011_0011__SAD,R_0011_0009__WOULD_R_0011_0010__BE] :
          ( r_0011_0002__I(R_0011_0002__I)
          & r_0011_0011__sad(R_0011_0011__SAD)
          & r_0011_0009__would_r_0011_0010__be(R_0011_0009__WOULD_R_0011_0010__BE)
          & has_prd(R_0011_0009__WOULD_R_0011_0010__BE,R_0011_0011__SAD)
          & has_arg0(R_0011_0009__WOULD_R_0011_0010__BE,R_0011_0002__I) ) ) ).