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_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_2, r_0009_0003__us, r_0009_0002__of).
arc(z_000_9_a_hirodai_mission_47, r_0009_0017__our, 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_000_9_A_HIRODAI_MISSION_2,R_0009_0003__US] :
      ( ( r_0009_0003__us(R_0009_0003__US)
        & z_000_9_a_hirodai_mission_2(Z_000_9_A_HIRODAI_MISSION_2)
        & has_r_0009_0002__of(Z_000_9_A_HIRODAI_MISSION_2,R_0009_0003__US) )
     => ? [R_0009_0017__OUR,R_0009_0018__OWN,Z_000_9_A_HIRODAI_MISSION_47,R_0009_0019__PATHS,R_0009_0014__HAVE_R_0009_0015__TO_R_0009_0016__FOLLOW,R_0009_0022__CONTINUOUS,R_0009_0023__PROGRESS,R_0009_0028__HIROSAKI_R_0009_0029__UNIVERSITY,R_0009_0021__PURSUE,R_0009_0026__EXCELLENCE,R_0009_0025__MAINTAIN,R_0009_0024__AND,Z_000_9_A_HIRODAI_MISSION_56] :
          ( r_0009_0017__our(R_0009_0017__OUR)
          & r_0009_0018__own(R_0009_0018__OWN)
          & r_0009_0022__continuous(R_0009_0022__CONTINUOUS)
          & r_0009_0026__excellence(R_0009_0026__EXCELLENCE)
          & r_0009_0028__Hirosaki_r_0009_0029__University(R_0009_0028__HIROSAKI_R_0009_0029__UNIVERSITY)
          & z_000_9_a_hirodai_mission_56(Z_000_9_A_HIRODAI_MISSION_56)
          & has_conj1(Z_000_9_A_HIRODAI_MISSION_56,R_0009_0024__AND)
          & r_0009_0024__and(R_0009_0024__AND)
          & has_conj2(R_0009_0024__AND,R_0009_0025__MAINTAIN)
          & r_0009_0025__maintain(R_0009_0025__MAINTAIN)
          & has_arg0(R_0009_0025__MAINTAIN,Z_000_9_A_HIRODAI_MISSION_2)
          & has_r_0009_0027__at_nim82(R_0009_0025__MAINTAIN,R_0009_0028__HIROSAKI_R_0009_0029__UNIVERSITY)
          & has_arg1(R_0009_0025__MAINTAIN,R_0009_0026__EXCELLENCE)
          & has_conj1(R_0009_0024__AND,R_0009_0021__PURSUE)
          & r_0009_0021__pursue(R_0009_0021__PURSUE)
          & has_arg0(R_0009_0021__PURSUE,Z_000_9_A_HIRODAI_MISSION_2)
          & has_r_0009_0027__at_nim82(R_0009_0021__PURSUE,R_0009_0028__HIROSAKI_R_0009_0029__UNIVERSITY)
          & has_arg1(R_0009_0021__PURSUE,R_0009_0023__PROGRESS)
          & r_0009_0023__progress(R_0009_0023__PROGRESS)
          & has_attrib65(R_0009_0023__PROGRESS,R_0009_0022__CONTINUOUS)
          & has_conj2(Z_000_9_A_HIRODAI_MISSION_56,R_0009_0014__HAVE_R_0009_0015__TO_R_0009_0016__FOLLOW)
          & r_0009_0014__have_r_0009_0015__to_r_0009_0016__follow(R_0009_0014__HAVE_R_0009_0015__TO_R_0009_0016__FOLLOW)
          & has_arg0(R_0009_0014__HAVE_R_0009_0015__TO_R_0009_0016__FOLLOW,Z_000_9_A_HIRODAI_MISSION_2)
          & has_arg1(R_0009_0014__HAVE_R_0009_0015__TO_R_0009_0016__FOLLOW,R_0009_0019__PATHS)
          & r_0009_0019__paths(R_0009_0019__PATHS)
          & has_gen(R_0009_0019__PATHS,Z_000_9_A_HIRODAI_MISSION_47)
          & z_000_9_a_hirodai_mission_47(Z_000_9_A_HIRODAI_MISSION_47)
          & has_attrib51(Z_000_9_A_HIRODAI_MISSION_47,R_0009_0018__OWN)
          & has_gen(Z_000_9_A_HIRODAI_MISSION_47,R_0009_0017__OUR) ) ) ).

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