TSPC 119_a_kyoto

119_a_kyoto_2
It has about 50 branch temples mainly in the area of Hiroshima Prefecture.

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (ADVP (ADV about;{about}))
                  (NUM 50)
                  (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 Hiroshima;{Hiroshima})
                                  (NPR Prefecture;{Prefecture}))))))
          (PUNC .))
  (ID 119_a_kyoto_2;BDS_00002;118))

arc(r_0119_0002__has,r_0119_0001__It,arg0).
arc(r_0119_0002__has,r_0119_0004__50_r_0119_0005__branch_r_0119_0006__temples,arg1).
arc(r_0119_0004__50_r_0119_0005__branch_r_0119_0006__temples,r_0119_0003__about,qual).
arc(r_0119_0004__50_r_0119_0005__branch_r_0119_0006__temples,r_0119_0009__the_r_0119_0010__area,r_0119_0007__mainly_r_0119_0008__in).
arc(r_0119_0009__the_r_0119_0010__area,r_0119_0012__Hiroshima_r_0119_0013__Prefecture,r_0119_0011__of).

fof(formula,axiom,
    ? [R_0119_0001__IT,R_0119_0003__ABOUT,R_0119_0012__HIROSHIMA_R_0119_0013__PREFECTURE,R_0119_0009__THE_R_0119_0010__AREA,R_0119_0004__50_R_0119_0005__BRANCH_R_0119_0006__TEMPLES,R_0119_0002__HAS] :
      ( r_0119_0001__It(R_0119_0001__IT)
      & r_0119_0003__about(R_0119_0003__ABOUT)
      & r_0119_0012__Hiroshima_r_0119_0013__Prefecture(R_0119_0012__HIROSHIMA_R_0119_0013__PREFECTURE)
      & r_0119_0002__has(R_0119_0002__HAS)
      & has_arg1(R_0119_0002__HAS,R_0119_0004__50_R_0119_0005__BRANCH_R_0119_0006__TEMPLES)
      & r_0119_0004__50_r_0119_0005__branch_r_0119_0006__temples(R_0119_0004__50_R_0119_0005__BRANCH_R_0119_0006__TEMPLES)
      & has_r_0119_0007__mainly_r_0119_0008__in(R_0119_0004__50_R_0119_0005__BRANCH_R_0119_0006__TEMPLES,R_0119_0009__THE_R_0119_0010__AREA)
      & r_0119_0009__the_r_0119_0010__area(R_0119_0009__THE_R_0119_0010__AREA)
      & has_r_0119_0011__of(R_0119_0009__THE_R_0119_0010__AREA,R_0119_0012__HIROSHIMA_R_0119_0013__PREFECTURE)
      & has_qual(R_0119_0004__50_R_0119_0005__BRANCH_R_0119_0006__TEMPLES,R_0119_0003__ABOUT)
      & has_arg0(R_0119_0002__HAS,R_0119_0001__IT) ) ).