Context                Previous, Next                Top


96_a_kyoto_2
Subsidiary temples include Keishunin, Shunkouin, and Taizouin.

%3 r_0096_0003__include include r_0096_0001__Subsidiary_r_0096_0002__temples Subsidiary temples r_0096_0003__include->r_0096_0001__Subsidiary_r_0096_0002__temples [arg0] r_0096_0008__and and r_0096_0003__include->r_0096_0008__and [arg1] r_0096_0004__Keishunin Keishunin r_0096_0008__and->r_0096_0004__Keishunin [conj1] r_0096_0006__Shunkouin Shunkouin r_0096_0008__and->r_0096_0006__Shunkouin [conj2] r_0096_0009__Taizouin Taizouin r_0096_0008__and->r_0096_0009__Taizouin [conj3] 
arc(r_0096_0003__include, r_0096_0001__Subsidiary_r_0096_0002__temples, arg0).
arc(r_0096_0003__include, r_0096_0008__and, arg1).
arc(r_0096_0008__and, r_0096_0004__Keishunin, conj1).
arc(r_0096_0008__and, r_0096_0006__Shunkouin, conj2).
arc(r_0096_0008__and, r_0096_0009__Taizouin, conj3).


%3 r_0096_0008__and and r_0096_0009__Taizouin Taizouin r_0096_0008__and->r_0096_0009__Taizouin [conj3] r_0096_0006__Shunkouin Shunkouin r_0096_0008__and->r_0096_0006__Shunkouin [conj2] r_0096_0004__Keishunin Keishunin r_0096_0008__and->r_0096_0004__Keishunin [conj1] r_0096_0003__include include r_0096_0003__include->r_0096_0008__and [arg1] r_0096_0001__Subsidiary_r_0096_0002__temples Subsidiary temples r_0096_0003__include->r_0096_0001__Subsidiary_r_0096_0002__temples [arg0] 
fof(formula,axiom,
    ? [R_96_3_INCLUDE,R_96_1_SUBSIDIARY_TEMPLES,R_96_8_AND,R_96_4_KEISHUNIN,R_96_6_SHUNKOUIN,R_96_9_TAIZOUIN] :
      ( subsidiary_temples(R_96_1_SUBSIDIARY_TEMPLES)
      & keishunin(R_96_4_KEISHUNIN)
      & shunkouin(R_96_6_SHUNKOUIN)
      & taizouin(R_96_9_TAIZOUIN)
      & include(R_96_3_INCLUDE,R_96_1_SUBSIDIARY_TEMPLES,R_96_8_AND)
      & and(R_96_8_AND)
      & conj1(R_96_8_AND,R_96_4_KEISHUNIN)
      & conj2(R_96_8_AND,R_96_6_SHUNKOUIN)
      & conj3(R_96_8_AND,R_96_9_TAIZOUIN) ) ).


