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_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] 
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_4 Subsidiary n96_a_kyoto_2_6 temples n96_a_kyoto_2_8 include n96_a_kyoto_2_13 Keishunin n96_a_kyoto_2_15 , n96_a_kyoto_2_19 Shunkouin n96_a_kyoto_2_21 , n96_a_kyoto_2_24 and n96_a_kyoto_2_27 Taizouin n96_a_kyoto_2_29 . n96_a_kyoto_2_1 IP-MAT n96_a_kyoto_2_2 NP-SBJ n96_a_kyoto_2_1->n96_a_kyoto_2_2 n96_a_kyoto_2_7 VBP;__ n96_a_kyoto_2_1->n96_a_kyoto_2_7 n96_a_kyoto_2_9 NP-OB1 n96_a_kyoto_2_1->n96_a_kyoto_2_9 n96_a_kyoto_2_28 PUNC n96_a_kyoto_2_1->n96_a_kyoto_2_28 n96_a_kyoto_2_3 N n96_a_kyoto_2_2->n96_a_kyoto_2_3 n96_a_kyoto_2_5 NS n96_a_kyoto_2_2->n96_a_kyoto_2_5 n96_a_kyoto_2_3->n96_a_kyoto_2_4 n96_a_kyoto_2_5->n96_a_kyoto_2_6 n96_a_kyoto_2_7->n96_a_kyoto_2_8 n96_a_kyoto_2_10 NLYR n96_a_kyoto_2_9->n96_a_kyoto_2_10 n96_a_kyoto_2_11 NLYR n96_a_kyoto_2_10->n96_a_kyoto_2_11 n96_a_kyoto_2_14 PUNC n96_a_kyoto_2_10->n96_a_kyoto_2_14 n96_a_kyoto_2_16 CONJP n96_a_kyoto_2_10->n96_a_kyoto_2_16 n96_a_kyoto_2_20 PUNC n96_a_kyoto_2_10->n96_a_kyoto_2_20 n96_a_kyoto_2_22 CONJP n96_a_kyoto_2_10->n96_a_kyoto_2_22 n96_a_kyoto_2_12 NPR n96_a_kyoto_2_11->n96_a_kyoto_2_12 n96_a_kyoto_2_12->n96_a_kyoto_2_13 n96_a_kyoto_2_14->n96_a_kyoto_2_15 n96_a_kyoto_2_17 NLYR n96_a_kyoto_2_16->n96_a_kyoto_2_17 n96_a_kyoto_2_18 NPR n96_a_kyoto_2_17->n96_a_kyoto_2_18 n96_a_kyoto_2_18->n96_a_kyoto_2_19 n96_a_kyoto_2_20->n96_a_kyoto_2_21 n96_a_kyoto_2_23 CONJ n96_a_kyoto_2_22->n96_a_kyoto_2_23 n96_a_kyoto_2_25 NLYR n96_a_kyoto_2_22->n96_a_kyoto_2_25 n96_a_kyoto_2_23->n96_a_kyoto_2_24 n96_a_kyoto_2_26 NPR n96_a_kyoto_2_25->n96_a_kyoto_2_26 n96_a_kyoto_2_26->n96_a_kyoto_2_27 n96_a_kyoto_2_28->n96_a_kyoto_2_29 
( (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))