( (FRAG (NP (NS Examples;{example})
            (PP (P-ROLE of;{of})
                (NP (N Koan;{koan})
                    (NS stories;{story})
                    (PP (P-ROLE in;{in})
                        (NP (D the;{the})
                            (N beginning;{beginning}))))))
        (PUNC .))
  (ID 51_a_kyoto_2;BDS_00002;51))

arc(r_0051_0001__Examples,r_0051_0003__Koan_r_0051_0004__stories,r_0051_0002__of).
arc(r_0051_0003__Koan_r_0051_0004__stories,r_0051_0006__the_r_0051_0007__beginning,r_0051_0005__in).
arc(z_0051_5006,r_0051_0001__Examples,z_0051_5002).

fof(formula,axiom,
    ? [R_0051_0006__THE_R_0051_0007__BEGINNING,R_0051_0003__KOAN_R_0051_0004__STORIES,R_0051_0001__EXAMPLES,Z_0051_5006] :
      ( r_0051_0006__the_r_0051_0007__beginning(R_0051_0006__THE_R_0051_0007__BEGINNING)
      & z_0051_5006(Z_0051_5006)
      & has_z_0051_5002(Z_0051_5006,R_0051_0001__EXAMPLES)
      & r_0051_0001__Examples(R_0051_0001__EXAMPLES)
      & has_r_0051_0002__of(R_0051_0001__EXAMPLES,R_0051_0003__KOAN_R_0051_0004__STORIES)
      & r_0051_0003__Koan_r_0051_0004__stories(R_0051_0003__KOAN_R_0051_0004__STORIES)
      & has_r_0051_0005__in(R_0051_0003__KOAN_R_0051_0004__STORIES,R_0051_0006__THE_R_0051_0007__BEGINNING) ) ).