TSPC 14_a_kyoto

14_a_kyoto_2
Japan's Rinzai is one of Zen schools in Japan.

( (IP-MAT (NP-SBJ;{JAPAN_RINZAI} (NP-GEN (NPR Japan;{Japan})
                                         (GENM <apos>s))
                                 (NPR Rinzai;{Rinzai}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NUM one;{one})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Zen;{Zen})
                          (NS schools;{school})
                          (PP (P-ROLE in;{in})
                              (NP (NPR Japan;{Japan}))))))
          (PUNC .))
  (ID 14_a_kyoto_2;BDS_00002;14))

arc(r_0014_0003__Rinzai,r_0014_0001__Japan,gen).
arc(r_0014_0004__is,r_0014_0003__Rinzai,arg0).
arc(r_0014_0004__is,r_0014_0005__one,prd).
arc(r_0014_0005__one,r_0014_0007__Zen_r_0014_0008__schools,r_0014_0006__of).
arc(r_0014_0007__Zen_r_0014_0008__schools,r_0014_0010__Japan,r_0014_0009__in).

fof(formula,axiom,
    ? [R_0014_0001__JAPAN,R_0014_0003__RINZAI,R_0014_0010__JAPAN,R_0014_0007__ZEN_R_0014_0008__SCHOOLS,R_0014_0005__ONE,R_0014_0004__IS] :
      ( r_0014_0001__Japan(R_0014_0001__JAPAN)
      & r_0014_0010__Japan(R_0014_0010__JAPAN)
      & r_0014_0004__is(R_0014_0004__IS)
      & has_prd(R_0014_0004__IS,R_0014_0005__ONE)
      & r_0014_0005__one(R_0014_0005__ONE)
      & has_r_0014_0006__of(R_0014_0005__ONE,R_0014_0007__ZEN_R_0014_0008__SCHOOLS)
      & r_0014_0007__Zen_r_0014_0008__schools(R_0014_0007__ZEN_R_0014_0008__SCHOOLS)
      & has_r_0014_0009__in(R_0014_0007__ZEN_R_0014_0008__SCHOOLS,R_0014_0010__JAPAN)
      & has_arg0(R_0014_0004__IS,R_0014_0003__RINZAI)
      & r_0014_0003__Rinzai(R_0014_0003__RINZAI)
      & has_gen(R_0014_0003__RINZAI,R_0014_0001__JAPAN) ) ).