4_a_hirodai_mission
Hirosaki City not only has a rich historical and cultural background but is also blessed with beautiful nature.
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_4_12_BUT,R_4_5_HAS,R_4_6_A_BACKGROUND,R_4_7_RICH,R_4_9_AND,R_4_8_HISTORICAL,R_4_10_CULTURAL,R_4_3_NOT_ONLY,R_4_13_IS_BLESSED,Z_4_A_HIRODAI_MISSION_42,R_4_1_HIROSAKI_CITY,R_4_14_ALSO,R_4_18_NATURE,R_4_17_BEAUTIFUL] :
( rich(R_4_7_RICH)
& historical(R_4_8_HISTORICAL)
& cultural(R_4_10_CULTURAL)
& not_only(R_4_3_NOT_ONLY)
& hirosaki_City(R_4_1_HIROSAKI_CITY)
& also(R_4_14_ALSO)
& beautiful(R_4_17_BEAUTIFUL)
& but(R_4_12_BUT)
& conj1(R_4_12_BUT,R_4_5_HAS)
& has(R_4_5_HAS,R_4_1_HIROSAKI_CITY,R_4_6_A_BACKGROUND)
& a_background(R_4_6_A_BACKGROUND)
& attrib19(R_4_6_A_BACKGROUND,R_4_7_RICH)
& attrib22(R_4_6_A_BACKGROUND,R_4_9_AND)
& and(R_4_9_AND)
& conj1(R_4_9_AND,R_4_8_HISTORICAL)
& conj2(R_4_9_AND,R_4_10_CULTURAL)
& nim9(R_4_5_HAS,R_4_3_NOT_ONLY)
& conj2(R_4_12_BUT,R_4_13_IS_BLESSED)
& is_blessed(R_4_13_IS_BLESSED,Z_4_A_HIRODAI_MISSION_42,R_4_1_HIROSAKI_CITY)
& nim44(R_4_13_IS_BLESSED,R_4_14_ALSO)
& with_nim52(R_4_13_IS_BLESSED,R_4_18_NATURE)
& nature(R_4_18_NATURE)
& attrib53(R_4_18_NATURE,R_4_17_BEAUTIFUL) ) ).
( (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))