arc(r_0009_0001__All_quant, z_000_9_a_hirodai_mission_2, restriction).
arc(r_0009_0001__All_quant, z_000_9_a_hirodai_mission_56, scope).
arc(r_0009_0010__and, r_0009_0006__students, conj1).
arc(r_0009_0010__and, r_0009_0008__faculty, conj2).
arc(r_0009_0010__and, r_0009_0011__staff_r_0009_0012__members, conj3).
arc(r_0009_0014__have, r_0009_0015__to_r_0009_0016__follow, scope).
arc(r_0009_0015__to_r_0009_0016__follow, r_0009_0019__paths, arg1).
arc(r_0009_0015__to_r_0009_0016__follow, z_000_9_a_hirodai_mission_2, arg0).
arc(r_0009_0019__paths, z_000_9_a_hirodai_mission_47, gen).
arc(r_0009_0021__pursue, r_0009_0023__progress, arg1).
arc(r_0009_0021__pursue, r_0009_0028__Hirosaki_r_0009_0029__University, r_0009_0027__at_nim82).
arc(r_0009_0021__pursue, z_000_9_a_hirodai_mission_2, arg0).
arc(r_0009_0023__progress, r_0009_0022__continuous, attrib65).
arc(r_0009_0024__and, r_0009_0021__pursue, conj1).
arc(r_0009_0024__and, r_0009_0025__maintain, conj2).
arc(r_0009_0025__maintain, r_0009_0026__excellence, arg1).
arc(r_0009_0025__maintain, r_0009_0028__Hirosaki_r_0009_0029__University, r_0009_0027__at_nim82).
arc(r_0009_0025__maintain, z_000_9_a_hirodai_mission_2, arg0).
arc(z_000_9_a_hirodai_mission_13, r_0009_0003__us, arg0).
arc(z_000_9_a_hirodai_mission_13, r_0009_0010__and, prd).
arc(z_000_9_a_hirodai_mission_2, r_0009_0003__us, r_0009_0002__of).
arc(z_000_9_a_hirodai_mission_47, r_0009_0003__us, gen).
arc(z_000_9_a_hirodai_mission_47, r_0009_0018__own, attrib51).
arc(z_000_9_a_hirodai_mission_56, r_0009_0014__have, scope).
arc(z_000_9_a_hirodai_mission_56, r_0009_0024__and, restriction).

fof(formula,axiom,
    ? [Z_9_A_HIRODAI_MISSION_13,R_9_3_US,R_9_10_AND,R_9_6_STUDENTS,R_9_8_FACULTY,R_9_11_STAFF_MEMBERS] :
      ( us(R_9_3_US)
      & students(R_9_6_STUDENTS)
      & faculty(R_9_8_FACULTY)
      & staff_members(R_9_11_STAFF_MEMBERS)
      & ! [Z_9_A_HIRODAI_MISSION_2] :
          ( ( z_9_a_hirodai_mission_2(Z_9_A_HIRODAI_MISSION_2)
            & of(Z_9_A_HIRODAI_MISSION_2,R_9_3_US) )
         => ? [Z_9_A_HIRODAI_MISSION_56,R_9_24_AND,R_9_21_PURSUE,R_9_23_PROGRESS,R_9_22_CONTINUOUS,R_9_25_MAINTAIN,R_9_26_EXCELLENCE,R_9_28_HIROSAKI_UNIVERSITY,R_9_14_HAVE_TO_FOLLOW,R_9_19_PATHS,Z_9_A_HIRODAI_MISSION_47,R_9_18_OWN] :
              ( continuous(R_9_22_CONTINUOUS)
              & excellence(R_9_26_EXCELLENCE)
              & hirosaki_University(R_9_28_HIROSAKI_UNIVERSITY)
              & own(R_9_18_OWN)
              & z_9_a_hirodai_mission_56(Z_9_A_HIRODAI_MISSION_56)
              & conj1(Z_9_A_HIRODAI_MISSION_56,R_9_24_AND)
              & and(R_9_24_AND)
              & conj1(R_9_24_AND,R_9_21_PURSUE)
              & pursue(R_9_21_PURSUE,Z_9_A_HIRODAI_MISSION_2,R_9_23_PROGRESS)
              & progress(R_9_23_PROGRESS)
              & attrib65(R_9_23_PROGRESS,R_9_22_CONTINUOUS)
              & at_nim82(R_9_21_PURSUE,R_9_28_HIROSAKI_UNIVERSITY)
              & conj2(R_9_24_AND,R_9_25_MAINTAIN)
              & maintain(R_9_25_MAINTAIN,Z_9_A_HIRODAI_MISSION_2,R_9_26_EXCELLENCE)
              & at_nim82(R_9_25_MAINTAIN,R_9_28_HIROSAKI_UNIVERSITY)
              & conj2(Z_9_A_HIRODAI_MISSION_56,R_9_14_HAVE_TO_FOLLOW)
              & have_to_follow(R_9_14_HAVE_TO_FOLLOW,Z_9_A_HIRODAI_MISSION_2,R_9_19_PATHS)
              & paths(R_9_19_PATHS)
              & gen(R_9_19_PATHS,Z_9_A_HIRODAI_MISSION_47)
              & z_9_a_hirodai_mission_47(Z_9_A_HIRODAI_MISSION_47)
              & attrib51(Z_9_A_HIRODAI_MISSION_47,R_9_18_OWN)
              & gen(Z_9_A_HIRODAI_MISSION_47,R_9_3_US) ) )
      & z_9_a_hirodai_mission_13(Z_9_A_HIRODAI_MISSION_13,R_9_3_US,R_9_10_AND)
      & and(R_9_10_AND)
      & conj1(R_9_10_AND,R_9_6_STUDENTS)
      & conj2(R_9_10_AND,R_9_8_FACULTY)
      & conj3(R_9_10_AND,R_9_11_STAFF_MEMBERS) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ All;{all})
                  (PP (P-ROLE of;{of})
                      (NP (PRO us;{we})
                          (PUNC <hyphen>)
                          (IP-PPL (NP-PRD (D the;{the})
                                          (NLYR (NLYR (NS students;{student}))
                                                (PUNC ,)
                                                (CONJP (NLYR (N faculty;{faculty})))
                                                (PUNC ,)
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N staff;{staff})
                                                             (NS members;{member}))))))
                          (PUNC <hyphen>))))
          (HVP;_cat_Vt_ have;{have})
          (IP-INF-CAT (TO to;{to})
                      (VB;_Tn_ follow;{follow})
                      (NP-OB1 (NP-GEN (NP-GEN (PRO;_genm_ our;{our}))
                                      (ADJP (ADJ own;{own})))
                              (NS paths;{path})))
          (PP-SCON (IP-INF (TO to;{to})
                           (ILYR (ILYR (VB;_Tn_ pursue;{pursue})
                                       (NP-OB1 (ADJP (ADJ continuous;{continuous}))
                                               (N progress;{progress})))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (VB;_Tn_ maintain;{maintain})
                                              (NP-OB1 (N excellence;{excellence})))))
                           (PP-NIM (P-ROLE at;{at})
                                   (NP;{HIRODAI} (NPR Hirosaki;{Hirosaki})
                                                 (NPR University;{University})))))
          (PUNC .))
  (ID 9_a_hirodai_mission))