arc(r_0103_0001__As, r_0103_0003__was, restriction).
arc(r_0103_0001__As, r_0103_0011__were, scope).
arc(r_0103_0003__was, r_0103_0004__produced, scope).
arc(r_0103_0004__produced, r_0103_0002__it, arg1).
arc(r_0103_0004__produced, r_0103_0006__the_r_0103_0007__Midlands, r_0103_0005__in_nim19).
arc(r_0103_0004__produced, z_000_103_a_alresford_12, arg0).
arc(r_0103_0010__chosen, r_0103_0008__the_r_0103_0009__locations, arg1).
arc(r_0103_0010__chosen, z_000_103_a_alresford_30, arg0).
arc(r_0103_0011__were, r_0103_0008__the_r_0103_0009__locations, arg0).
arc(r_0103_0011__were, r_0103_0013__Pershore, r_0103_0012__in_clr39).
arc(r_0103_0015__not, z_000_103_a_alresford_44, keep_scope).
arc(r_0103_0016__a, r_0103_0017__bad, attrib52).
arc(r_0103_0016__a, r_0103_0018__second__hyphen__best, attrib55).
arc(z_000_103_a_alresford_44, r_0103_0013__Pershore, arg0).
arc(z_000_103_a_alresford_44, r_0103_0016__a, prd).

fof(formula,axiom,
    ? [R_0103_0002__IT,R_0103_0006__THE_R_0103_0007__MIDLANDS,Z_000_103_A_ALRESFORD_12,R_0103_0003__WAS_R_0103_0004__PRODUCED,R_0103_0008__THE_R_0103_0009__LOCATIONS,R_0103_0013__PERSHORE,R_0103_0011__WERE,R_0103_0001__AS,Z_000_103_A_ALRESFORD_30,R_0103_0010__CHOSEN] :
      ( r_0103_0002__it(R_0103_0002__IT)
      & r_0103_0006__the_r_0103_0007__Midlands(R_0103_0006__THE_R_0103_0007__MIDLANDS)
      & r_0103_0008__the_r_0103_0009__locations(R_0103_0008__THE_R_0103_0009__LOCATIONS)
      & r_0103_0013__Pershore(R_0103_0013__PERSHORE)
      & z_000_103_a_alresford_12(Z_000_103_A_ALRESFORD_12)
      & z_000_103_a_alresford_30(Z_000_103_A_ALRESFORD_30)
      & ~ ? [R_0103_0017__BAD,R_0103_0018__SECOND__HYPHEN__BEST,R_0103_0016__A,Z_000_103_A_ALRESFORD_44] :
            ( r_0103_0017__bad(R_0103_0017__BAD)
            & r_0103_0018__second__hyphen__best(R_0103_0018__SECOND__HYPHEN__BEST)
            & z_000_103_a_alresford_44(Z_000_103_A_ALRESFORD_44)
            & has_prd(Z_000_103_A_ALRESFORD_44,R_0103_0016__A)
            & r_0103_0016__a(R_0103_0016__A)
            & has_attrib55(R_0103_0016__A,R_0103_0018__SECOND__HYPHEN__BEST)
            & has_attrib52(R_0103_0016__A,R_0103_0017__BAD)
            & has_arg0(Z_000_103_A_ALRESFORD_44,R_0103_0013__PERSHORE) )
      & r_0103_0010__chosen(R_0103_0010__CHOSEN)
      & has_arg0(R_0103_0010__CHOSEN,Z_000_103_A_ALRESFORD_30)
      & has_arg1(R_0103_0010__CHOSEN,R_0103_0008__THE_R_0103_0009__LOCATIONS)
      & r_0103_0001__As(R_0103_0001__AS)
      & has_conj2(R_0103_0001__AS,R_0103_0011__WERE)
      & r_0103_0011__were(R_0103_0011__WERE)
      & has_r_0103_0012__in_clr39(R_0103_0011__WERE,R_0103_0013__PERSHORE)
      & has_arg0(R_0103_0011__WERE,R_0103_0008__THE_R_0103_0009__LOCATIONS)
      & has_conj1(R_0103_0001__AS,R_0103_0003__WAS_R_0103_0004__PRODUCED)
      & r_0103_0003__was_r_0103_0004__produced(R_0103_0003__WAS_R_0103_0004__PRODUCED)
      & has_arg0(R_0103_0003__WAS_R_0103_0004__PRODUCED,Z_000_103_A_ALRESFORD_12)
      & has_r_0103_0005__in_nim19(R_0103_0003__WAS_R_0103_0004__PRODUCED,R_0103_0006__THE_R_0103_0007__MIDLANDS)
      & has_arg1(R_0103_0003__WAS_R_0103_0004__PRODUCED,R_0103_0002__IT) ) ).

( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ;{PLAY} (PRO it;{it}))
                           (BED;_cat_VePASS_ was;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ produced;{produce})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D the;{the})
                                                   (NPRS Midlands;{Midlands}))))))
          (NP-SBJ (D the;{the})
                  (NS locations;{location})
                  (IP-PPL (NP-LGS *)
                          (VVN;_Tn_ chosen;{choose})))
          (BED;_Ipr_ were;{be[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (NPR Pershore;{Pershore})
                      (PUNC ,)
                      (IP-REL (NP-SBJ *T*)
                              (NEG not;{not})
                              (NP-PRD (D a;{a})
                                      (ADJP (ADJ bad;{bad}))
                                      (ADJP (ADJ second_<hyphen>_best;{second_best}))))))
          (PUNC !))
  (ID 103_a_alresford))