arc(r_0001_0001__A_r_0001_0003__walk, r_0001_0002__circular, attrib5).
arc(r_0001_0001__A_r_0001_0003__walk, r_0001_0005__Hardley_r_0001_0006__lake, r_0001_0004__around).
arc(z_000_1_a_maptext_1, r_0001_0001__A_r_0001_0003__walk, nim2).

fof(formula,axiom,
    ? [Z_1_A_MAPTEXT_1,R_1_1_A_WALK,R_1_2_CIRCULAR,R_1_5_HARDLEY_LAKE] :
      ( circular(R_1_2_CIRCULAR)
      & hardley_lake(R_1_5_HARDLEY_LAKE)
      & z_1_a_maptext_1(Z_1_A_MAPTEXT_1)
      & nim2(Z_1_A_MAPTEXT_1,R_1_1_A_WALK)
      & a_walk(R_1_1_A_WALK)
      & attrib5(R_1_1_A_WALK,R_1_2_CIRCULAR)
      & around(R_1_1_A_WALK,R_1_5_HARDLEY_LAKE) ) ).

( (FRAG (NP (D A;{a})
            (ADJP (ADJ circular;{circular}))
            (N walk;{walk})
            (PP (P-ROLE around;{around})
                (NP (NPR Hardley;{Hardley})
                    (N lake;{lake})))))
  (ID 1_a_maptext))