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_14_4_IS,R_14_3_RINZAI,R_14_1_JAPAN_APOS_S,R_14_5_ONE,R_14_7_ZEN_SCHOOLS,R_14_10_JAPAN] :
( japan_apos_s(R_14_1_JAPAN_APOS_S)
& japan(R_14_10_JAPAN)
& is(R_14_4_IS,R_14_3_RINZAI,R_14_5_ONE)
& rinzai(R_14_3_RINZAI)
& gen(R_14_3_RINZAI,R_14_1_JAPAN_APOS_S)
& one(R_14_5_ONE)
& of(R_14_5_ONE,R_14_7_ZEN_SCHOOLS)
& zen_schools(R_14_7_ZEN_SCHOOLS)
& in(R_14_7_ZEN_SCHOOLS,R_14_10_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))