( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (D the;{the})
                      (ADJP (ADJ next;{next}))
                      (N table;{table})))
          (NP-SBJ;{COMPLAINING_WOMAN} (D a;{a})
                                      (N woman;{woman}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;__ complaining;{complain})
                      (ADVP-NIM (ADV loudly;{loudly}))
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (EX there;{there})
                                          (BED;_ex_V_ was;{be})
                                          (NP-ESBJ (ADJP (ADVP (ADV too;{too}))
                                                         (ADJ much;{much}))
                                                   (N froth;{froth})
                                                   (PP (P-ROLE on;{on})
                                                       (NP (NP-GEN;{COMPLAINING_WOMAN} (PRO;_genm_ her;{her}))
                                                           (N coffee;{coffee})))))))
          (PUNC .))
  (ID 130_a_loosechange))

arc(r_0130_0002__the_r_0130_0004__table,r_0130_0003__next,attrib).
arc(r_0130_0007__was,r_0130_0002__the_r_0130_0004__table,r_0130_0001__At__nim).
arc(r_0130_0007__was,r_0130_0008__complaining,scope).
arc(r_0130_0008__complaining,r_0130_0005__a_r_0130_0006__woman,arg0).
arc(r_0130_0008__complaining,r_0130_0009__loudly,nim).
arc(r_0130_0008__complaining,r_0130_0012__was,arg1).
arc(r_0130_0012__was,r_0130_0015__froth,arg0).
arc(r_0130_0014__much,r_0130_0013__too,qual).
arc(r_0130_0015__froth,r_0130_0014__much,attrib).
arc(r_0130_0015__froth,r_0130_0018__coffee,r_0130_0016__on).
arc(r_0130_0018__coffee,r_0130_0005__a_r_0130_0006__woman,gen).

fof(formula,axiom,
    ? [R_0130_0003__NEXT,R_0130_0002__THE_R_0130_0004__TABLE,R_0130_0005__A_R_0130_0006__WOMAN,R_0130_0009__LOUDLY,R_0130_0013__TOO,R_0130_0014__MUCH,R_0130_0018__COFFEE,R_0130_0015__FROTH,R_0130_0012__WAS,R_0130_0007__WAS_R_0130_0008__COMPLAINING] :
      ( r_0130_0003__next(R_0130_0003__NEXT)
      & r_0130_0005__a_r_0130_0006__woman(R_0130_0005__A_R_0130_0006__WOMAN)
      & r_0130_0009__loudly(R_0130_0009__LOUDLY)
      & r_0130_0013__too(R_0130_0013__TOO)
      & r_0130_0007__was_r_0130_0008__complaining(R_0130_0007__WAS_R_0130_0008__COMPLAINING)
      & has_arg1(R_0130_0007__WAS_R_0130_0008__COMPLAINING,R_0130_0012__WAS)
      & r_0130_0012__was(R_0130_0012__WAS)
      & has_arg0(R_0130_0012__WAS,R_0130_0015__FROTH)
      & r_0130_0015__froth(R_0130_0015__FROTH)
      & has_r_0130_0016__on(R_0130_0015__FROTH,R_0130_0018__COFFEE)
      & r_0130_0018__coffee(R_0130_0018__COFFEE)
      & has_gen(R_0130_0018__COFFEE,R_0130_0005__A_R_0130_0006__WOMAN)
      & has_attrib(R_0130_0015__FROTH,R_0130_0014__MUCH)
      & r_0130_0014__much(R_0130_0014__MUCH)
      & has_qual(R_0130_0014__MUCH,R_0130_0013__TOO)
      & has_nim(R_0130_0007__WAS_R_0130_0008__COMPLAINING,R_0130_0009__LOUDLY)
      & has_arg0(R_0130_0007__WAS_R_0130_0008__COMPLAINING,R_0130_0005__A_R_0130_0006__WOMAN)
      & has_r_0130_0001__At__nim(R_0130_0007__WAS_R_0130_0008__COMPLAINING,R_0130_0002__THE_R_0130_0004__TABLE)
      & r_0130_0002__the_r_0130_0004__table(R_0130_0002__THE_R_0130_0004__TABLE)
      & has_attrib(R_0130_0002__THE_R_0130_0004__TABLE,R_0130_0003__NEXT) ) ).