( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
          (HVD;_cat_Ve_ <apos>d;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV even;{even}))
                      (ADVP-NIM (ADV cunningly;{cunningly}))
                      (VVN;_VP24A_ made;{make})
                      (NP-OB1 (PRO me;{I}))
                      (IP-PPL-PRD (NP-LGS *)
                                  (VVN;_Tn.pr_ obliged;{oblige})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP;{LAYLOR} (PRO her;{her})))))
          (PUNC .))
  (ID 139_a_loosechange))

arc(r_0139_0002___apos_d,r_0139_0005__made,scope).
arc(r_0139_0005__made,r_0139_0001__She,arg0).
arc(r_0139_0005__made,r_0139_0003__even,nim).
arc(r_0139_0005__made,r_0139_0004__cunningly,nim).
arc(r_0139_0005__made,r_0139_0006__me,arg1).
arc(r_0139_0005__made,r_0139_0007__obliged_r_0139_0008__to,prd).
arc(r_0139_0007__obliged_r_0139_0008__to,r_0139_0001__She,arg2).
arc(r_0139_0007__obliged_r_0139_0008__to,z_0139_5004,arg1).
arc(r_0139_0007__obliged_r_0139_0008__to,z_0139_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0139_0001__SHE,R_0139_0003__EVEN,R_0139_0004__CUNNINGLY,R_0139_0006__ME,Z_0139_5004,Z_0139_5006___STAR_,R_0139_0007__OBLIGED_R_0139_0008__TO,R_0139_0002___APOS_D_R_0139_0005__MADE] :
      ( r_0139_0001__She(R_0139_0001__SHE)
      & r_0139_0003__even(R_0139_0003__EVEN)
      & r_0139_0004__cunningly(R_0139_0004__CUNNINGLY)
      & r_0139_0006__me(R_0139_0006__ME)
      & z_0139_5004(Z_0139_5004)
      & z_0139_5006___star_(Z_0139_5006___STAR_)
      & r_0139_0002___apos_d_r_0139_0005__made(R_0139_0002___APOS_D_R_0139_0005__MADE)
      & has_prd(R_0139_0002___APOS_D_R_0139_0005__MADE,R_0139_0007__OBLIGED_R_0139_0008__TO)
      & r_0139_0007__obliged_r_0139_0008__to(R_0139_0007__OBLIGED_R_0139_0008__TO)
      & has_arg0(R_0139_0007__OBLIGED_R_0139_0008__TO,Z_0139_5006___STAR_)
      & has_arg1(R_0139_0007__OBLIGED_R_0139_0008__TO,Z_0139_5004)
      & has_arg2(R_0139_0007__OBLIGED_R_0139_0008__TO,R_0139_0001__SHE)
      & has_arg1(R_0139_0002___APOS_D_R_0139_0005__MADE,R_0139_0006__ME)
      & has_nim(R_0139_0002___APOS_D_R_0139_0005__MADE,R_0139_0004__CUNNINGLY)
      & has_nim(R_0139_0002___APOS_D_R_0139_0005__MADE,R_0139_0003__EVEN)
      & has_arg0(R_0139_0002___APOS_D_R_0139_0005__MADE,R_0139_0001__SHE) ) ).