arc(r_0091_0006__baskets, r_0091_0004__flourishing, attrib13).
arc(r_0091_0006__baskets, r_0091_0005__hanging, attrib16).
arc(r_0091_0009__and, r_0091_0020__every_quant, conj2).
arc(r_0091_0009__and, z_000_91_a_alresford_3, conj1).
arc(r_0091_0013__December_r_0091_0014__evenings, r_0091_0012__dark, attrib37).
arc(r_0091_0020__every_quant, r_0091_0021__shop, restriction).
arc(r_0091_0020__every_quant, z_000_91_a_alresford_32, scope).
arc(z_000_91_a_alresford_3, r_0091_0002__town, r_0091_0001__in_clr7).
arc(z_000_91_a_alresford_3, r_0091_0006__baskets, arg0).
arc(z_000_91_a_alresford_3, r_0091_0008__summer, r_0091_0007__in_nim24).
arc(z_000_91_a_alresford_32, r_0091_0013__December_r_0091_0014__evenings, r_0091_0011__in_nim36).
arc(z_000_91_a_alresford_32, r_0091_0016__the_r_0091_0017__Christmas_r_0091_0018__trees, arg0).
arc(z_000_91_a_alresford_32, r_0091_0021__shop, r_0091_0019__over_clr56).

fof(formula,axiom,
    ? [R_0091_0002__TOWN,R_0091_0004__FLOURISHING,R_0091_0005__HANGING,R_0091_0006__BASKETS,R_0091_0008__SUMMER,Z_000_91_A_ALRESFORD_3,R_0091_0009__AND] :
      ( r_0091_0002__town(R_0091_0002__TOWN)
      & r_0091_0004__flourishing(R_0091_0004__FLOURISHING)
      & r_0091_0005__hanging(R_0091_0005__HANGING)
      & r_0091_0008__summer(R_0091_0008__SUMMER)
      & r_0091_0009__and(R_0091_0009__AND)
      & has_conj1(R_0091_0009__AND,Z_000_91_A_ALRESFORD_3)
      & z_000_91_a_alresford_3(Z_000_91_A_ALRESFORD_3)
      & has_r_0091_0007__in_nim24(Z_000_91_A_ALRESFORD_3,R_0091_0008__SUMMER)
      & has_arg0(Z_000_91_A_ALRESFORD_3,R_0091_0006__BASKETS)
      & r_0091_0006__baskets(R_0091_0006__BASKETS)
      & has_attrib16(R_0091_0006__BASKETS,R_0091_0005__HANGING)
      & has_attrib13(R_0091_0006__BASKETS,R_0091_0004__FLOURISHING)
      & has_r_0091_0001__in_clr7(Z_000_91_A_ALRESFORD_3,R_0091_0002__TOWN)
      & ! [R_0091_0021__SHOP] :
          ( r_0091_0021__shop(R_0091_0021__SHOP)
         => ? [R_0091_0012__DARK,R_0091_0013__DECEMBER_R_0091_0014__EVENINGS,R_0091_0016__THE_R_0091_0017__CHRISTMAS_R_0091_0018__TREES,Z_000_91_A_ALRESFORD_32] :
              ( r_0091_0012__dark(R_0091_0012__DARK)
              & r_0091_0016__the_r_0091_0017__Christmas_r_0091_0018__trees(R_0091_0016__THE_R_0091_0017__CHRISTMAS_R_0091_0018__TREES)
              & z_000_91_a_alresford_32(Z_000_91_A_ALRESFORD_32)
              & has_r_0091_0019__over_clr56(Z_000_91_A_ALRESFORD_32,R_0091_0021__SHOP)
              & has_arg0(Z_000_91_A_ALRESFORD_32,R_0091_0016__THE_R_0091_0017__CHRISTMAS_R_0091_0018__TREES)
              & has_r_0091_0011__in_nim36(Z_000_91_A_ALRESFORD_32,R_0091_0013__DECEMBER_R_0091_0014__EVENINGS)
              & r_0091_0013__December_r_0091_0014__evenings(R_0091_0013__DECEMBER_R_0091_0014__EVENINGS)
              & has_attrib37(R_0091_0013__DECEMBER_R_0091_0014__EVENINGS,R_0091_0012__DARK) ) ) ) ).

( (FRAG (ILYR (ILYR (PP-TPC-CLR (P-ROLE in;{in})
                                (NP (N town;{town})))
                    (PUNC ,)
                    (NP-SBJ (ADJP (ADJ flourishing;{flourishing}))
                            (ADJP (ADJ hanging;{hanging}))
                            (NS baskets;{basket}))
                    (PP-NIM (P-ROLE in;{in})
                            (NP (N summer;{summer}))))
              (CONJP (CONJ and;{and})
                     (PUNC ,)
                     (ILYR (PP-TPC-NIM (P-ROLE in;{in})
                                       (NP (ADJP (ADJ dark;{dark}))
                                           (NPR December;{December})
                                           (NS evenings;{evening})))
                           (PUNC ,)
                           (NP-SBJ (D the;{the})
                                   (N Christmas;{christmas})
                                   (NS trees;{tree}))
                           (PP-CLR (P-ROLE over;{over})
                                   (NP (Q every;{every})
                                       (N shop;{shop}))))))
        (PUNC .))
  (ID 91_a_alresford))