arc(r_0015_0001__Compared, r_0015_0003__the_r_0015_0004__stress, r_0015_0002__to_clr11).
arc(r_0015_0001__Compared, r_0015_0026__any_r_0015_0028__country_r_0015_0029__town, arg1).
arc(r_0015_0001__Compared, z_000_15_a_alresford_4, 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, attrib20).
arc(r_0015_0008__digging, r_0015_0007__drills, arg0).
arc(r_0015_0008__digging, r_0015_0009__up, clr28).
arc(r_0015_0008__digging, r_0015_0010__the_r_0015_0011__Finchley_r_0015_0012__Road, arg1).
arc(r_0015_0008__digging, r_0015_0023__London_r_0015_0024__flat, r_0015_0021__near_nim63).
arc(r_0015_0016__lined, r_0015_0010__the_r_0015_0011__Finchley_r_0015_0012__Road, arg1).
arc(r_0015_0016__lined, r_0015_0014__newly, nim43).
arc(r_0015_0016__lined, r_0015_0018__porn_r_0015_0019__shops, r_0015_0017__with_clr53).
arc(r_0015_0016__lined, z_000_15_a_alresford_41, 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, attrib76).
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, attrib87).
arc(r_0015_0033__values, r_0015_0032__neighbourly, attrib90).
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_000_15_a_alresford_2, r_0015_0001__Compared, restriction).
arc(z_000_15_a_alresford_2, r_0015_0034__would, scope).

fof(formula,axiom,
    ? [R_15_8_DIGGING,R_15_9_UP,R_15_23_LONDON_FLAT,R_15_22_MY,R_15_16_LINED,Z_15_A_ALRESFORD_41,R_15_10_THE_FINCHLEY_ROAD,R_15_14_NEWLY,R_15_18_PORN_SHOPS,Z_15_A_ALRESFORD_2,R_15_1_COMPARED,Z_15_A_ALRESFORD_4,R_15_3_THE_STRESS,R_15_7_DRILLS,R_15_6_PNEUMATIC,R_15_34_WOULD_HAVE_BEEN,R_15_26_ANY_COUNTRY_TOWN,R_15_27_QUIET,R_15_33_VALUES,R_15_31_DECENT,R_15_32_NEIGHBOURLY,R_15_37_A_TREAT] :
      ( up(R_15_9_UP)
      & my(R_15_22_MY)
      & the_Finchley_Road(R_15_10_THE_FINCHLEY_ROAD)
      & newly(R_15_14_NEWLY)
      & porn_shops(R_15_18_PORN_SHOPS)
      & pneumatic(R_15_6_PNEUMATIC)
      & quiet(R_15_27_QUIET)
      & decent(R_15_31_DECENT)
      & neighbourly(R_15_32_NEIGHBOURLY)
      & a_treat(R_15_37_A_TREAT)
      & digging(R_15_8_DIGGING,R_15_7_DRILLS,R_15_10_THE_FINCHLEY_ROAD)
      & drills(R_15_7_DRILLS)
      & attrib20(R_15_7_DRILLS,R_15_6_PNEUMATIC)
      & clr28(R_15_8_DIGGING,R_15_9_UP)
      & near_nim63(R_15_8_DIGGING,R_15_23_LONDON_FLAT)
      & london_flat(R_15_23_LONDON_FLAT)
      & gen(R_15_23_LONDON_FLAT,R_15_22_MY)
      & lined(R_15_16_LINED,Z_15_A_ALRESFORD_41,R_15_10_THE_FINCHLEY_ROAD)
      & nim43(R_15_16_LINED,R_15_14_NEWLY)
      & with_clr53(R_15_16_LINED,R_15_18_PORN_SHOPS)
      & z_15_a_alresford_2(Z_15_A_ALRESFORD_2)
      & conj1(Z_15_A_ALRESFORD_2,R_15_1_COMPARED)
      & compared(R_15_1_COMPARED,Z_15_A_ALRESFORD_4,R_15_26_ANY_COUNTRY_TOWN)
      & any_country_town(R_15_26_ANY_COUNTRY_TOWN)
      & attrib76(R_15_26_ANY_COUNTRY_TOWN,R_15_27_QUIET)
      & with(R_15_26_ANY_COUNTRY_TOWN,R_15_33_VALUES)
      & values(R_15_33_VALUES)
      & attrib87(R_15_33_VALUES,R_15_31_DECENT)
      & attrib90(R_15_33_VALUES,R_15_32_NEIGHBOURLY)
      & to_clr11(R_15_1_COMPARED,R_15_3_THE_STRESS)
      & the_stress(R_15_3_THE_STRESS)
      & of(R_15_3_THE_STRESS,R_15_7_DRILLS)
      & conj2(Z_15_A_ALRESFORD_2,R_15_34_WOULD_HAVE_BEEN)
      & would_have_been(R_15_34_WOULD_HAVE_BEEN,R_15_26_ANY_COUNTRY_TOWN,R_15_37_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))