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_8_2_SHOULD_BE,R_8_1_2020,R_8_4_THE_YEAR,R_8_6_IMPORTANT,R_8_5_MOST,R_8_10_UNIVERSITY,R_8_9_OUR,R_8_12_SHAPING,Z_8_A_HIRODAI_MISSION_33,R_8_14_COURSE,R_8_13_ITS,R_8_16_THE_10_YEARS,R_8_17_NEXT] :
( 2020(R_8_1_2020)
& most(R_8_5_MOST)
& our(R_8_9_OUR)
& its(R_8_13_ITS)
& next(R_8_17_NEXT)
& should_be(R_8_2_SHOULD_BE,R_8_1_2020,R_8_4_THE_YEAR)
& the_year(R_8_4_THE_YEAR)
& attrib13(R_8_4_THE_YEAR,R_8_6_IMPORTANT)
& important(R_8_6_IMPORTANT)
& qual14(R_8_6_IMPORTANT,R_8_5_MOST)
& for(R_8_4_THE_YEAR,R_8_10_UNIVERSITY)
& university(R_8_10_UNIVERSITY)
& gen(R_8_10_UNIVERSITY,R_8_9_OUR)
& in(R_8_4_THE_YEAR,R_8_12_SHAPING)
& shaping(R_8_12_SHAPING,Z_8_A_HIRODAI_MISSION_33,R_8_14_COURSE)
& course(R_8_14_COURSE)
& gen(R_8_14_COURSE,R_8_13_ITS)
& for(R_8_14_COURSE,R_8_16_THE_10_YEARS)
& the_10_years(R_8_16_THE_10_YEARS)
& attrib48(R_8_16_THE_10_YEARS,R_8_17_NEXT) ) ).
( (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))