( (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-EOP (NP-SBJ *T*)
                              (NEG not;{not})
                              (NP-PRD (D a;{a})
                                      (ADJP (ADJ bad;{bad}))
                                      (ADJP (ADJ second_<hyphen>_best;{second_best}))))))
          (PUNC !))
  (ID 98_a_alresford))

arc(r_0098_0001__As,r_0098_0003__was,restriction).
arc(r_0098_0001__As,r_0098_0011__were_r_0098_0012__in,scope).
arc(r_0098_0003__was,r_0098_0004__produced,scope).
arc(r_0098_0004__produced,r_0098_0002__it,arg1).
arc(r_0098_0004__produced,r_0098_0006__the_r_0098_0007__Midlands,r_0098_0005__in__nim).
arc(r_0098_0004__produced,z_0098_5003___star_,arg0).
arc(r_0098_0010__chosen,r_0098_0008__the_r_0098_0009__locations,inv_arg1).
arc(r_0098_0010__chosen,z_0098_5007___star_,arg0).
arc(r_0098_0011__were_r_0098_0012__in,r_0098_0008__the_r_0098_0009__locations,arg0).
arc(r_0098_0011__were_r_0098_0012__in,r_0098_0013__Pershore,arg1).
arc(r_0098_0015__not,z_0098_5013,keep_scope).
arc(r_0098_0016__a,r_0098_0017__bad,attrib).
arc(r_0098_0016__a,r_0098_0018__second__hyphen__best,attrib).
arc(z_0098_5013,r_0098_0013__Pershore,arg0).
arc(z_0098_5013,r_0098_0016__a,prd).

fof(formula,axiom,
    ? [R_0098_0002__IT,R_0098_0006__THE_R_0098_0007__MIDLANDS,Z_0098_5003___STAR_,R_0098_0003__WAS_R_0098_0004__PRODUCED,Z_0098_5007___STAR_,R_0098_0010__CHOSEN,R_0098_0008__THE_R_0098_0009__LOCATIONS,R_0098_0013__PERSHORE,R_0098_0011__WERE_R_0098_0012__IN,R_0098_0001__AS] :
      ( r_0098_0002__it(R_0098_0002__IT)
      & r_0098_0006__the_r_0098_0007__Midlands(R_0098_0006__THE_R_0098_0007__MIDLANDS)
      & r_0098_0013__Pershore(R_0098_0013__PERSHORE)
      & z_0098_5003___star_(Z_0098_5003___STAR_)
      & z_0098_5007___star_(Z_0098_5007___STAR_)
      & ~ ? [R_0098_0017__BAD,R_0098_0018__SECOND__HYPHEN__BEST,R_0098_0016__A,Z_0098_5013] :
            ( r_0098_0017__bad(R_0098_0017__BAD)
            & r_0098_0018__second__hyphen__best(R_0098_0018__SECOND__HYPHEN__BEST)
            & z_0098_5013(Z_0098_5013)
            & has_prd(Z_0098_5013,R_0098_0016__A)
            & r_0098_0016__a(R_0098_0016__A)
            & has_attrib(R_0098_0016__A,R_0098_0018__SECOND__HYPHEN__BEST)
            & has_attrib(R_0098_0016__A,R_0098_0017__BAD)
            & has_arg0(Z_0098_5013,R_0098_0013__PERSHORE) )
      & r_0098_0001__As(R_0098_0001__AS)
      & has_conj2(R_0098_0001__AS,R_0098_0011__WERE_R_0098_0012__IN)
      & r_0098_0011__were_r_0098_0012__in(R_0098_0011__WERE_R_0098_0012__IN)
      & has_arg1(R_0098_0011__WERE_R_0098_0012__IN,R_0098_0013__PERSHORE)
      & has_arg0(R_0098_0011__WERE_R_0098_0012__IN,R_0098_0008__THE_R_0098_0009__LOCATIONS)
      & r_0098_0008__the_r_0098_0009__locations(R_0098_0008__THE_R_0098_0009__LOCATIONS)
      & has_inv_arg1(R_0098_0008__THE_R_0098_0009__LOCATIONS,R_0098_0010__CHOSEN)
      & r_0098_0010__chosen(R_0098_0010__CHOSEN)
      & has_arg0(R_0098_0010__CHOSEN,Z_0098_5007___STAR_)
      & has_conj1(R_0098_0001__AS,R_0098_0003__WAS_R_0098_0004__PRODUCED)
      & r_0098_0003__was_r_0098_0004__produced(R_0098_0003__WAS_R_0098_0004__PRODUCED)
      & has_arg0(R_0098_0003__WAS_R_0098_0004__PRODUCED,Z_0098_5003___STAR_)
      & has_r_0098_0005__in__nim(R_0098_0003__WAS_R_0098_0004__PRODUCED,R_0098_0006__THE_R_0098_0007__MIDLANDS)
      & has_arg1(R_0098_0003__WAS_R_0098_0004__PRODUCED,R_0098_0002__IT) ) ).