arc(r_0128_0002__all_quant, r_0128_0003__the_r_0128_0004__money, restriction).
arc(r_0128_0002__all_quant, r_0128_0007__could, scope).
arc(r_0128_0006__had, r_0128_0003__the_r_0128_0004__money, arg1).
arc(r_0128_0006__had, r_0128_0005__they, arg0).
arc(r_0128_0007__could, r_0128_0001__Now, nim2).
arc(r_0128_0007__could, r_0128_0008__be, scope).
arc(r_0128_0008__be, r_0128_0009__lifted, scope).
arc(r_0128_0009__lifted, r_0128_0003__the_r_0128_0004__money, arg1).
arc(r_0128_0009__lifted, r_0128_0011__the_r_0128_0012__palm, r_0128_0010__in_nim33).
arc(r_0128_0009__lifted, r_0128_0017__a_r_0128_0018__stranger, r_0128_0016__to_nim49).
arc(r_0128_0009__lifted, z_000_128_a_loosechange_26, arg0).
arc(r_0128_0011__the_r_0128_0012__palm, r_0128_0014__a_r_0128_0015__hand, r_0128_0013__of).
arc(r_0128_0017__a_r_0128_0018__stranger, r_0128_0020__a_r_0128_0021__toilet, r_0128_0019__in).

fof(formula,axiom,
    ! [R_128_6_HAD,R_128_5_THEY,R_128_3_THE_MONEY] :
      ( ( they(R_128_5_THEY)
        & the_money(R_128_3_THE_MONEY)
        & had(R_128_6_HAD,R_128_5_THEY,R_128_3_THE_MONEY) )
     => ? [R_128_7_COULD_BE_LIFTED,Z_128_A_LOOSECHANGE_26,R_128_1_NOW,R_128_11_THE_PALM,R_128_14_A_HAND,R_128_17_A_STRANGER,R_128_20_A_TOILET] :
          ( now(R_128_1_NOW)
          & a_hand(R_128_14_A_HAND)
          & a_toilet(R_128_20_A_TOILET)
          & could_be_lifted(R_128_7_COULD_BE_LIFTED,Z_128_A_LOOSECHANGE_26,R_128_3_THE_MONEY)
          & nim2(R_128_7_COULD_BE_LIFTED,R_128_1_NOW)
          & in_nim33(R_128_7_COULD_BE_LIFTED,R_128_11_THE_PALM)
          & the_palm(R_128_11_THE_PALM)
          & of(R_128_11_THE_PALM,R_128_14_A_HAND)
          & to_nim49(R_128_7_COULD_BE_LIFTED,R_128_17_A_STRANGER)
          & a_stranger(R_128_17_A_STRANGER)
          & in(R_128_17_A_STRANGER,R_128_20_A_TOILET) ) ) ).

( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (Q;_nphd_ all;{all})
                  (D the;{the})
                  (N money;{money})
                  (IP-REL (NP-OB1 *T*)
                          (NP-SBJ (PRO they;{they}))
                          (HVD;_Tn_ had;{have})))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ lifted;{lift})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N palm;{palm})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D a;{a})
                                                      (N hand;{hand})))))
                                  (PP-NIM (P-ROLE to;{to})
                                          (NP (D a;{a})
                                              (N stranger;{stranger})
                                              (PP (P-ROLE in;{in})
                                                  (NP (D a;{a})
                                                      (N toilet;{toilet})))))))
          (PUNC .))
  (ID 128_a_loosechange))