TSPC 15_a_alresford

15_a_alresford
Compared to the stress of pneumatic drills digging up the Finchley Road, newly - lined with porn shops, near my London flat, any quiet country town with decent neighbourly values would have been a treat.

( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
                            (VVN;_Tn.pr_ Compared;{compare})
                            (PP-CLR (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (N stress;{stress})
                                        (PP (P-ROLE of;{of})
                                            (NP (ADJP (ADJ pneumatic;{pneumatic}))
                                                (NS drills;{drill})
                                                (IP-PPL (VAG;_Tn.p_ digging;{dig[up]})
                                                        (ADVP-CLR (RP up;{up}))
                                                        (NP-OB1 (D the;{the})
                                                                (NPR Finchley;{Finchley})
                                                                (NPR Road;{Road})
                                                                (PUNC ,)
                                                                (IP-PPL (NP-LGS *)
                                                                        (ADVP-NIM (ADV newly;{newly}))
                                                                        (PUNC <hyphen>)
                                                                        (VVN;_Tn.pr_ lined;{line[with]})
                                                                        (PP-CLR (P-ROLE with;{with})
                                                                                (NP (N porn;{porn})
                                                                                    (NS shops;{shop})))))
                                                        (PUNC ,)
                                                        (PP-NIM (P-ROLE near;{near})
                                                                (NP (NP-GEN (PRO;_genm_ my;{my}))
                                                                    (NPR London;{London})
                                                                    (N flat;{flat}))))))))))
          (PUNC ,)
          (NP-SBJ (D any;{any})
                  (ADJP (ADJ quiet;{quiet}))
                  (N country;{country})
                  (N town;{town})
                  (PP (P-ROLE with;{with})
                      (NP (ADJP (ADJ decent;{decent}))
                          (ADJP (ADJ neighbourly;{neighbourly}))
                          (NS values;{value}))))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_Ln_ been;{be})
                                  (NP-PRD (D a;{a})
                                          (N treat;{treat}))))
          (PUNC .))
  (ID 15_a_alresford))

arc(r_0015_0001__Compared_r_0015_0002__to,r_0015_0003__the_r_0015_0004__stress,arg2).
arc(r_0015_0001__Compared_r_0015_0002__to,r_0015_0026__any_r_0015_0028__country_r_0015_0029__town,arg1).
arc(r_0015_0001__Compared_r_0015_0002__to,z_0015_5017___star_,arg0).
arc(r_0015_0003__the_r_0015_0004__stress,r_0015_0007__drills,r_0015_0005__of).
arc(r_0015_0007__drills,r_0015_0006__pneumatic,attrib).
arc(r_0015_0008__digging_r_0015_0009__up,r_0015_0007__drills,inv_arg0).
arc(r_0015_0008__digging_r_0015_0009__up,r_0015_0010__the_r_0015_0011__Finchley_r_0015_0012__Road,arg1).
arc(r_0015_0008__digging_r_0015_0009__up,r_0015_0023__London_r_0015_0024__flat,r_0015_0021__near__nim).
arc(r_0015_0016__lined_r_0015_0017__with,r_0015_0010__the_r_0015_0011__Finchley_r_0015_0012__Road,inv_arg1).
arc(r_0015_0016__lined_r_0015_0017__with,r_0015_0014__newly,nim).
arc(r_0015_0016__lined_r_0015_0017__with,r_0015_0018__porn_r_0015_0019__shops,arg2).
arc(r_0015_0016__lined_r_0015_0017__with,z_0015_5013___star_,arg0).
arc(r_0015_0023__London_r_0015_0024__flat,r_0015_0022__my,gen).
arc(r_0015_0026__any_r_0015_0028__country_r_0015_0029__town,r_0015_0027__quiet,attrib).
arc(r_0015_0026__any_r_0015_0028__country_r_0015_0029__town,r_0015_0033__values,r_0015_0030__with).
arc(r_0015_0033__values,r_0015_0031__decent,attrib).
arc(r_0015_0033__values,r_0015_0032__neighbourly,attrib).
arc(r_0015_0034__would,r_0015_0035__have,scope).
arc(r_0015_0035__have,r_0015_0036__been,scope).
arc(r_0015_0036__been,r_0015_0026__any_r_0015_0028__country_r_0015_0029__town,arg0).
arc(r_0015_0036__been,r_0015_0037__a_r_0015_0038__treat,prd).
arc(z_0015_5006,r_0015_0001__Compared_r_0015_0002__to,restriction).
arc(z_0015_5006,r_0015_0034__would,scope).

