TSPC 96_a_kyoto

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

( (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))

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).

fof(formula,axiom,
    ? [R_0096_0001__SUBSIDIARY_R_0096_0002__TEMPLES,R_0096_0004__KEISHUNIN,R_0096_0006__SHUNKOUIN,R_0096_0009__TAIZOUIN,R_0096_0008__AND,R_0096_0003__INCLUDE] :
      ( r_0096_0001__Subsidiary_r_0096_0002__temples(R_0096_0001__SUBSIDIARY_R_0096_0002__TEMPLES)
      & r_0096_0004__Keishunin(R_0096_0004__KEISHUNIN)
      & r_0096_0006__Shunkouin(R_0096_0006__SHUNKOUIN)
      & r_0096_0009__Taizouin(R_0096_0009__TAIZOUIN)
      & r_0096_0003__include(R_0096_0003__INCLUDE)
      & has_arg1(R_0096_0003__INCLUDE,R_0096_0008__AND)
      & r_0096_0008__and(R_0096_0008__AND)
      & has_conj3(R_0096_0008__AND,R_0096_0009__TAIZOUIN)
      & has_conj2(R_0096_0008__AND,R_0096_0006__SHUNKOUIN)
      & has_conj1(R_0096_0008__AND,R_0096_0004__KEISHUNIN)
      & has_arg0(R_0096_0003__INCLUDE,R_0096_0001__SUBSIDIARY_R_0096_0002__TEMPLES) ) ).