TSPC 109_a_kyoto

109_a_kyoto_2
It has about 170 branch temples mainly in the area of Shizuoka Prefecture.

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (ADVP (ADV about;{about}))
                  (NUM 170)
                  (N branch;{branch})
                  (NS temples;{temple})
                  (PP (ADVP-NIM (ADV mainly;{mainly}))
                      (P-ROLE in;{in})
                      (NP (D the;{the})
                          (N area;{area})
                          (PP (P-ROLE of;{of})
                              (NP (NPR Shizuoka;{Shizuoka})
                                  (NPR Prefecture;{Prefecture}))))))
          (PUNC .))
  (ID 109_a_kyoto_2;BDS_00002;108))

arc(r_0109_0002__has,r_0109_0001__It,arg0).
arc(r_0109_0002__has,r_0109_0004__170_r_0109_0005__branch_r_0109_0006__temples,arg1).
arc(r_0109_0004__170_r_0109_0005__branch_r_0109_0006__temples,r_0109_0003__about,qual).
arc(r_0109_0004__170_r_0109_0005__branch_r_0109_0006__temples,r_0109_0009__the_r_0109_0010__area,r_0109_0007__mainly_r_0109_0008__in).
arc(r_0109_0009__the_r_0109_0010__area,r_0109_0012__Shizuoka_r_0109_0013__Prefecture,r_0109_0011__of).

fof(formula,axiom,
    ? [R_0109_0001__IT,R_0109_0003__ABOUT,R_0109_0012__SHIZUOKA_R_0109_0013__PREFECTURE,R_0109_0009__THE_R_0109_0010__AREA,R_0109_0004__170_R_0109_0005__BRANCH_R_0109_0006__TEMPLES,R_0109_0002__HAS] :
      ( r_0109_0001__It(R_0109_0001__IT)
      & r_0109_0003__about(R_0109_0003__ABOUT)
      & r_0109_0012__Shizuoka_r_0109_0013__Prefecture(R_0109_0012__SHIZUOKA_R_0109_0013__PREFECTURE)
      & r_0109_0002__has(R_0109_0002__HAS)
      & has_arg1(R_0109_0002__HAS,R_0109_0004__170_R_0109_0005__BRANCH_R_0109_0006__TEMPLES)
      & r_0109_0004__170_r_0109_0005__branch_r_0109_0006__temples(R_0109_0004__170_R_0109_0005__BRANCH_R_0109_0006__TEMPLES)
      & has_r_0109_0007__mainly_r_0109_0008__in(R_0109_0004__170_R_0109_0005__BRANCH_R_0109_0006__TEMPLES,R_0109_0009__THE_R_0109_0010__AREA)
      & r_0109_0009__the_r_0109_0010__area(R_0109_0009__THE_R_0109_0010__AREA)
      & has_r_0109_0011__of(R_0109_0009__THE_R_0109_0010__AREA,R_0109_0012__SHIZUOKA_R_0109_0013__PREFECTURE)
      & has_qual(R_0109_0004__170_R_0109_0005__BRANCH_R_0109_0006__TEMPLES,R_0109_0003__ABOUT)
      & has_arg0(R_0109_0002__HAS,R_0109_0001__IT) ) ).