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, nim9).
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, attrib19).
arc(r_0004_0006__a_r_0004_0011__background, r_0004_0009__and, attrib22).
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, nim44).
arc(r_0004_0015__blessed, r_0004_0018__nature, r_0004_0016__with_nim52).
arc(r_0004_0015__blessed, z_000_4_a_hirodai_mission_42, arg0).
arc(r_0004_0018__nature, r_0004_0017__beautiful, attrib53).

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_000_4_A_HIRODAI_MISSION_42,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_000_4_a_hirodai_mission_42(Z_000_4_A_HIRODAI_MISSION_42)
      & 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_000_4_A_HIRODAI_MISSION_42)
      & has_r_0004_0016__with_nim52(R_0004_0013__IS_R_0004_0015__BLESSED,R_0004_0018__NATURE)
      & r_0004_0018__nature(R_0004_0018__NATURE)
      & has_attrib53(R_0004_0018__NATURE,R_0004_0017__BEAUTIFUL)
      & has_nim44(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_attrib22(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_attrib19(R_0004_0006__A_R_0004_0011__BACKGROUND,R_0004_0007__RICH)
      & has_nim9(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) ) ).

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