arc(r_0084_0001__Leaning, r_0084_0003__elbows, arg1).
arc(r_0084_0001__Leaning, r_0084_0005__the_r_0084_0006__table, r_0084_0004__on_clr15).
arc(r_0084_0001__Leaning, 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_000_84_a_loosechange_2, r_0084_0001__Leaning, restriction).
arc(z_000_84_a_loosechange_2, 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_0013__TEA,R_0084_0009__A_R_0084_0010__SIP,R_0084_0008__TOOK,Z_000_84_A_LOOSECHANGE_2] :
      ( 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_000_84_a_loosechange_2(Z_000_84_A_LOOSECHANGE_2)
      & has_conj2(Z_000_84_A_LOOSECHANGE_2,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_000_84_A_LOOSECHANGE_2,R_0084_0001__LEANING)
      & r_0084_0001__Leaning(R_0084_0001__LEANING)
      & has_arg0(R_0084_0001__LEANING,R_0084_0007__SHE)
      & has_r_0084_0004__on_clr15(R_0084_0001__LEANING,R_0084_0005__THE_R_0084_0006__TABLE)
      & has_arg1(R_0084_0001__LEANING,R_0084_0003__ELBOWS)
      & r_0084_0003__elbows(R_0084_0003__ELBOWS)
      & has_gen(R_0084_0003__ELBOWS,R_0084_0007__SHE) ) ).

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