TSPC 4_a_hirodai

4_a_hirodai_mission
Hirosaki City not only has a rich historical and cultural background but is also blessed with beautiful nature.

( (IP-MAT (NP-SBJ (NPR Hirosaki;{Hirosaki})
                  (NPR City;{City}))
          (ILYR (ILYR (ADVP-NIM (NEG not;{not})
                                (ADV only;{only}))
                      (HVP;_Tn_ has;{have})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ rich;{rich}))
                              (ADJP (AJLYR (AJLYR (ADJ historical;{historical}))
                                           (CONJP (CONJ and;{and})
                                                  (AJLYR (ADJ cultural;{cultural})))))
                              (N background;{background})))
                (CONJP (CONJ but;{but})
                       (ILYR (BEP;_cat_VePASS_ is;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV also;{also}))
                                         (VVN;_Tn_ blessed;{bless})
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP (ADJP (ADJ beautiful;{beautiful}))
                                                     (N nature;{nature})))))))
          (PUNC .))
  (ID 4_a_hirodai_mission))

arc(r_0004_0005__has,r_0004_0001__Hirosaki_r_0004_0002__City,arg0).
arc(r_0004_0005__has,r_0004_0003__not_r_0004_0004__only,nim).
arc(r_0004_0005__has,r_0004_0006__a_r_0004_0011__background,arg1).
arc(r_0004_0006__a_r_0004_0011__background,r_0004_0007__rich,attrib).
arc(r_0004_0006__a_r_0004_0011__background,r_0004_0009__and,attrib).
arc(r_0004_0009__and,r_0004_0008__historical,conj1).
arc(r_0004_0009__and,r_0004_0010__cultural,conj2).
arc(r_0004_0012__but,r_0004_0005__has,conj1).
arc(r_0004_0012__but,r_0004_0013__is,conj2).
arc(r_0004_0013__is,r_0004_0015__blessed,scope).
arc(r_0004_0015__blessed,r_0004_0001__Hirosaki_r_0004_0002__City,arg1).
arc(r_0004_0015__blessed,r_0004_0014__also,nim).
arc(r_0004_0015__blessed,r_0004_0018__nature,r_0004_0016__with__nim).
arc(r_0004_0015__blessed,z_0004_5012___star_,arg0).
arc(r_0004_0018__nature,r_0004_0017__beautiful,attrib).

fof(formula,axiom,
    ? [R_0004_0001__HIROSAKI_R_0004_0002__CITY,R_0004_0003__NOT_R_0004_0004__ONLY,R_0004_0007__RICH,R_0004_0008__HISTORICAL,R_0004_0010__CULTURAL,R_0004_0009__AND,R_0004_0006__A_R_0004_0011__BACKGROUND,R_0004_0005__HAS,R_0004_0014__ALSO,R_0004_0017__BEAUTIFUL,R_0004_0018__NATURE,Z_0004_5012___STAR_,R_0004_0013__IS_R_0004_0015__BLESSED,R_0004_0012__BUT] :
      ( r_0004_0001__Hirosaki_r_0004_0002__City(R_0004_0001__HIROSAKI_R_0004_0002__CITY)
      & r_0004_0003__not_r_0004_0004__only(R_0004_0003__NOT_R_0004_0004__ONLY)
      & r_0004_0007__rich(R_0004_0007__RICH)
      & r_0004_0008__historical(R_0004_0008__HISTORICAL)
      & r_0004_0010__cultural(R_0004_0010__CULTURAL)
      & r_0004_0014__also(R_0004_0014__ALSO)
      & r_0004_0017__beautiful(R_0004_0017__BEAUTIFUL)
      & z_0004_5012___star_(Z_0004_5012___STAR_)
      & r_0004_0012__but(R_0004_0012__BUT)
      & has_conj2(R_0004_0012__BUT,R_0004_0013__IS_R_0004_0015__BLESSED)
      & r_0004_0013__is_r_0004_0015__blessed(R_0004_0013__IS_R_0004_0015__BLESSED)
      & has_arg0(R_0004_0013__IS_R_0004_0015__BLESSED,Z_0004_5012___STAR_)
      & has_r_0004_0016__with__nim(R_0004_0013__IS_R_0004_0015__BLESSED,R_0004_0018__NATURE)
      & r_0004_0018__nature(R_0004_0018__NATURE)
      & has_attrib(R_0004_0018__NATURE,R_0004_0017__BEAUTIFUL)
      & has_nim(R_0004_0013__IS_R_0004_0015__BLESSED,R_0004_0014__ALSO)
      & has_arg1(R_0004_0013__IS_R_0004_0015__BLESSED,R_0004_0001__HIROSAKI_R_0004_0002__CITY)
      & has_conj1(R_0004_0012__BUT,R_0004_0005__HAS)
      & r_0004_0005__has(R_0004_0005__HAS)
      & has_arg1(R_0004_0005__HAS,R_0004_0006__A_R_0004_0011__BACKGROUND)
      & r_0004_0006__a_r_0004_0011__background(R_0004_0006__A_R_0004_0011__BACKGROUND)
      & has_attrib(R_0004_0006__A_R_0004_0011__BACKGROUND,R_0004_0009__AND)
      & r_0004_0009__and(R_0004_0009__AND)
      & has_conj2(R_0004_0009__AND,R_0004_0010__CULTURAL)
      & has_conj1(R_0004_0009__AND,R_0004_0008__HISTORICAL)
      & has_attrib(R_0004_0006__A_R_0004_0011__BACKGROUND,R_0004_0007__RICH)
      & has_nim(R_0004_0005__HAS,R_0004_0003__NOT_R_0004_0004__ONLY)
      & has_arg0(R_0004_0005__HAS,R_0004_0001__HIROSAKI_R_0004_0002__CITY) ) ).