14_a_kyoto_2
Japan's Rinzai is one of Zen schools in Japan.
arc(r_0014_0003__Rinzai, r_0014_0001__Japan_r_0014_0002___apos_s, 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_0002___APOS_S,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_0002___apos_s(R_0014_0001__JAPAN_R_0014_0002___APOS_S)
& 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_R_0014_0002___APOS_S) ) ).
( (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))