( (IP-MAT (NP-SBJ (NPR 2020))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (NP-PRD (D the;{the})
                              (ADJP (ADVP (ADVS most;{most}))
                                    (ADJ important;{important}))
                              (N year;{year})
                              (PP (P-ROLE for;{for})
                                  (NP;{HIRODAI} (NP-GEN (PRO;_genm_ our;{our}))
                                                (N university;{university})))
                              (PP (P-ROLE in;{in})
                                  (IP-PPL (VAG;_Tn_ shaping;{shape})
                                          (NP-OB1 (NP-GEN;{HIRODAI} (PRO;_genm_ its;{its}))
                                                  (N course;{course})
                                                  (PP (P-ROLE for;{for})
                                                      (NP (D the;{the})
                                                          (ADJP (ADJ next;{next}))
                                                          (NUM 10)
                                                          (NS years;{year}))))))))
          (PUNC .))
  (ID 8_a_hirodai_mission))

arc(r_0008_0002__should,r_0008_0003__be,scope).
arc(r_0008_0003__be,r_0008_0001__2020,arg0).
arc(r_0008_0003__be,r_0008_0004__the_r_0008_0007__year,prd).
arc(r_0008_0004__the_r_0008_0007__year,r_0008_0006__important,attrib).
arc(r_0008_0004__the_r_0008_0007__year,r_0008_0010__university,r_0008_0008__for).
arc(r_0008_0004__the_r_0008_0007__year,r_0008_0012__shaping,r_0008_0011__in).
arc(r_0008_0006__important,r_0008_0005__most,qual).
arc(r_0008_0010__university,r_0008_0009__our,gen).
arc(r_0008_0012__shaping,r_0008_0014__course,arg1).
arc(r_0008_0012__shaping,z_0008_5008,arg0).
arc(r_0008_0014__course,r_0008_0010__university,gen).
arc(r_0008_0014__course,r_0008_0016__the_r_0008_0018__10_r_0008_0019__years,r_0008_0015__for).
arc(r_0008_0016__the_r_0008_0018__10_r_0008_0019__years,r_0008_0017__next,attrib).

fof(formula,axiom,
    ? [R_0008_0001__2020,R_0008_0005__MOST,R_0008_0006__IMPORTANT,R_0008_0009__OUR,R_0008_0010__UNIVERSITY,R_0008_0017__NEXT,R_0008_0016__THE_R_0008_0018__10_R_0008_0019__YEARS,R_0008_0014__COURSE,Z_0008_5008,R_0008_0012__SHAPING,R_0008_0004__THE_R_0008_0007__YEAR,R_0008_0002__SHOULD_R_0008_0003__BE] :
      ( r_0008_0001__2020(R_0008_0001__2020)
      & r_0008_0005__most(R_0008_0005__MOST)
      & r_0008_0009__our(R_0008_0009__OUR)
      & r_0008_0017__next(R_0008_0017__NEXT)
      & z_0008_5008(Z_0008_5008)
      & r_0008_0002__should_r_0008_0003__be(R_0008_0002__SHOULD_R_0008_0003__BE)
      & has_prd(R_0008_0002__SHOULD_R_0008_0003__BE,R_0008_0004__THE_R_0008_0007__YEAR)
      & r_0008_0004__the_r_0008_0007__year(R_0008_0004__THE_R_0008_0007__YEAR)
      & has_r_0008_0011__in(R_0008_0004__THE_R_0008_0007__YEAR,R_0008_0012__SHAPING)
      & r_0008_0012__shaping(R_0008_0012__SHAPING)
      & has_arg0(R_0008_0012__SHAPING,Z_0008_5008)
      & has_arg1(R_0008_0012__SHAPING,R_0008_0014__COURSE)
      & r_0008_0014__course(R_0008_0014__COURSE)
      & has_r_0008_0015__for(R_0008_0014__COURSE,R_0008_0016__THE_R_0008_0018__10_R_0008_0019__YEARS)
      & r_0008_0016__the_r_0008_0018__10_r_0008_0019__years(R_0008_0016__THE_R_0008_0018__10_R_0008_0019__YEARS)
      & has_attrib(R_0008_0016__THE_R_0008_0018__10_R_0008_0019__YEARS,R_0008_0017__NEXT)
      & has_gen(R_0008_0014__COURSE,R_0008_0010__UNIVERSITY)
      & r_0008_0010__university(R_0008_0010__UNIVERSITY)
      & has_gen(R_0008_0010__UNIVERSITY,R_0008_0009__OUR)
      & has_r_0008_0008__for(R_0008_0004__THE_R_0008_0007__YEAR,R_0008_0010__UNIVERSITY)
      & has_attrib(R_0008_0004__THE_R_0008_0007__YEAR,R_0008_0006__IMPORTANT)
      & r_0008_0006__important(R_0008_0006__IMPORTANT)
      & has_qual(R_0008_0006__IMPORTANT,R_0008_0005__MOST)
      & has_arg0(R_0008_0002__SHOULD_R_0008_0003__BE,R_0008_0001__2020) ) ).