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_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).
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).

fof(formula,axiom,
    ? [R_91_9_AND,Z_91_A_ALRESFORD_3,R_91_6_BASKETS,R_91_4_FLOURISHING,R_91_5_HANGING,R_91_2_TOWN,R_91_8_SUMMER] :
      ( flourishing(R_91_4_FLOURISHING)
      & hanging(R_91_5_HANGING)
      & town(R_91_2_TOWN)
      & summer(R_91_8_SUMMER)
      & ! [R_91_21_SHOP] :
          ( shop(R_91_21_SHOP)
         => ? [Z_91_A_ALRESFORD_32,R_91_16_THE_CHRISTMAS_TREES,R_91_13_DECEMBER_EVENINGS,R_91_12_DARK] :
              ( the_Christmas_trees(R_91_16_THE_CHRISTMAS_TREES)
              & dark(R_91_12_DARK)
              & z_91_a_alresford_32(Z_91_A_ALRESFORD_32,R_91_16_THE_CHRISTMAS_TREES)
              & in_nim36(Z_91_A_ALRESFORD_32,R_91_13_DECEMBER_EVENINGS)
              & december_evenings(R_91_13_DECEMBER_EVENINGS)
              & attrib37(R_91_13_DECEMBER_EVENINGS,R_91_12_DARK)
              & over_clr56(Z_91_A_ALRESFORD_32,R_91_21_SHOP) ) )
      & conj2(CONJ2)
      & and(R_91_9_AND)
      & conj1(R_91_9_AND,Z_91_A_ALRESFORD_3)
      & z_91_a_alresford_3(Z_91_A_ALRESFORD_3,R_91_6_BASKETS)
      & baskets(R_91_6_BASKETS)
      & attrib13(R_91_6_BASKETS,R_91_4_FLOURISHING)
      & attrib16(R_91_6_BASKETS,R_91_5_HANGING)
      & in_clr7(Z_91_A_ALRESFORD_3,R_91_2_TOWN)
      & in_nim24(Z_91_A_ALRESFORD_3,R_91_8_SUMMER) ) ).

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