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

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,qual).
arc(r_0177_0006__fish,r_0177_0005__poached,attrib).
arc(r_0177_0006__fish,r_0177_0008__wine,r_0177_0007__in).
arc(z_0177_5009,r_0177_0003__or,z_0177_5002).

fof(formula,axiom,
    ? [R_0177_0001__FRIED_R_0177_0002__CHICKEN,R_0177_0004__MAYBE,R_0177_0005__POACHED,R_0177_0008__WINE,R_0177_0006__FISH,R_0177_0003__OR,Z_0177_5009] :
      ( r_0177_0001__Fried_r_0177_0002__chicken(R_0177_0001__FRIED_R_0177_0002__CHICKEN)
      & r_0177_0004__maybe(R_0177_0004__MAYBE)
      & r_0177_0005__poached(R_0177_0005__POACHED)
      & r_0177_0008__wine(R_0177_0008__WINE)
      & z_0177_5009(Z_0177_5009)
      & has_z_0177_5002(Z_0177_5009,R_0177_0003__OR)
      & r_0177_0003__or(R_0177_0003__OR)
      & has_conj2(R_0177_0003__OR,R_0177_0006__FISH)
      & r_0177_0006__fish(R_0177_0006__FISH)
      & has_r_0177_0007__in(R_0177_0006__FISH,R_0177_0008__WINE)
      & has_attrib(R_0177_0006__FISH,R_0177_0005__POACHED)
      & has_qual(R_0177_0006__FISH,R_0177_0004__MAYBE)
      & has_conj1(R_0177_0003__OR,R_0177_0001__FRIED_R_0177_0002__CHICKEN) ) ).