arc(r_0073_0002__would, r_0073_0003__be, scope).
arc(r_0073_0003__be, r_0073_0004__spared, scope).
arc(r_0073_0004__spared, r_0073_0001__Alresford, arg2).
arc(r_0073_0004__spared, r_0073_0005__the_r_0073_0007__development, arg1).
arc(r_0073_0004__spared, z_000_73_a_alresford_11, arg0).
arc(r_0073_0005__the_r_0073_0007__development, r_0073_0006__sprawling, attrib18).
arc(r_0073_0008__experienced, r_0073_0005__the_r_0073_0007__development, arg1).
arc(r_0073_0008__experienced, r_0073_0012__market_r_0073_0013__towns, arg0).
arc(r_0073_0008__experienced, r_0073_0015__the_r_0073_0016__time, r_0073_0014__at_nim43).
arc(r_0073_0012__market_r_0073_0013__towns, r_0073_0010__similar, attrib30).
arc(r_0073_0012__market_r_0073_0013__towns, r_0073_0011__attractive, attrib33).

fof(formula,axiom,
    ? [R_0073_0001__ALRESFORD,R_0073_0006__SPRAWLING,R_0073_0005__THE_R_0073_0007__DEVELOPMENT,Z_000_73_A_ALRESFORD_11,R_0073_0002__WOULD_R_0073_0003__BE_R_0073_0004__SPARED,R_0073_0010__SIMILAR,R_0073_0011__ATTRACTIVE,R_0073_0012__MARKET_R_0073_0013__TOWNS,R_0073_0015__THE_R_0073_0016__TIME,R_0073_0008__EXPERIENCED] :
      ( r_0073_0001__Alresford(R_0073_0001__ALRESFORD)
      & r_0073_0006__sprawling(R_0073_0006__SPRAWLING)
      & r_0073_0010__similar(R_0073_0010__SIMILAR)
      & r_0073_0011__attractive(R_0073_0011__ATTRACTIVE)
      & r_0073_0015__the_r_0073_0016__time(R_0073_0015__THE_R_0073_0016__TIME)
      & z_000_73_a_alresford_11(Z_000_73_A_ALRESFORD_11)
      & r_0073_0008__experienced(R_0073_0008__EXPERIENCED)
      & has_r_0073_0014__at_nim43(R_0073_0008__EXPERIENCED,R_0073_0015__THE_R_0073_0016__TIME)
      & has_arg0(R_0073_0008__EXPERIENCED,R_0073_0012__MARKET_R_0073_0013__TOWNS)
      & r_0073_0012__market_r_0073_0013__towns(R_0073_0012__MARKET_R_0073_0013__TOWNS)
      & has_attrib33(R_0073_0012__MARKET_R_0073_0013__TOWNS,R_0073_0011__ATTRACTIVE)
      & has_attrib30(R_0073_0012__MARKET_R_0073_0013__TOWNS,R_0073_0010__SIMILAR)
      & has_arg1(R_0073_0008__EXPERIENCED,R_0073_0005__THE_R_0073_0007__DEVELOPMENT)
      & r_0073_0005__the_r_0073_0007__development(R_0073_0005__THE_R_0073_0007__DEVELOPMENT)
      & has_attrib18(R_0073_0005__THE_R_0073_0007__DEVELOPMENT,R_0073_0006__SPRAWLING)
      & r_0073_0002__would_r_0073_0003__be_r_0073_0004__spared(R_0073_0002__WOULD_R_0073_0003__BE_R_0073_0004__SPARED)
      & has_arg0(R_0073_0002__WOULD_R_0073_0003__BE_R_0073_0004__SPARED,Z_000_73_A_ALRESFORD_11)
      & has_arg1(R_0073_0002__WOULD_R_0073_0003__BE_R_0073_0004__SPARED,R_0073_0005__THE_R_0073_0007__DEVELOPMENT)
      & has_arg2(R_0073_0002__WOULD_R_0073_0003__BE_R_0073_0004__SPARED,R_0073_0001__ALRESFORD) ) ).

( (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})
                                          (ADJP (ADJ sprawling;{sprawling}))
                                          (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 73_a_alresford))