( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Ip_ got;{get[back]})
                           (ADVP-CLR (RP back;{back}))
                           (PP-NIM (P-ROLE with;{with})
                                   (NP (D the;{the})
                                       (N tea;{tea})))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Ipr_ pushed;{push[over]})
          (PP-CLR (P-ROLE over;{over})
                  (NP;{COINS} (D the;{the})
                              (NS twenty_<hyphen>_pences;{twenty_pences})
                              (IP-REL (NP-OB1 *T*)
                                      (NP-SBJ (PRO I;{I}))
                                      (VBD;_Tn_ owed;{owe})
                                      (NP-OB2;{LAYLOR} (PRO her;{her})))))
          (PUNC .))
  (ID 66_a_loosechange))

arc(r_0066_0001__When,r_0066_0003__got_r_0066_0004__back,restriction).
arc(r_0066_0001__When,r_0066_0010__pushed_r_0066_0011__over,scope).
arc(r_0066_0003__got_r_0066_0004__back,r_0066_0002__I,arg0).
arc(r_0066_0003__got_r_0066_0004__back,r_0066_0006__the_r_0066_0007__tea,r_0066_0005__with__nim).
arc(r_0066_0010__pushed_r_0066_0011__over,r_0066_0002__I,arg0).
arc(r_0066_0010__pushed_r_0066_0011__over,r_0066_0012__the_r_0066_0013__twenty__hyphen__pences,arg1).
arc(r_0066_0015__owed,r_0066_0002__I,arg0).
arc(r_0066_0015__owed,r_0066_0012__the_r_0066_0013__twenty__hyphen__pences,inv_arg1).
arc(r_0066_0015__owed,r_0066_0016__her,arg2).

fof(formula,axiom,
    ! [R_0066_0003__GOT_R_0066_0004__BACK,R_0066_0002__I,R_0066_0006__THE_R_0066_0007__TEA] :
      ( ( r_0066_0002__I(R_0066_0002__I)
        & r_0066_0006__the_r_0066_0007__tea(R_0066_0006__THE_R_0066_0007__TEA)
        & r_0066_0003__got_r_0066_0004__back(R_0066_0003__GOT_R_0066_0004__BACK)
        & has_r_0066_0005__with__nim(R_0066_0003__GOT_R_0066_0004__BACK,R_0066_0006__THE_R_0066_0007__TEA)
        & has_arg0(R_0066_0003__GOT_R_0066_0004__BACK,R_0066_0002__I) )
     => ? [R_0066_0016__HER,R_0066_0015__OWED,R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES,R_0066_0010__PUSHED_R_0066_0011__OVER] :
          ( r_0066_0016__her(R_0066_0016__HER)
          & r_0066_0010__pushed_r_0066_0011__over(R_0066_0010__PUSHED_R_0066_0011__OVER)
          & has_arg1(R_0066_0010__PUSHED_R_0066_0011__OVER,R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES)
          & r_0066_0012__the_r_0066_0013__twenty__hyphen__pences(R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES)
          & has_inv_arg1(R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES,R_0066_0015__OWED)
          & r_0066_0015__owed(R_0066_0015__OWED)
          & has_arg2(R_0066_0015__OWED,R_0066_0016__HER)
          & has_arg0(R_0066_0015__OWED,R_0066_0002__I)
          & has_arg0(R_0066_0010__PUSHED_R_0066_0011__OVER,R_0066_0002__I) ) ) ).