( (IP-MAT (PP-SCON (IP-PPL2 (VAG;_Tn.pr_ Leaning;{lean[on]})
                            (NP-OB1 (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                    (NS elbows;{elbow}))
                            (PP-CLR (P-ROLE on;{on})
                                    (NP (D the;{the})
                                        (N table;{table})))))
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tn_ took;{take})
          (NP-OB1 (D a;{a})
                  (N sip;{sip})
                  (PP (P-ROLE of;{of})
                      (NP;{TEA} (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                (N tea;{tea}))))
          (PUNC .))
  (ID 84_a_loosechange))

arc(r_0084_0001__Leaning_r_0084_0004__on,r_0084_0003__elbows,arg1).
arc(r_0084_0001__Leaning_r_0084_0004__on,r_0084_0005__the_r_0084_0006__table,arg2).
arc(r_0084_0001__Leaning_r_0084_0004__on,r_0084_0007__she,arg0).
arc(r_0084_0003__elbows,r_0084_0007__she,gen).
arc(r_0084_0008__took,r_0084_0007__she,arg0).
arc(r_0084_0008__took,r_0084_0009__a_r_0084_0010__sip,arg1).
arc(r_0084_0009__a_r_0084_0010__sip,r_0084_0013__tea,r_0084_0011__of).
arc(r_0084_0013__tea,r_0084_0007__she,gen).
arc(z_0084_5002,r_0084_0001__Leaning_r_0084_0004__on,restriction).
arc(z_0084_5002,r_0084_0008__took,scope).

fof(formula,axiom,
    ? [R_0084_0007__SHE,R_0084_0003__ELBOWS,R_0084_0005__THE_R_0084_0006__TABLE,R_0084_0001__LEANING_R_0084_0004__ON,R_0084_0013__TEA,R_0084_0009__A_R_0084_0010__SIP,R_0084_0008__TOOK,Z_0084_5002] :
      ( r_0084_0005__the_r_0084_0006__table(R_0084_0005__THE_R_0084_0006__TABLE)
      & r_0084_0007__she(R_0084_0007__SHE)
      & z_0084_5002(Z_0084_5002)
      & has_conj2(Z_0084_5002,R_0084_0008__TOOK)
      & r_0084_0008__took(R_0084_0008__TOOK)
      & has_arg1(R_0084_0008__TOOK,R_0084_0009__A_R_0084_0010__SIP)
      & r_0084_0009__a_r_0084_0010__sip(R_0084_0009__A_R_0084_0010__SIP)
      & has_r_0084_0011__of(R_0084_0009__A_R_0084_0010__SIP,R_0084_0013__TEA)
      & r_0084_0013__tea(R_0084_0013__TEA)
      & has_gen(R_0084_0013__TEA,R_0084_0007__SHE)
      & has_arg0(R_0084_0008__TOOK,R_0084_0007__SHE)
      & has_conj1(Z_0084_5002,R_0084_0001__LEANING_R_0084_0004__ON)
      & r_0084_0001__Leaning_r_0084_0004__on(R_0084_0001__LEANING_R_0084_0004__ON)
      & has_arg0(R_0084_0001__LEANING_R_0084_0004__ON,R_0084_0007__SHE)
      & has_arg2(R_0084_0001__LEANING_R_0084_0004__ON,R_0084_0005__THE_R_0084_0006__TABLE)
      & has_arg1(R_0084_0001__LEANING_R_0084_0004__ON,R_0084_0003__ELBOWS)
      & r_0084_0003__elbows(R_0084_0003__ELBOWS)
      & has_gen(R_0084_0003__ELBOWS,R_0084_0007__SHE) ) ).