arc(r_0002_0003__was, r_0002_0004__founded, scope).
arc(r_0002_0003__was, z_000_2_a_hirodai_mission_39, nim39).
arc(r_0002_0004__founded, r_0002_0001__Hirosaki_r_0002_0002__University, arg1).
arc(r_0002_0004__founded, r_0002_0009__ago, nim14).
arc(r_0002_0004__founded, r_0002_0012__1949, r_0002_0011__in_nim34).
arc(r_0002_0004__founded, z_000_2_a_hirodai_mission_10, arg0).
arc(r_0002_0005__more, r_0002_0007__70, r_0002_0006__than).
arc(r_0002_0008__years, r_0002_0005__more, attrib16).
arc(r_0002_0009__ago, r_0002_0008__years, nim15).
arc(r_0002_0014__meaning, r_0002_0015__that_r_0002_0023__coincides, arg1).
arc(r_0002_0014__meaning, z_000_2_a_hirodai_mission_39, arg0).
arc(r_0002_0015__that_r_0002_0023__coincides, r_0002_0016__the_r_0002_0018__start_r_0002_0019__date, arg0).
arc(r_0002_0015__that_r_0002_0023__coincides, r_0002_0025__the_r_0002_0026__establishment, r_0002_0024__with_clr71).
arc(r_0002_0016__the_r_0002_0018__start_r_0002_0019__date, r_0002_0017__official, attrib50).
arc(r_0002_0016__the_r_0002_0018__start_r_0002_0019__date, r_0002_0022__university, r_0002_0020__of).
arc(r_0002_0022__university, r_0002_0021__our, gen).
arc(r_0002_0025__the_r_0002_0026__establishment, r_0002_0028__the_r_0002_0033__system, r_0002_0027__of).
arc(r_0002_0028__the_r_0002_0033__system, r_0002_0029__current, attrib82).
arc(r_0002_0028__the_r_0002_0033__system, r_0002_0030__Japanese, attrib85).
arc(r_0002_0028__the_r_0002_0033__system, r_0002_0031__higher, attrib88).
arc(r_0002_0028__the_r_0002_0033__system, r_0002_0032__educational, attrib91).

fof(formula,axiom,
    ? [R_2_3_WAS_FOUNDED,Z_2_A_HIRODAI_MISSION_10,R_2_1_HIROSAKI_UNIVERSITY,R_2_9_AGO,R_2_8_YEARS,R_2_5_MORE,R_2_7_70,R_2_12_1949,R_2_14_MEANING,Z_2_A_HIRODAI_MISSION_39,R_2_15_THAT_COINCIDES,R_2_16_THE_START_DATE,R_2_17_OFFICIAL,R_2_22_UNIVERSITY,R_2_21_OUR,R_2_25_THE_ESTABLISHMENT,R_2_28_THE_SYSTEM,R_2_29_CURRENT,R_2_30_JAPANESE,R_2_31_HIGHER,R_2_32_EDUCATIONAL] :
      ( hirosaki_University(R_2_1_HIROSAKI_UNIVERSITY)
      & 70(R_2_7_70)
      & 1949(R_2_12_1949)
      & official(R_2_17_OFFICIAL)
      & our(R_2_21_OUR)
      & current(R_2_29_CURRENT)
      & japanese(R_2_30_JAPANESE)
      & higher(R_2_31_HIGHER)
      & educational(R_2_32_EDUCATIONAL)
      & was_founded(R_2_3_WAS_FOUNDED,Z_2_A_HIRODAI_MISSION_10,R_2_1_HIROSAKI_UNIVERSITY)
      & nim14(R_2_3_WAS_FOUNDED,R_2_9_AGO)
      & ago(R_2_9_AGO)
      & nim15(R_2_9_AGO,R_2_8_YEARS)
      & years(R_2_8_YEARS)
      & attrib16(R_2_8_YEARS,R_2_5_MORE)
      & more(R_2_5_MORE)
      & than(R_2_5_MORE,R_2_7_70)
      & nim39(R_2_3_WAS_FOUNDED,Z_2_A_HIRODAI_MISSION_39)
      & in_nim34(R_2_3_WAS_FOUNDED,R_2_12_1949)
      & meaning(R_2_14_MEANING,Z_2_A_HIRODAI_MISSION_39,R_2_15_THAT_COINCIDES)
      & that_coincides(R_2_15_THAT_COINCIDES,R_2_16_THE_START_DATE)
      & the_start_date(R_2_16_THE_START_DATE)
      & attrib50(R_2_16_THE_START_DATE,R_2_17_OFFICIAL)
      & of(R_2_16_THE_START_DATE,R_2_22_UNIVERSITY)
      & university(R_2_22_UNIVERSITY)
      & gen(R_2_22_UNIVERSITY,R_2_21_OUR)
      & with_clr71(R_2_15_THAT_COINCIDES,R_2_25_THE_ESTABLISHMENT)
      & the_establishment(R_2_25_THE_ESTABLISHMENT)
      & of(R_2_25_THE_ESTABLISHMENT,R_2_28_THE_SYSTEM)
      & the_system(R_2_28_THE_SYSTEM)
      & attrib82(R_2_28_THE_SYSTEM,R_2_29_CURRENT)
      & attrib85(R_2_28_THE_SYSTEM,R_2_30_JAPANESE)
      & attrib88(R_2_28_THE_SYSTEM,R_2_31_HIGHER)
      & attrib91(R_2_28_THE_SYSTEM,R_2_32_EDUCATIONAL) ) ).

( (IP-MAT (NP-SBJ;{HIRODAI} (NPR Hirosaki;{Hirosaki})
                            (NPR University;{University}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ founded;{found})
                      (ADVP-NIM (NP (ADJP (ADJR more;{more})
                                          (PP (P-ROLE than;{than})
                                              (NP (NUM 70))))
                                    (NS years;{year}))
                                (ADV ago;{ago}))
                      (PUNC ,)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR 1949))))
          (PUNC ,)
          (NP-NIM (IP-PPL (VAG;_Tf_ meaning;{mean})
                          (CP-THT-OB1 (IP-SUB (C that;{that})
                                              (NP-SBJ (D the;{the})
                                                      (ADJP (ADJ official;{official}))
                                                      (N start;{start})
                                                      (N date;{date})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (NP-GEN (PRO;_genm_ our;{our}))
                                                              (N university;{university}))))
                                              (VBP;_Ipr_ coincides;{coincide[with]})
                                              (PP-CLR (P-ROLE with;{with})
                                                      (NP (D the;{the})
                                                          (N establishment;{establishment})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (D the;{the})
                                                                  (ADJP (ADJ current;{current}))
                                                                  (ADJP (ADJ Japanese;{Japanese}))
                                                                  (ADJP (ADJR higher;{high}))
                                                                  (ADJP (ADJ educational;{educational}))
                                                                  (N system;{system})))))))))
          (PUNC .))
  (ID 2_a_hirodai_mission))