arc(r_0051_0002__ducks, r_0051_0001__Local, attrib5).
arc(r_0051_0003__were, r_0051_0002__ducks, arg0).
arc(r_0051_0003__were, r_0051_0004__often, nim12).
arc(r_0051_0003__were, r_0051_0005__pedestrians, prd).
arc(r_0051_0005__pedestrians, r_0051_0007__the_r_0051_0008__road, r_0051_0006__up).
arc(r_0051_0011__when, r_0051_0014__replaced, restriction).
arc(r_0051_0011__when, r_0051_0022__liked, scope).
arc(r_0051_0013__bungalows, r_0051_0012__new, attrib38).
arc(r_0051_0014__replaced, r_0051_0013__bungalows, arg0).
arc(r_0051_0014__replaced, r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School, arg1).
arc(r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School, r_0051_0016__old, attrib48).
arc(r_0051_0022__liked, r_0051_0010__so, nim30).
arc(r_0051_0022__liked, r_0051_0021__I, arg0).
arc(r_0051_0022__liked, r_0051_0023__the_r_0051_0024__name, arg1).
arc(z_000_51_a_alresford_2, r_0051_0003__were, conj1).
arc(z_000_51_a_alresford_2, r_0051_0011__when, conj2).
arc(z_000_51_a_alresford_69, r_0051_0023__the_r_0051_0024__name, arg0).
arc(z_000_51_a_alresford_69, r_0051_0025__Mallard_r_0051_0026__Close, prd).

fof(formula,axiom,
    ? [R_0051_0001__LOCAL,R_0051_0002__DUCKS,R_0051_0004__OFTEN,R_0051_0007__THE_R_0051_0008__ROAD,R_0051_0005__PEDESTRIANS,R_0051_0003__WERE,Z_000_51_A_ALRESFORD_2,R_0051_0023__THE_R_0051_0024__NAME,R_0051_0025__MALLARD_R_0051_0026__CLOSE,Z_000_51_A_ALRESFORD_69] :
      ( r_0051_0001__Local(R_0051_0001__LOCAL)
      & r_0051_0004__often(R_0051_0004__OFTEN)
      & r_0051_0007__the_r_0051_0008__road(R_0051_0007__THE_R_0051_0008__ROAD)
      & r_0051_0023__the_r_0051_0024__name(R_0051_0023__THE_R_0051_0024__NAME)
      & r_0051_0025__Mallard_r_0051_0026__Close(R_0051_0025__MALLARD_R_0051_0026__CLOSE)
      & z_000_51_a_alresford_69(Z_000_51_A_ALRESFORD_69)
      & has_prd(Z_000_51_A_ALRESFORD_69,R_0051_0025__MALLARD_R_0051_0026__CLOSE)
      & has_arg0(Z_000_51_A_ALRESFORD_69,R_0051_0023__THE_R_0051_0024__NAME)
      & z_000_51_a_alresford_2(Z_000_51_A_ALRESFORD_2)
      & ! [R_0051_0014__REPLACED,R_0051_0012__NEW,R_0051_0013__BUNGALOWS,R_0051_0016__OLD,R_0051_0015__THE_R_0051_0017__DEAN_R_0051_0018__JUNIOR_R_0051_0019__SCHOOL] :
          ( ( r_0051_0012__new(R_0051_0012__NEW)
            & r_0051_0016__old(R_0051_0016__OLD)
            & r_0051_0014__replaced(R_0051_0014__REPLACED)
            & has_arg1(R_0051_0014__REPLACED,R_0051_0015__THE_R_0051_0017__DEAN_R_0051_0018__JUNIOR_R_0051_0019__SCHOOL)
            & r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School(R_0051_0015__THE_R_0051_0017__DEAN_R_0051_0018__JUNIOR_R_0051_0019__SCHOOL)
            & has_attrib48(R_0051_0015__THE_R_0051_0017__DEAN_R_0051_0018__JUNIOR_R_0051_0019__SCHOOL,R_0051_0016__OLD)
            & has_arg0(R_0051_0014__REPLACED,R_0051_0013__BUNGALOWS)
            & r_0051_0013__bungalows(R_0051_0013__BUNGALOWS)
            & has_attrib38(R_0051_0013__BUNGALOWS,R_0051_0012__NEW) )
         => ? [R_0051_0010__SO,R_0051_0021__I,R_0051_0022__LIKED] :
              ( r_0051_0010__so(R_0051_0010__SO)
              & r_0051_0021__I(R_0051_0021__I)
              & r_0051_0022__liked(R_0051_0022__LIKED)
              & has_arg1(R_0051_0022__LIKED,R_0051_0023__THE_R_0051_0024__NAME)
              & has_arg0(R_0051_0022__LIKED,R_0051_0021__I)
              & has_nim30(R_0051_0022__LIKED,R_0051_0010__SO) ) )
      & has_conj1(Z_000_51_A_ALRESFORD_2,R_0051_0003__WERE)
      & r_0051_0003__were(R_0051_0003__WERE)
      & has_prd(R_0051_0003__WERE,R_0051_0005__PEDESTRIANS)
      & r_0051_0005__pedestrians(R_0051_0005__PEDESTRIANS)
      & has_r_0051_0006__up(R_0051_0005__PEDESTRIANS,R_0051_0007__THE_R_0051_0008__ROAD)
      & has_nim12(R_0051_0003__WERE,R_0051_0004__OFTEN)
      & has_arg0(R_0051_0003__WERE,R_0051_0002__DUCKS)
      & r_0051_0002__ducks(R_0051_0002__DUCKS)
      & has_attrib5(R_0051_0002__DUCKS,R_0051_0001__LOCAL) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Local;{local}))
                              (NS ducks;{duck}))
                      (BED;_Ln_ were;{be})
                      (ADVP-NIM (ADV often;{often}))
                      (NP-PRD (NS pedestrians;{pedestrian})
                              (PP (P-ROLE up;{up})
                                  (NP (D the;{the})
                                      (N road;{road})))))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ (ADJP (ADJ new;{new}))
                                                      (NS bungalows;{bungalow}))
                                              (VBD;_Tn_ replaced;{replace})
                                              (NP-OB1 (D the;{the})
                                                      (ADJP (ADJ old;{old}))
                                                      (NPR Dean;{Dean})
                                                      (NPR Junior;{Junior})
                                                      (NPR School;{School}))))
                             (PUNC ,)
                             (NP-SBJ (PRO I;{I}))
                             (VBD;_Tn_ liked;{like})
                             (NP-OB1 (D the;{the})
                                     (N name;{name})
                                     (IP-PPL (NP-PRD (NPR Mallard;{Mallard})
                                                     (NPR Close;{Close})))))))
          (PUNC .))
  (ID 51_a_alresford))