( (IP-MAT (NP-SBJ (NPR Alresford;{Alresford}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Dn.n_ spared;{spare})
                                  (NP-OB1 (D the;{the})
                                          (IP-PPL (VAG;_I_ sprawling;{sprawl}))
                                          (N development;{development})
                                          (IP-PPL (VVN;_Tn_ experienced;{experience})
                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                          (NP (ADJP (ADJ similar;{similar}))
                                                              (ADJP (ADJ attractive;{attractive}))
                                                              (N market;{market})
                                                              (NS towns;{town})))
                                                  (PP-NIM (P-ROLE at;{at})
                                                          (NP (D the;{the})
                                                              (N time;{time})))))))
          (PUNC .))
  (ID 72_a_alresford))

arc(r_0072_0002__would,r_0072_0003__be,scope).
arc(r_0072_0003__be,r_0072_0004__spared,scope).
arc(r_0072_0004__spared,r_0072_0001__Alresford,arg2).
arc(r_0072_0004__spared,r_0072_0005__the_r_0072_0007__development,arg1).
arc(r_0072_0004__spared,z_0072_5010___star_,arg0).
arc(r_0072_0006__sprawling,r_0072_0005__the_r_0072_0007__development,inv_arg0).
arc(r_0072_0008__experienced,r_0072_0005__the_r_0072_0007__development,inv_arg1).
arc(r_0072_0008__experienced,r_0072_0012__market_r_0072_0013__towns,r_0072_0009__by_arg0).
arc(r_0072_0008__experienced,r_0072_0015__the_r_0072_0016__time,r_0072_0014__at__nim).
arc(r_0072_0012__market_r_0072_0013__towns,r_0072_0010__similar,attrib).
arc(r_0072_0012__market_r_0072_0013__towns,r_0072_0011__attractive,attrib).

fof(formula,axiom,
    ? [R_0072_0001__ALRESFORD,R_0072_0006__SPRAWLING,R_0072_0010__SIMILAR,R_0072_0011__ATTRACTIVE,R_0072_0012__MARKET_R_0072_0013__TOWNS,R_0072_0015__THE_R_0072_0016__TIME,R_0072_0008__EXPERIENCED,R_0072_0005__THE_R_0072_0007__DEVELOPMENT,Z_0072_5010___STAR_,R_0072_0002__WOULD_R_0072_0003__BE_R_0072_0004__SPARED] :
      ( r_0072_0001__Alresford(R_0072_0001__ALRESFORD)
      & r_0072_0006__sprawling(R_0072_0006__SPRAWLING)
      & r_0072_0010__similar(R_0072_0010__SIMILAR)
      & r_0072_0011__attractive(R_0072_0011__ATTRACTIVE)
      & r_0072_0015__the_r_0072_0016__time(R_0072_0015__THE_R_0072_0016__TIME)
      & z_0072_5010___star_(Z_0072_5010___STAR_)
      & r_0072_0002__would_r_0072_0003__be_r_0072_0004__spared(R_0072_0002__WOULD_R_0072_0003__BE_R_0072_0004__SPARED)
      & has_arg0(R_0072_0002__WOULD_R_0072_0003__BE_R_0072_0004__SPARED,Z_0072_5010___STAR_)
      & has_arg1(R_0072_0002__WOULD_R_0072_0003__BE_R_0072_0004__SPARED,R_0072_0005__THE_R_0072_0007__DEVELOPMENT)
      & r_0072_0005__the_r_0072_0007__development(R_0072_0005__THE_R_0072_0007__DEVELOPMENT)
      & has_inv_arg1(R_0072_0005__THE_R_0072_0007__DEVELOPMENT,R_0072_0008__EXPERIENCED)
      & r_0072_0008__experienced(R_0072_0008__EXPERIENCED)
      & has_r_0072_0014__at__nim(R_0072_0008__EXPERIENCED,R_0072_0015__THE_R_0072_0016__TIME)
      & has_r_0072_0009__by_arg0(R_0072_0008__EXPERIENCED,R_0072_0012__MARKET_R_0072_0013__TOWNS)
      & r_0072_0012__market_r_0072_0013__towns(R_0072_0012__MARKET_R_0072_0013__TOWNS)
      & has_attrib(R_0072_0012__MARKET_R_0072_0013__TOWNS,R_0072_0011__ATTRACTIVE)
      & has_attrib(R_0072_0012__MARKET_R_0072_0013__TOWNS,R_0072_0010__SIMILAR)
      & has_inv_arg0(R_0072_0005__THE_R_0072_0007__DEVELOPMENT,R_0072_0006__SPRAWLING)
      & has_arg2(R_0072_0002__WOULD_R_0072_0003__BE_R_0072_0004__SPARED,R_0072_0001__ALRESFORD) ) ).