TSPC 145_a_loosechange

145_a_loosechange
Those two women at the next table, with their matching hand bags and shoes, they did nothing but lunch.

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

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,attrib).
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,attrib).
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__nim).
arc(r_0145_0018__did,z_0145_5013,arg1).
arc(r_0145_0019__nothing__quant,r_0145_0018__did,scope).
arc(r_0145_0019__nothing__quant,z_0145_5013,restriction).
arc(z_0145_5013,r_0145_0021__lunch,r_0145_0020__but).

fof(formula,axiom,
    ! [Z_0145_5013,R_0145_0021__LUNCH] :
      ( ( r_0145_0021__lunch(R_0145_0021__LUNCH)
        & z_0145_5013(Z_0145_5013)
        & has_r_0145_0020__but(Z_0145_5013,R_0145_0021__LUNCH) )
     => ? [R_0145_0006__NEXT,R_0145_0005__THE_R_0145_0007__TABLE,R_0145_0001__THOSE_R_0145_0002__TWO_R_0145_0003__WOMEN,R_0145_0011__MATCHING,R_0145_0012__HAND_R_0145_0013__BAGS,R_0145_0015__SHOES,R_0145_0014__AND,R_0145_0018__DID] :
          ( r_0145_0006__next(R_0145_0006__NEXT)
          & r_0145_0011__matching(R_0145_0011__MATCHING)
          & r_0145_0012__hand_r_0145_0013__bags(R_0145_0012__HAND_R_0145_0013__BAGS)
          & r_0145_0015__shoes(R_0145_0015__SHOES)
          & r_0145_0018__did(R_0145_0018__DID)
          & has_arg1(R_0145_0018__DID,Z_0145_5013)
          & has_r_0145_0009__with__nim(R_0145_0018__DID,R_0145_0014__AND)
          & r_0145_0014__and(R_0145_0014__AND)
          & has_conj2(R_0145_0014__AND,R_0145_0015__SHOES)
          & has_conj1(R_0145_0014__AND,R_0145_0012__HAND_R_0145_0013__BAGS)
          & has_attrib(R_0145_0014__AND,R_0145_0011__MATCHING)
          & has_gen(R_0145_0014__AND,R_0145_0001__THOSE_R_0145_0002__TWO_R_0145_0003__WOMEN)
          & r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women(R_0145_0001__THOSE_R_0145_0002__TWO_R_0145_0003__WOMEN)
          & has_r_0145_0004__at(R_0145_0001__THOSE_R_0145_0002__TWO_R_0145_0003__WOMEN,R_0145_0005__THE_R_0145_0007__TABLE)
          & r_0145_0005__the_r_0145_0007__table(R_0145_0005__THE_R_0145_0007__TABLE)
          & has_attrib(R_0145_0005__THE_R_0145_0007__TABLE,R_0145_0006__NEXT)
          & has_arg0(R_0145_0018__DID,R_0145_0001__THOSE_R_0145_0002__TWO_R_0145_0003__WOMEN) ) ) ).