( (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})
                                     (PRN (NP (NPR Mallard;{Mallard})
                                              (NPR Close;{Close})))))))
          (PUNC .))
  (ID 50_a_alresford))

arc(r_0050_0002__ducks,r_0050_0001__Local,attrib).
arc(r_0050_0003__were,r_0050_0002__ducks,arg0).
arc(r_0050_0003__were,r_0050_0004__often,nim).
arc(r_0050_0003__were,r_0050_0005__pedestrians,prd).
arc(r_0050_0005__pedestrians,r_0050_0007__the_r_0050_0008__road,r_0050_0006__up).
arc(r_0050_0011__when,r_0050_0014__replaced,restriction).
arc(r_0050_0011__when,r_0050_0022__liked,scope).
arc(r_0050_0013__bungalows,r_0050_0012__new,attrib).
arc(r_0050_0014__replaced,r_0050_0013__bungalows,arg0).
arc(r_0050_0014__replaced,r_0050_0015__the_r_0050_0017__Dean_r_0050_0018__Junior_r_0050_0019__School,arg1).
arc(r_0050_0015__the_r_0050_0017__Dean_r_0050_0018__Junior_r_0050_0019__School,r_0050_0016__old,attrib).
arc(r_0050_0022__liked,r_0050_0010__so,nim).
arc(r_0050_0022__liked,r_0050_0021__I,arg0).
arc(r_0050_0022__liked,r_0050_0023__the_r_0050_0024__name,arg1).
arc(z_0050_5001,r_0050_0003__were,conj1).
arc(z_0050_5001,r_0050_0011__when,conj2).
arc(z_0050_5015,r_0050_0023__the_r_0050_0024__name,arg0).
arc(z_0050_5015,r_0050_0025__Mallard_r_0050_0026__Close,prd).

fof(formula,axiom,
    ? [R_0050_0001__LOCAL,R_0050_0002__DUCKS,R_0050_0004__OFTEN,R_0050_0007__THE_R_0050_0008__ROAD,R_0050_0005__PEDESTRIANS,R_0050_0003__WERE,Z_0050_5001,R_0050_0023__THE_R_0050_0024__NAME,R_0050_0025__MALLARD_R_0050_0026__CLOSE,Z_0050_5015] :
      ( r_0050_0001__Local(R_0050_0001__LOCAL)
      & r_0050_0004__often(R_0050_0004__OFTEN)
      & r_0050_0007__the_r_0050_0008__road(R_0050_0007__THE_R_0050_0008__ROAD)
      & r_0050_0023__the_r_0050_0024__name(R_0050_0023__THE_R_0050_0024__NAME)
      & r_0050_0025__Mallard_r_0050_0026__Close(R_0050_0025__MALLARD_R_0050_0026__CLOSE)
      & z_0050_5015(Z_0050_5015)
      & has_prd(Z_0050_5015,R_0050_0025__MALLARD_R_0050_0026__CLOSE)
      & has_arg0(Z_0050_5015,R_0050_0023__THE_R_0050_0024__NAME)
      & z_0050_5001(Z_0050_5001)
      & ! [R_0050_0014__REPLACED,R_0050_0012__NEW,R_0050_0013__BUNGALOWS,R_0050_0016__OLD,R_0050_0015__THE_R_0050_0017__DEAN_R_0050_0018__JUNIOR_R_0050_0019__SCHOOL] :
          ( ( r_0050_0012__new(R_0050_0012__NEW)
            & r_0050_0016__old(R_0050_0016__OLD)
            & r_0050_0014__replaced(R_0050_0014__REPLACED)
            & has_arg1(R_0050_0014__REPLACED,R_0050_0015__THE_R_0050_0017__DEAN_R_0050_0018__JUNIOR_R_0050_0019__SCHOOL)
            & r_0050_0015__the_r_0050_0017__Dean_r_0050_0018__Junior_r_0050_0019__School(R_0050_0015__THE_R_0050_0017__DEAN_R_0050_0018__JUNIOR_R_0050_0019__SCHOOL)
            & has_attrib(R_0050_0015__THE_R_0050_0017__DEAN_R_0050_0018__JUNIOR_R_0050_0019__SCHOOL,R_0050_0016__OLD)
            & has_arg0(R_0050_0014__REPLACED,R_0050_0013__BUNGALOWS)
            & r_0050_0013__bungalows(R_0050_0013__BUNGALOWS)
            & has_attrib(R_0050_0013__BUNGALOWS,R_0050_0012__NEW) )
         => ? [R_0050_0010__SO,R_0050_0021__I,R_0050_0022__LIKED] :
              ( r_0050_0010__so(R_0050_0010__SO)
              & r_0050_0021__I(R_0050_0021__I)
              & r_0050_0022__liked(R_0050_0022__LIKED)
              & has_arg1(R_0050_0022__LIKED,R_0050_0023__THE_R_0050_0024__NAME)
              & has_arg0(R_0050_0022__LIKED,R_0050_0021__I)
              & has_nim(R_0050_0022__LIKED,R_0050_0010__SO) ) )
      & has_conj1(Z_0050_5001,R_0050_0003__WERE)
      & r_0050_0003__were(R_0050_0003__WERE)
      & has_prd(R_0050_0003__WERE,R_0050_0005__PEDESTRIANS)
      & r_0050_0005__pedestrians(R_0050_0005__PEDESTRIANS)
      & has_r_0050_0006__up(R_0050_0005__PEDESTRIANS,R_0050_0007__THE_R_0050_0008__ROAD)
      & has_nim(R_0050_0003__WERE,R_0050_0004__OFTEN)
      & has_arg0(R_0050_0003__WERE,R_0050_0002__DUCKS)
      & r_0050_0002__ducks(R_0050_0002__DUCKS)
      & has_attrib(R_0050_0002__DUCKS,R_0050_0001__LOCAL) ) ).