Context                Previous, Next                Top


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

%3 r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women Those two women r_0145_0005__the_r_0145_0007__table the table r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women->r_0145_0005__the_r_0145_0007__table at r_0145_0006__next next r_0145_0005__the_r_0145_0007__table->r_0145_0006__next [attrib] r_0145_0014__and and r_0145_0014__and->r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women [gen] r_0145_0011__matching matching r_0145_0014__and->r_0145_0011__matching [attrib] r_0145_0012__hand_r_0145_0013__bags hand bags r_0145_0014__and->r_0145_0012__hand_r_0145_0013__bags [conj1] r_0145_0015__shoes shoes r_0145_0014__and->r_0145_0015__shoes [conj2] r_0145_0018__did did r_0145_0018__did->r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women [arg0] r_0145_0018__did->r_0145_0014__and with [nim] z_000_145_a_loosechange_51 r_0145_0018__did->z_000_145_a_loosechange_51 [arg1] r_0145_0021__lunch lunch z_000_145_a_loosechange_51->r_0145_0021__lunch but r_0145_0019__nothing_quant nothing [quant] r_0145_0019__nothing_quant->r_0145_0018__did [scope] r_0145_0019__nothing_quant->z_000_145_a_loosechange_51 [restriction] 
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).


%3 z_000_145_a_loosechange_51 r_0145_0021__lunch lunch z_000_145_a_loosechange_51->r_0145_0021__lunch but r_0145_0019__nothing_quant nothing [quant] r_0145_0019__nothing_quant->z_000_145_a_loosechange_51 [restriction] r_0145_0018__did did r_0145_0019__nothing_quant->r_0145_0018__did [scope] r_0145_0018__did->z_000_145_a_loosechange_51 [arg1] r_0145_0014__and and r_0145_0018__did->r_0145_0014__and with [nim] r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women Those two women r_0145_0018__did->r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women [arg0] r_0145_0014__and->r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women [gen] r_0145_0015__shoes shoes r_0145_0014__and->r_0145_0015__shoes [conj2] r_0145_0012__hand_r_0145_0013__bags hand bags r_0145_0014__and->r_0145_0012__hand_r_0145_0013__bags [conj1] r_0145_0011__matching matching r_0145_0014__and->r_0145_0011__matching [attrib] r_0145_0005__the_r_0145_0007__table the table r_0145_0001__Those_r_0145_0002__two_r_0145_0003__women->r_0145_0005__the_r_0145_0007__table at r_0145_0006__next next r_0145_0005__the_r_0145_0007__table->r_0145_0006__next [attrib] 
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) ) ) ).