n96_a_kyoto_2 n96_a_kyoto_2__1_1_1_1 Subsidiary n96_a_kyoto_2__1_1_2_1 temples n96_a_kyoto_2__1_2_1 include n96_a_kyoto_2__1_3_1_1_1_1 Keishunin n96_a_kyoto_2__1_3_1_2_1 , n96_a_kyoto_2__1_3_1_3_1_1_1 Shunkouin n96_a_kyoto_2__1_3_1_4_1 , n96_a_kyoto_2__1_3_1_5_1_1 and n96_a_kyoto_2__1_3_1_5_2_1_1 Taizouin n96_a_kyoto_2__1_4_1 . n96_a_kyoto_2__1 IP-MAT n96_a_kyoto_2__1_1 NP-SBJ n96_a_kyoto_2__1->n96_a_kyoto_2__1_1 n96_a_kyoto_2__1_2 VBP;__ n96_a_kyoto_2__1->n96_a_kyoto_2__1_2 n96_a_kyoto_2__1_3 NP-OB1 n96_a_kyoto_2__1->n96_a_kyoto_2__1_3 n96_a_kyoto_2__1_4 PUNC n96_a_kyoto_2__1->n96_a_kyoto_2__1_4 n96_a_kyoto_2__1_1_1 N n96_a_kyoto_2__1_1->n96_a_kyoto_2__1_1_1 n96_a_kyoto_2__1_1_2 NS n96_a_kyoto_2__1_1->n96_a_kyoto_2__1_1_2 n96_a_kyoto_2__1_1_1->n96_a_kyoto_2__1_1_1_1 n96_a_kyoto_2__1_1_2->n96_a_kyoto_2__1_1_2_1 n96_a_kyoto_2__1_2->n96_a_kyoto_2__1_2_1 n96_a_kyoto_2__1_3_1 NLYR n96_a_kyoto_2__1_3->n96_a_kyoto_2__1_3_1 n96_a_kyoto_2__1_3_1_1 NLYR n96_a_kyoto_2__1_3_1->n96_a_kyoto_2__1_3_1_1 n96_a_kyoto_2__1_3_1_2 PUNC n96_a_kyoto_2__1_3_1->n96_a_kyoto_2__1_3_1_2 n96_a_kyoto_2__1_3_1_3 CONJP n96_a_kyoto_2__1_3_1->n96_a_kyoto_2__1_3_1_3 n96_a_kyoto_2__1_3_1_4 PUNC n96_a_kyoto_2__1_3_1->n96_a_kyoto_2__1_3_1_4 n96_a_kyoto_2__1_3_1_5 CONJP n96_a_kyoto_2__1_3_1->n96_a_kyoto_2__1_3_1_5 n96_a_kyoto_2__1_3_1_1_1 NPR n96_a_kyoto_2__1_3_1_1->n96_a_kyoto_2__1_3_1_1_1 n96_a_kyoto_2__1_3_1_1_1->n96_a_kyoto_2__1_3_1_1_1_1 n96_a_kyoto_2__1_3_1_2->n96_a_kyoto_2__1_3_1_2_1 n96_a_kyoto_2__1_3_1_3_1 NLYR n96_a_kyoto_2__1_3_1_3->n96_a_kyoto_2__1_3_1_3_1 n96_a_kyoto_2__1_3_1_3_1_1 NPR n96_a_kyoto_2__1_3_1_3_1->n96_a_kyoto_2__1_3_1_3_1_1 n96_a_kyoto_2__1_3_1_3_1_1->n96_a_kyoto_2__1_3_1_3_1_1_1 n96_a_kyoto_2__1_3_1_4->n96_a_kyoto_2__1_3_1_4_1 n96_a_kyoto_2__1_3_1_5_1 CONJ n96_a_kyoto_2__1_3_1_5->n96_a_kyoto_2__1_3_1_5_1 n96_a_kyoto_2__1_3_1_5_2 NLYR n96_a_kyoto_2__1_3_1_5->n96_a_kyoto_2__1_3_1_5_2 n96_a_kyoto_2__1_3_1_5_1->n96_a_kyoto_2__1_3_1_5_1_1 n96_a_kyoto_2__1_3_1_5_2_1 NPR n96_a_kyoto_2__1_3_1_5_2->n96_a_kyoto_2__1_3_1_5_2_1 n96_a_kyoto_2__1_3_1_5_2_1->n96_a_kyoto_2__1_3_1_5_2_1_1 n96_a_kyoto_2__1_4->n96_a_kyoto_2__1_4_1 
( (IP-MAT (NP-SBJ (N Subsidiary;{subsidiary})
                  (NS temples;{temple}))
          (VBP;__ include;{include})
          (NP-OB1 (NLYR (NLYR (NPR Keishunin;{Keishunin}))
                        (PUNC ,)
                        (CONJP (NLYR (NPR Shunkouin;{Shunkouin})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Taizouin;{Taizouin})))))
          (PUNC .))
  (ID 96_a_kyoto_2;BDS_00002;95))