TSPC 115_a_kyoto

115_a_kyoto_2
Kinkaku-ji Temple and Ginkaku-ji Temple are affiliated.

( (IP-MAT (NP-SBJ (NLYR (NLYR (NPR Kinkaku_<hyphen>_ji;{Kinkaku_ji})
                              (NPR Temple;{Temple}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Ginkaku_<hyphen>_ji;{Ginkaku_ji})
                                     (NPR Temple;{Temple})))))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ affiliated;{affiliate}))
          (PUNC .))
  (ID 115_a_kyoto_2;BDS_00002;114))

arc(r_0115_0003__and,r_0115_0001__Kinkaku__hyphen__ji_r_0115_0002__Temple,conj1).
arc(r_0115_0003__and,r_0115_0004__Ginkaku__hyphen__ji_r_0115_0005__Temple,conj2).
arc(r_0115_0006__are,r_0115_0007__affiliated,scope).
arc(r_0115_0007__affiliated,r_0115_0003__and,arg1).
arc(r_0115_0007__affiliated,z_0115_5003___star_,arg0).

fof(formula,axiom,
    ? [R_0115_0001__KINKAKU__HYPHEN__JI_R_0115_0002__TEMPLE,R_0115_0004__GINKAKU__HYPHEN__JI_R_0115_0005__TEMPLE,R_0115_0003__AND,Z_0115_5003___STAR_,R_0115_0006__ARE_R_0115_0007__AFFILIATED] :
      ( r_0115_0001__Kinkaku__hyphen__ji_r_0115_0002__Temple(R_0115_0001__KINKAKU__HYPHEN__JI_R_0115_0002__TEMPLE)
      & r_0115_0004__Ginkaku__hyphen__ji_r_0115_0005__Temple(R_0115_0004__GINKAKU__HYPHEN__JI_R_0115_0005__TEMPLE)
      & z_0115_5003___star_(Z_0115_5003___STAR_)
      & r_0115_0006__are_r_0115_0007__affiliated(R_0115_0006__ARE_R_0115_0007__AFFILIATED)
      & has_arg0(R_0115_0006__ARE_R_0115_0007__AFFILIATED,Z_0115_5003___STAR_)
      & has_arg1(R_0115_0006__ARE_R_0115_0007__AFFILIATED,R_0115_0003__AND)
      & r_0115_0003__and(R_0115_0003__AND)
      & has_conj2(R_0115_0003__AND,R_0115_0004__GINKAKU__HYPHEN__JI_R_0115_0005__TEMPLE)
      & has_conj1(R_0115_0003__AND,R_0115_0001__KINKAKU__HYPHEN__JI_R_0115_0002__TEMPLE) ) ).