arc(r_0100_0001__There_r_0100_0002__are, r_0100_0005__in_r_0100_0007__filling, scope).
arc(r_0100_0004__houses, r_0100_0003__new, attrib9).
arc(r_0100_0005__in_r_0100_0007__filling, r_0100_0004__houses, arg0).
arc(r_0100_0005__in_r_0100_0007__filling, r_0100_0009__corners, arg1).
arc(r_0100_0005__in_r_0100_0007__filling, r_0100_0012__and, nim29).
arc(r_0100_0009__corners, r_0100_0008__odd, attrib22).
arc(r_0100_0012__and, r_0100_0011__usefully, conj1).
arc(r_0100_0012__and, r_0100_0013__attractively, conj2).
arc(r_0100_0015__but, r_0100_0001__There_r_0100_0002__are, conj1).
arc(r_0100_0015__but, r_0100_0019__is, conj2).
arc(r_0100_0016__the_r_0100_0018__aspect, r_0100_0017__visual, attrib49).
arc(r_0100_0019__is, r_0100_0016__the_r_0100_0018__aspect, arg0).
arc(r_0100_0019__is, r_0100_0021__the, prd).
arc(r_0100_0019__is, r_0100_0027__changes, r_0100_0024__even_r_0100_0025__with_nim72).
arc(r_0100_0021__the, r_0100_0020__much, qual57).
arc(r_0100_0021__the, r_0100_0022__same, attrib62).
arc(r_0100_0027__changes, r_0100_0026__major, attrib73).
arc(r_0100_0027__changes, r_0100_0029__Broad_r_0100_0030__Street, r_0100_0028__in).

fof(formula,axiom,
    ? [R_100_15_BUT,R_100_1_THERE_ARE_IN_FILLING,R_100_4_HOUSES,R_100_3_NEW,R_100_9_CORNERS,R_100_8_ODD,R_100_12_AND,R_100_11_USEFULLY,R_100_13_ATTRACTIVELY,R_100_19_IS,R_100_16_THE_ASPECT,R_100_17_VISUAL,R_100_21_THE,R_100_22_SAME,R_100_20_MUCH,R_100_27_CHANGES,R_100_26_MAJOR,R_100_29_BROAD_STREET] :
      ( new(R_100_3_NEW)
      & odd(R_100_8_ODD)
      & usefully(R_100_11_USEFULLY)
      & attractively(R_100_13_ATTRACTIVELY)
      & visual(R_100_17_VISUAL)
      & same(R_100_22_SAME)
      & much(R_100_20_MUCH)
      & major(R_100_26_MAJOR)
      & broad_Street(R_100_29_BROAD_STREET)
      & but(R_100_15_BUT)
      & conj1(R_100_15_BUT,R_100_1_THERE_ARE_IN_FILLING)
      & there_are_in_filling(R_100_1_THERE_ARE_IN_FILLING,R_100_4_HOUSES,R_100_9_CORNERS)
      & houses(R_100_4_HOUSES)
      & attrib9(R_100_4_HOUSES,R_100_3_NEW)
      & corners(R_100_9_CORNERS)
      & attrib22(R_100_9_CORNERS,R_100_8_ODD)
      & nim29(R_100_1_THERE_ARE_IN_FILLING,R_100_12_AND)
      & and(R_100_12_AND)
      & conj1(R_100_12_AND,R_100_11_USEFULLY)
      & conj2(R_100_12_AND,R_100_13_ATTRACTIVELY)
      & conj2(R_100_15_BUT,R_100_19_IS)
      & is(R_100_19_IS,R_100_16_THE_ASPECT,R_100_21_THE)
      & the_aspect(R_100_16_THE_ASPECT)
      & attrib49(R_100_16_THE_ASPECT,R_100_17_VISUAL)
      & the(R_100_21_THE)
      & attrib62(R_100_21_THE,R_100_22_SAME)
      & qual57(R_100_21_THE,R_100_20_MUCH)
      & even_with_nim72(R_100_19_IS,R_100_27_CHANGES)
      & changes(R_100_27_CHANGES)
      & attrib73(R_100_27_CHANGES,R_100_26_MAJOR)
      & in(R_100_27_CHANGES,R_100_29_BROAD_STREET) ) ).

( (IP-MAT (ILYR (ILYR (EX There;{there})
                      (BEP;_ex_cat_Vg_ are;{be})
                      (NP-ESBJ (ADJP (ADJ new;{new}))
                               (NS houses;{house}))
                      (IP-PPL-CAT (RP in;{in})
                                  (PUNC <hyphen>)
                                  (VAG;_phr_Vn.p_ filling;{fill[in]})
                                  (NP-OB1 (ADJP (ADJ odd;{odd}))
                                          (NS corners;{corner}))
                                  (PUNC ,)
                                  (ADVP-NIM (AVLYR (AVLYR (ADV usefully;{usefully}))
                                                   (CONJP (CONJ and;{and})
                                                          (AVLYR (ADV attractively;{attractively})))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D the;{the})
                                     (ADJP (ADJ visual;{visual}))
                                     (N aspect;{aspect}))
                             (BEP;_Ln_ is;{be})
                             (NP-PRD (ADVP (ADV much;{much}))
                                     (D the;{the})
                                     (ADJP (ADJ same;{same})))
                             (PUNC ,)
                             (PP-NIM (ADV even;{even})
                                     (P-ROLE with;{with})
                                     (NP (ADJP (ADJ major;{major}))
                                         (NS changes;{change})
                                         (PP (P-ROLE in;{in})
                                             (NP (NPR Broad;{Broad})
                                                 (NPR Street;{Street}))))))))
          (PUNC .))
  (ID 100_a_alresford))