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_0100_0003__NEW,R_0100_0004__HOUSES,R_0100_0008__ODD,R_0100_0009__CORNERS,R_0100_0011__USEFULLY,R_0100_0013__ATTRACTIVELY,R_0100_0012__AND,R_0100_0001__THERE_R_0100_0002__ARE_R_0100_0005__IN_R_0100_0007__FILLING,R_0100_0017__VISUAL,R_0100_0016__THE_R_0100_0018__ASPECT,R_0100_0020__MUCH,R_0100_0022__SAME,R_0100_0021__THE,R_0100_0026__MAJOR,R_0100_0029__BROAD_R_0100_0030__STREET,R_0100_0027__CHANGES,R_0100_0019__IS,R_0100_0015__BUT] :
      ( r_0100_0003__new(R_0100_0003__NEW)
      & r_0100_0008__odd(R_0100_0008__ODD)
      & r_0100_0011__usefully(R_0100_0011__USEFULLY)
      & r_0100_0013__attractively(R_0100_0013__ATTRACTIVELY)
      & r_0100_0017__visual(R_0100_0017__VISUAL)
      & r_0100_0020__much(R_0100_0020__MUCH)
      & r_0100_0022__same(R_0100_0022__SAME)
      & r_0100_0026__major(R_0100_0026__MAJOR)
      & r_0100_0029__Broad_r_0100_0030__Street(R_0100_0029__BROAD_R_0100_0030__STREET)
      & r_0100_0015__but(R_0100_0015__BUT)
      & has_conj2(R_0100_0015__BUT,R_0100_0019__IS)
      & r_0100_0019__is(R_0100_0019__IS)
      & has_r_0100_0024__even_r_0100_0025__with_nim72(R_0100_0019__IS,R_0100_0027__CHANGES)
      & r_0100_0027__changes(R_0100_0027__CHANGES)
      & has_r_0100_0028__in(R_0100_0027__CHANGES,R_0100_0029__BROAD_R_0100_0030__STREET)
      & has_attrib73(R_0100_0027__CHANGES,R_0100_0026__MAJOR)
      & has_prd(R_0100_0019__IS,R_0100_0021__THE)
      & r_0100_0021__the(R_0100_0021__THE)
      & has_attrib62(R_0100_0021__THE,R_0100_0022__SAME)
      & has_qual57(R_0100_0021__THE,R_0100_0020__MUCH)
      & has_arg0(R_0100_0019__IS,R_0100_0016__THE_R_0100_0018__ASPECT)
      & r_0100_0016__the_r_0100_0018__aspect(R_0100_0016__THE_R_0100_0018__ASPECT)
      & has_attrib49(R_0100_0016__THE_R_0100_0018__ASPECT,R_0100_0017__VISUAL)
      & has_conj1(R_0100_0015__BUT,R_0100_0001__THERE_R_0100_0002__ARE_R_0100_0005__IN_R_0100_0007__FILLING)
      & r_0100_0001__There_r_0100_0002__are_r_0100_0005__in_r_0100_0007__filling(R_0100_0001__THERE_R_0100_0002__ARE_R_0100_0005__IN_R_0100_0007__FILLING)
      & has_nim29(R_0100_0001__THERE_R_0100_0002__ARE_R_0100_0005__IN_R_0100_0007__FILLING,R_0100_0012__AND)
      & r_0100_0012__and(R_0100_0012__AND)
      & has_conj2(R_0100_0012__AND,R_0100_0013__ATTRACTIVELY)
      & has_conj1(R_0100_0012__AND,R_0100_0011__USEFULLY)
      & has_arg1(R_0100_0001__THERE_R_0100_0002__ARE_R_0100_0005__IN_R_0100_0007__FILLING,R_0100_0009__CORNERS)
      & r_0100_0009__corners(R_0100_0009__CORNERS)
      & has_attrib22(R_0100_0009__CORNERS,R_0100_0008__ODD)
      & has_arg0(R_0100_0001__THERE_R_0100_0002__ARE_R_0100_0005__IN_R_0100_0007__FILLING,R_0100_0004__HOUSES)
      & r_0100_0004__houses(R_0100_0004__HOUSES)
      & has_attrib9(R_0100_0004__HOUSES,R_0100_0003__NEW) ) ).

( (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))