arc(r_0177_0003__or, r_0177_0001__Fried_r_0177_0002__chicken, conj1).
arc(r_0177_0003__or, r_0177_0006__fish, conj2).
arc(r_0177_0006__fish, r_0177_0004__maybe, qual13).
arc(r_0177_0006__fish, r_0177_0005__poached, attrib16).
arc(r_0177_0006__fish, r_0177_0008__wine, r_0177_0007__in).
arc(z_000_177_a_loosechange_1, r_0177_0003__or, nim2).

fof(formula,axiom,
    ? [Z_177_A_LOOSECHANGE_1,R_177_3_OR,R_177_1_FRIED_CHICKEN,R_177_6_FISH,R_177_5_POACHED,R_177_4_MAYBE,R_177_8_WINE] :
      ( fried_chicken(R_177_1_FRIED_CHICKEN)
      & poached(R_177_5_POACHED)
      & maybe(R_177_4_MAYBE)
      & wine(R_177_8_WINE)
      & z_177_a_loosechange_1(Z_177_A_LOOSECHANGE_1)
      & nim2(Z_177_A_LOOSECHANGE_1,R_177_3_OR)
      & or(R_177_3_OR)
      & conj1(R_177_3_OR,R_177_1_FRIED_CHICKEN)
      & conj2(R_177_3_OR,R_177_6_FISH)
      & fish(R_177_6_FISH)
      & attrib16(R_177_6_FISH,R_177_5_POACHED)
      & qual13(R_177_6_FISH,R_177_4_MAYBE)
      & in(R_177_6_FISH,R_177_8_WINE) ) ).

( (FRAG (NP (NLYR (NLYR (NPR Fried;{Fried})
                        (N chicken;{chicken}))
                  (CONJP (CONJ or;{or})
                         (NLYR (ADVP (ADV maybe;{maybe}))
                               (ADJP (ADJ poached;{poached}))
                               (N fish;{fish})
                               (PP (P-ROLE in;{in})
                                   (NP (N wine;{wine})))))))
        (PUNC .))
  (ID 177_a_loosechange))