n145_a_loosechange n145_a_loosechange__1_1_1_1 Those n145_a_loosechange__1_1_2_1 two n145_a_loosechange__1_1_3_1 women n145_a_loosechange__1_1_4_1_1 at n145_a_loosechange__1_1_4_2_1_1 the n145_a_loosechange__1_1_4_2_2_1_1 next n145_a_loosechange__1_1_4_2_3_1 table n145_a_loosechange__1_2_1 , n145_a_loosechange__1_3_1_1 with n145_a_loosechange__1_3_2_1_1_1 their n145_a_loosechange__1_3_2_2_1_1 matching n145_a_loosechange__1_3_2_3_1_1_1 hand n145_a_loosechange__1_3_2_3_1_2_1 bags n145_a_loosechange__1_3_2_3_2_1_1 and n145_a_loosechange__1_3_2_3_2_2_1_1 shoes n145_a_loosechange__1_4_1 , n145_a_loosechange__1_5_1_1 they n145_a_loosechange__1_6_1 did n145_a_loosechange__1_7_1_1 nothing n145_a_loosechange__1_7_2_1_1 but n145_a_loosechange__1_7_2_2_1_1 lunch n145_a_loosechange__1_8_1 . n145_a_loosechange__1 IP-MAT n145_a_loosechange__1_1 NP-TPC-DSC n145_a_loosechange__1->n145_a_loosechange__1_1 n145_a_loosechange__1_2 PUNC n145_a_loosechange__1->n145_a_loosechange__1_2 n145_a_loosechange__1_3 PP-NIM n145_a_loosechange__1->n145_a_loosechange__1_3 n145_a_loosechange__1_4 PUNC n145_a_loosechange__1->n145_a_loosechange__1_4 n145_a_loosechange__1_5 NP-SBJ n145_a_loosechange__1->n145_a_loosechange__1_5 n145_a_loosechange__1_6 DOD;_Tn_ n145_a_loosechange__1->n145_a_loosechange__1_6 n145_a_loosechange__1_7 NP-OB1 n145_a_loosechange__1->n145_a_loosechange__1_7 n145_a_loosechange__1_8 PUNC n145_a_loosechange__1->n145_a_loosechange__1_8 n145_a_loosechange__1_1_1 D n145_a_loosechange__1_1->n145_a_loosechange__1_1_1 n145_a_loosechange__1_1_2 NUM n145_a_loosechange__1_1->n145_a_loosechange__1_1_2 n145_a_loosechange__1_1_3 NS n145_a_loosechange__1_1->n145_a_loosechange__1_1_3 n145_a_loosechange__1_1_4 PP n145_a_loosechange__1_1->n145_a_loosechange__1_1_4 n145_a_loosechange__1_1_1->n145_a_loosechange__1_1_1_1 n145_a_loosechange__1_1_2->n145_a_loosechange__1_1_2_1 n145_a_loosechange__1_1_3->n145_a_loosechange__1_1_3_1 n145_a_loosechange__1_1_4_1 P-ROLE n145_a_loosechange__1_1_4->n145_a_loosechange__1_1_4_1 n145_a_loosechange__1_1_4_2 NP n145_a_loosechange__1_1_4->n145_a_loosechange__1_1_4_2 n145_a_loosechange__1_1_4_1->n145_a_loosechange__1_1_4_1_1 n145_a_loosechange__1_1_4_2_1 D n145_a_loosechange__1_1_4_2->n145_a_loosechange__1_1_4_2_1 n145_a_loosechange__1_1_4_2_2 ADJP n145_a_loosechange__1_1_4_2->n145_a_loosechange__1_1_4_2_2 n145_a_loosechange__1_1_4_2_3 N n145_a_loosechange__1_1_4_2->n145_a_loosechange__1_1_4_2_3 n145_a_loosechange__1_1_4_2_1->n145_a_loosechange__1_1_4_2_1_1 n145_a_loosechange__1_1_4_2_2_1 ADJ n145_a_loosechange__1_1_4_2_2->n145_a_loosechange__1_1_4_2_2_1 n145_a_loosechange__1_1_4_2_2_1->n145_a_loosechange__1_1_4_2_2_1_1 n145_a_loosechange__1_1_4_2_3->n145_a_loosechange__1_1_4_2_3_1 n145_a_loosechange__1_2->n145_a_loosechange__1_2_1 n145_a_loosechange__1_3_1 P-ROLE n145_a_loosechange__1_3->n145_a_loosechange__1_3_1 n145_a_loosechange__1_3_2 NP n145_a_loosechange__1_3->n145_a_loosechange__1_3_2 n145_a_loosechange__1_3_1->n145_a_loosechange__1_3_1_1 n145_a_loosechange__1_3_2_1 NP-GEN n145_a_loosechange__1_3_2->n145_a_loosechange__1_3_2_1 n145_a_loosechange__1_3_2_2 ADJP n145_a_loosechange__1_3_2->n145_a_loosechange__1_3_2_2 n145_a_loosechange__1_3_2_3 NLYR n145_a_loosechange__1_3_2->n145_a_loosechange__1_3_2_3 n145_a_loosechange__1_3_2_1_1 PRO;_genm_ n145_a_loosechange__1_3_2_1->n145_a_loosechange__1_3_2_1_1 n145_a_loosechange__1_3_2_1_1->n145_a_loosechange__1_3_2_1_1_1 n145_a_loosechange__1_3_2_2_1 ADJ n145_a_loosechange__1_3_2_2->n145_a_loosechange__1_3_2_2_1 n145_a_loosechange__1_3_2_2_1->n145_a_loosechange__1_3_2_2_1_1 n145_a_loosechange__1_3_2_3_1 NLYR n145_a_loosechange__1_3_2_3->n145_a_loosechange__1_3_2_3_1 n145_a_loosechange__1_3_2_3_2 CONJP n145_a_loosechange__1_3_2_3->n145_a_loosechange__1_3_2_3_2 n145_a_loosechange__1_3_2_3_1_1 N n145_a_loosechange__1_3_2_3_1->n145_a_loosechange__1_3_2_3_1_1 n145_a_loosechange__1_3_2_3_1_2 NS n145_a_loosechange__1_3_2_3_1->n145_a_loosechange__1_3_2_3_1_2 n145_a_loosechange__1_3_2_3_1_1->n145_a_loosechange__1_3_2_3_1_1_1 n145_a_loosechange__1_3_2_3_1_2->n145_a_loosechange__1_3_2_3_1_2_1 n145_a_loosechange__1_3_2_3_2_1 CONJ n145_a_loosechange__1_3_2_3_2->n145_a_loosechange__1_3_2_3_2_1 n145_a_loosechange__1_3_2_3_2_2 NLYR n145_a_loosechange__1_3_2_3_2->n145_a_loosechange__1_3_2_3_2_2 n145_a_loosechange__1_3_2_3_2_1->n145_a_loosechange__1_3_2_3_2_1_1 n145_a_loosechange__1_3_2_3_2_2_1 NS n145_a_loosechange__1_3_2_3_2_2->n145_a_loosechange__1_3_2_3_2_2_1 n145_a_loosechange__1_3_2_3_2_2_1->n145_a_loosechange__1_3_2_3_2_2_1_1 n145_a_loosechange__1_4->n145_a_loosechange__1_4_1 n145_a_loosechange__1_5_1 PRO n145_a_loosechange__1_5->n145_a_loosechange__1_5_1 n145_a_loosechange__1_5_1->n145_a_loosechange__1_5_1_1 n145_a_loosechange__1_6->n145_a_loosechange__1_6_1 n145_a_loosechange__1_7_1 Q;_nphd_ n145_a_loosechange__1_7->n145_a_loosechange__1_7_1 n145_a_loosechange__1_7_2 PP n145_a_loosechange__1_7->n145_a_loosechange__1_7_2 n145_a_loosechange__1_7_1->n145_a_loosechange__1_7_1_1 n145_a_loosechange__1_7_2_1 P-ROLE n145_a_loosechange__1_7_2->n145_a_loosechange__1_7_2_1 n145_a_loosechange__1_7_2_2 NP n145_a_loosechange__1_7_2->n145_a_loosechange__1_7_2_2 n145_a_loosechange__1_7_2_1->n145_a_loosechange__1_7_2_1_1 n145_a_loosechange__1_7_2_2_1 N n145_a_loosechange__1_7_2_2->n145_a_loosechange__1_7_2_2_1 n145_a_loosechange__1_7_2_2_1->n145_a_loosechange__1_7_2_2_1_1 n145_a_loosechange__1_8->n145_a_loosechange__1_8_1 
( (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))