8_a_hirodai_mission
2020 should be the most important year for our university in shaping its course for the next 10 years.
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, attrib13).
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, qual14).
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_000_8_a_hirodai_mission_33, arg0).
arc(r_0008_0014__course, r_0008_0013__its, 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, attrib48).
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_0013__ITS,R_0008_0017__NEXT,R_0008_0016__THE_R_0008_0018__10_R_0008_0019__YEARS,R_0008_0014__COURSE,Z_000_8_A_HIRODAI_MISSION_33,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_0013__its(R_0008_0013__ITS)
& r_0008_0017__next(R_0008_0017__NEXT)
& z_000_8_a_hirodai_mission_33(Z_000_8_A_HIRODAI_MISSION_33)
& 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_000_8_A_HIRODAI_MISSION_33)
& 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_attrib48(R_0008_0016__THE_R_0008_0018__10_R_0008_0019__YEARS,R_0008_0017__NEXT)
& has_gen(R_0008_0014__COURSE,R_0008_0013__ITS)
& has_r_0008_0008__for(R_0008_0004__THE_R_0008_0007__YEAR,R_0008_0010__UNIVERSITY)
& r_0008_0010__university(R_0008_0010__UNIVERSITY)
& has_gen(R_0008_0010__UNIVERSITY,R_0008_0009__OUR)
& has_attrib13(R_0008_0004__THE_R_0008_0007__YEAR,R_0008_0006__IMPORTANT)
& r_0008_0006__important(R_0008_0006__IMPORTANT)
& has_qual14(R_0008_0006__IMPORTANT,R_0008_0005__MOST)
& has_arg0(R_0008_0002__SHOULD_R_0008_0003__BE,R_0008_0001__2020) ) ).
( (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))