fof(formula,axiom,
    ? [R_0015_0006__PNEUMATIC,R_0015_0014__NEWLY,R_0015_0018__PORN_R_0015_0019__SHOPS,Z_0015_5013___STAR_,R_0015_0016__LINED_R_0015_0017__WITH,R_0015_0010__THE_R_0015_0011__FINCHLEY_R_0015_0012__ROAD,R_0015_0022__MY,R_0015_0023__LONDON_R_0015_0024__FLAT,R_0015_0008__DIGGING_R_0015_0009__UP,R_0015_0007__DRILLS,R_0015_0003__THE_R_0015_0004__STRESS,R_0015_0027__QUIET,R_0015_0031__DECENT,R_0015_0032__NEIGHBOURLY,R_0015_0033__VALUES,R_0015_0026__ANY_R_0015_0028__COUNTRY_R_0015_0029__TOWN,Z_0015_5017___STAR_,R_0015_0001__COMPARED_R_0015_0002__TO,R_0015_0037__A_R_0015_0038__TREAT,R_0015_0034__WOULD_R_0015_0035__HAVE_R_0015_0036__BEEN,Z_0015_5006] :
      ( r_0015_0006__pneumatic(R_0015_0006__PNEUMATIC)
      & r_0015_0014__newly(R_0015_0014__NEWLY)
      & r_0015_0018__porn_r_0015_0019__shops(R_0015_0018__PORN_R_0015_0019__SHOPS)
      & r_0015_0022__my(R_0015_0022__MY)
      & r_0015_0027__quiet(R_0015_0027__QUIET)
      & r_0015_0031__decent(R_0015_0031__DECENT)
      & r_0015_0032__neighbourly(R_0015_0032__NEIGHBOURLY)
      & r_0015_0037__a_r_0015_0038__treat(R_0015_0037__A_R_0015_0038__TREAT)
      & z_0015_5013___star_(Z_0015_5013___STAR_)
      & z_0015_5017___star_(Z_0015_5017___STAR_)
      & z_0015_5006(Z_0015_5006)
      & has_conj2(Z_0015_5006,R_0015_0034__WOULD_R_0015_0035__HAVE_R_0015_0036__BEEN)
      & r_0015_0034__would_r_0015_0035__have_r_0015_0036__been(R_0015_0034__WOULD_R_0015_0035__HAVE_R_0015_0036__BEEN)
      & has_prd(R_0015_0034__WOULD_R_0015_0035__HAVE_R_0015_0036__BEEN,R_0015_0037__A_R_0015_0038__TREAT)
      & has_arg0(R_0015_0034__WOULD_R_0015_0035__HAVE_R_0015_0036__BEEN,R_0015_0026__ANY_R_0015_0028__COUNTRY_R_0015_0029__TOWN)
      & r_0015_0026__any_r_0015_0028__country_r_0015_0029__town(R_0015_0026__ANY_R_0015_0028__COUNTRY_R_0015_0029__TOWN)
      & has_r_0015_0030__with(R_0015_0026__ANY_R_0015_0028__COUNTRY_R_0015_0029__TOWN,R_0015_0033__VALUES)
      & r_0015_0033__values(R_0015_0033__VALUES)
      & has_attrib(R_0015_0033__VALUES,R_0015_0032__NEIGHBOURLY)
      & has_attrib(R_0015_0033__VALUES,R_0015_0031__DECENT)
      & has_attrib(R_0015_0026__ANY_R_0015_0028__COUNTRY_R_0015_0029__TOWN,R_0015_0027__QUIET)
      & has_conj1(Z_0015_5006,R_0015_0001__COMPARED_R_0015_0002__TO)
      & r_0015_0001__Compared_r_0015_0002__to(R_0015_0001__COMPARED_R_0015_0002__TO)
      & has_arg0(R_0015_0001__COMPARED_R_0015_0002__TO,Z_0015_5017___STAR_)
      & has_arg1(R_0015_0001__COMPARED_R_0015_0002__TO,R_0015_0026__ANY_R_0015_0028__COUNTRY_R_0015_0029__TOWN)
      & has_arg2(R_0015_0001__COMPARED_R_0015_0002__TO,R_0015_0003__THE_R_0015_0004__STRESS)
      & r_0015_0003__the_r_0015_0004__stress(R_0015_0003__THE_R_0015_0004__STRESS)
      & has_r_0015_0005__of(R_0015_0003__THE_R_0015_0004__STRESS,R_0015_0007__DRILLS)
      & r_0015_0007__drills(R_0015_0007__DRILLS)
      & has_inv_arg0(R_0015_0007__DRILLS,R_0015_0008__DIGGING_R_0015_0009__UP)
      & r_0015_0008__digging_r_0015_0009__up(R_0015_0008__DIGGING_R_0015_0009__UP)
      & has_r_0015_0021__near__nim(R_0015_0008__DIGGING_R_0015_0009__UP,R_0015_0023__LONDON_R_0015_0024__FLAT)
      & r_0015_0023__London_r_0015_0024__flat(R_0015_0023__LONDON_R_0015_0024__FLAT)
      & has_gen(R_0015_0023__LONDON_R_0015_0024__FLAT,R_0015_0022__MY)
      & has_arg1(R_0015_0008__DIGGING_R_0015_0009__UP,R_0015_0010__THE_R_0015_0011__FINCHLEY_R_0015_0012__ROAD)
      & r_0015_0010__the_r_0015_0011__Finchley_r_0015_0012__Road(R_0015_0010__THE_R_0015_0011__FINCHLEY_R_0015_0012__ROAD)
      & has_inv_arg1(R_0015_0010__THE_R_0015_0011__FINCHLEY_R_0015_0012__ROAD,R_0015_0016__LINED_R_0015_0017__WITH)
      & r_0015_0016__lined_r_0015_0017__with(R_0015_0016__LINED_R_0015_0017__WITH)
      & has_arg0(R_0015_0016__LINED_R_0015_0017__WITH,Z_0015_5013___STAR_)
      & has_arg2(R_0015_0016__LINED_R_0015_0017__WITH,R_0015_0018__PORN_R_0015_0019__SHOPS)
      & has_nim(R_0015_0016__LINED_R_0015_0017__WITH,R_0015_0014__NEWLY)
      & has_attrib(R_0015_0007__DRILLS,R_0015_0006__PNEUMATIC) ) ).