( (IP-MAT (ADVP-NIM (ADV Presently;{presently}))
          (PUNC ,)
          (NP-SBJ;{PETER} (PRO he;{he}))
          (VBD;_Ipr_ came;{come[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D a;{a})
                      (N pond;{pond})
                      (IP-REL (ADVP-NIM (RADV where;{where}))
                              (NP-SBJ;{MRMCG} (N Mr<dot>)
                                              (NPR McGregor;{McGregor}))
                              (VBD;_Tn_ filled;{fill})
                              (NP-OB1;{CONTAINER} (NP-GEN;{MRMCG} (PRO;_genm_ his;{his}))
                                                  (N water;{water})
                                                  (PUNC <hyphen>)
                                                  (NS cans;{can})))))
          (PUNC .))
  (ID 36_a_potter_1902))

arc(r_0036_0004__came_r_0036_0005__to,r_0036_0001__Presently,nim).
arc(r_0036_0004__came_r_0036_0005__to,r_0036_0003__he,arg0).
arc(r_0036_0004__came_r_0036_0005__to,r_0036_0006__a_r_0036_0007__pond,arg1).
arc(r_0036_0011__filled,r_0036_0006__a_r_0036_0007__pond,nim).
arc(r_0036_0011__filled,r_0036_0009__Mr_dot__r_0036_0010__McGregor,arg0).
arc(r_0036_0011__filled,r_0036_0013__water_r_0036_0015__cans,arg1).
arc(r_0036_0013__water_r_0036_0015__cans,r_0036_0009__Mr_dot__r_0036_0010__McGregor,gen).

fof(formula,axiom,
    ? [R_0036_0001__PRESENTLY,R_0036_0003__HE,R_0036_0006__A_R_0036_0007__POND,R_0036_0004__CAME_R_0036_0005__TO,R_0036_0009__MR_DOT__R_0036_0010__MCGREGOR,R_0036_0013__WATER_R_0036_0015__CANS,R_0036_0011__FILLED] :
      ( r_0036_0001__Presently(R_0036_0001__PRESENTLY)
      & r_0036_0003__he(R_0036_0003__HE)
      & r_0036_0006__a_r_0036_0007__pond(R_0036_0006__A_R_0036_0007__POND)
      & r_0036_0009__Mr_dot__r_0036_0010__McGregor(R_0036_0009__MR_DOT__R_0036_0010__MCGREGOR)
      & r_0036_0011__filled(R_0036_0011__FILLED)
      & has_arg1(R_0036_0011__FILLED,R_0036_0013__WATER_R_0036_0015__CANS)
      & r_0036_0013__water_r_0036_0015__cans(R_0036_0013__WATER_R_0036_0015__CANS)
      & has_gen(R_0036_0013__WATER_R_0036_0015__CANS,R_0036_0009__MR_DOT__R_0036_0010__MCGREGOR)
      & has_arg0(R_0036_0011__FILLED,R_0036_0009__MR_DOT__R_0036_0010__MCGREGOR)
      & has_nim(R_0036_0011__FILLED,R_0036_0006__A_R_0036_0007__POND)
      & r_0036_0004__came_r_0036_0005__to(R_0036_0004__CAME_R_0036_0005__TO)
      & has_arg1(R_0036_0004__CAME_R_0036_0005__TO,R_0036_0006__A_R_0036_0007__POND)
      & has_arg0(R_0036_0004__CAME_R_0036_0005__TO,R_0036_0003__HE)
      & has_nim(R_0036_0004__CAME_R_0036_0005__TO,R_0036_0001__PRESENTLY) ) ).