arc(r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women, r_0145_0005__the_r_0145_0007__table, r_0145_0004__at).
arc(r_0145_0005__the_r_0145_0007__table, r_0145_0006__next, attrib15).
arc(r_0145_0014__and, r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women, gen).
arc(r_0145_0014__and, r_0145_0011__matching, attrib29).
arc(r_0145_0014__and, r_0145_0012__hand_r_0145_0013__bags, conj1).
arc(r_0145_0014__and, r_0145_0015__shoes, conj2).
arc(r_0145_0018__did, r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women, arg0).
arc(r_0145_0018__did, r_0145_0014__and, r_0145_0009__with_nim25).
arc(r_0145_0018__did, z_000_145_a_loosechange_51, arg1).
arc(r_0145_0019__nothing_quant, r_0145_0018__did, scope).
arc(r_0145_0019__nothing_quant, z_000_145_a_loosechange_51, restriction).
arc(z_000_145_a_loosechange_51, r_0145_0021__lunch, r_0145_0020__but).

fof(formula,axiom,
    ! [Z_145_A_LOOSECHANGE_51,R_145_21_LUNCH] :
      ( ( lunch(R_145_21_LUNCH)
        & z_145_a_loosechange_51(Z_145_A_LOOSECHANGE_51)
        & but(Z_145_A_LOOSECHANGE_51,R_145_21_LUNCH) )
     => ? [R_145_18_DID,R_145_14_AND,R_145_11_MATCHING,R_145_12_HAND_BAGS,R_145_15_SHOES,R_145_1_THOSE_TWO_WOMEN,R_145_5_THE_TABLE,R_145_6_NEXT] :
          ( matching(R_145_11_MATCHING)
          & hand_bags(R_145_12_HAND_BAGS)
          & shoes(R_145_15_SHOES)
          & next(R_145_6_NEXT)
          & did(R_145_18_DID,R_145_1_THOSE_TWO_WOMEN,Z_145_A_LOOSECHANGE_51)
          & those_two_women(R_145_1_THOSE_TWO_WOMEN)
          & at(R_145_1_THOSE_TWO_WOMEN,R_145_5_THE_TABLE)
          & the_table(R_145_5_THE_TABLE)
          & attrib15(R_145_5_THE_TABLE,R_145_6_NEXT)
          & with_nim25(R_145_18_DID,R_145_14_AND)
          & and(R_145_14_AND)
          & attrib29(R_145_14_AND,R_145_11_MATCHING)
          & conj1(R_145_14_AND,R_145_12_HAND_BAGS)
          & conj2(R_145_14_AND,R_145_15_SHOES)
          & gen(R_145_14_AND,R_145_1_THOSE_TWO_WOMEN) ) ) ).

( (IP-MAT (NP-TPC-DSC;{WOMEN} (D Those;{those})
                              (NUM two;{two})
                              (NS women;{woman})
                              (PP (P-ROLE at;{at})
                                  (NP (D the;{the})
                                      (ADJP (ADJ next;{next}))
                                      (N table;{table}))))
          (PUNC ,)
          (PP-NIM (P-ROLE with;{with})
                  (NP (NP-GEN;{WOMEN} (PRO;_genm_ their;{their}))
                      (ADJP (ADJ matching;{matching}))
                      (NLYR (NLYR (N hand;{hand})
                                  (NS bags;{bag}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (NS shoes;{shoe}))))))
          (PUNC ,)
          (NP-SBJ;{WOMEN} (PRO they;{they}))
          (DOD;_Tn_ did;{do})
          (NP-OB1 (Q;_nphd_ nothing;{nothing})
                  (PP (P-ROLE but;{but})
                      (NP (N lunch;{lunch}))))
          (PUNC .))
  (ID 145_a_loosechange))