TSPC 7_a_hirodai

7_a_hirodai_mission
Japanese national universities and colleges are constantly plunged into the currents of public calls for reform, which must be regarded as high expectations from society to encourage talent and leadership in those who will affect change and bring prosperity to our nation and the world.

( (IP-MAT (NP-SBJ (ADJP (ADJ Japanese;{Japanese}))
                  (ADJP (ADJ national;{national}))
                  (NLYR (NLYR (NS universities;{university}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NS colleges;{college})))))
          (BEP;_cat_VePASS_ are;{be})
          (ADVP-NIM (ADV constantly;{constantly}))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ plunged;{plunge})
                      (PP-CLR (P-ROLE into;{into})
                              (NP (D the;{the})
                                  (NS currents;{current})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ public;{public}))
                                          (NS calls;{call})
                                          (PP (P-ROLE for;{for})
                                              (NP (N reform;{reform})))
                                          (PUNC ,)
                                          (IP-REL (NP-SBJ (RPRO which;{which}))
                                                  (MD;_cat_Vi_ must;{must})
                                                  (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                              (IP-PPL-CAT (NP-LGS *)
                                                                          (VVN;_Cn.n/a_ regarded;{regard[as]})
                                                                          (PP-PRD (P-ROLE as;{as})
                                                                                  (NP (ADJP (ADJ high;{high}))
                                                                                      (NS expectations;{expectation})
                                                                                      (PP (P-ROLE from;{from})
                                                                                          (NP (N society;{society})))
                                                                                      (IP-INF (TO to;{to})
                                                                                              (VB;_Tn_ encourage;{encourage})
                                                                                              (NP-OB1 (NLYR (NLYR (N talent;{talent}))
                                                                                                            (CONJP (CONJ and;{and})
                                                                                                                   (NLYR (N leadership;{leadership}))))
                                                                                                      (PP (P-ROLE in;{in})
                                                                                                          (NP (D;_nphd_ those;{those})
                                                                                                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                                                                      (MD;_cat_Vi_ will;{will})
                                                                                                                      (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ affect;{affect})
                                                                                                                                              (NP-OB1 (N change;{change})))
                                                                                                                                        (CONJP (CONJ and;{and})
                                                                                                                                               (ILYR (VB;_Tn.pr_ bring;{bring[to]})
                                                                                                                                                     (NP-OB1 (N prosperity;{prosperity}))
                                                                                                                                                     (PP-CLR (P-ROLE to;{to})
                                                                                                                                                             (NP (NLYR (NLYR (NP-GEN (PRO;_genm_ our;{our}))
                                                                                                                                                                             (N nation;{nation}))
                                                                                                                                                                       (CONJP (CONJ and;{and})
                                                                                                                                                                              (NLYR (D the;{the})
                                                                                                                                                                                    (N world;{world})))))))))))))))))))))))))
          (PUNC .))
  (ID 7_a_hirodai_mission))

arc(r_0007_0004__and,r_0007_0001__Japanese,attrib).
arc(r_0007_0004__and,r_0007_0002__national,attrib).
arc(r_0007_0004__and,r_0007_0003__universities,conj1).
arc(r_0007_0004__and,r_0007_0005__colleges,conj2).
arc(r_0007_0006__are,r_0007_0007__constantly,nim).
arc(r_0007_0006__are,r_0007_0008__plunged_r_0007_0009__into,scope).
arc(r_0007_0008__plunged_r_0007_0009__into,r_0007_0004__and,arg1).
arc(r_0007_0008__plunged_r_0007_0009__into,r_0007_0010__the_r_0007_0011__currents,arg2).
arc(r_0007_0008__plunged_r_0007_0009__into,z_0007_5038___star_,arg0).
arc(r_0007_0010__the_r_0007_0011__currents,r_0007_0014__calls,r_0007_0012__of).
arc(r_0007_0014__calls,r_0007_0013__public,attrib).
arc(r_0007_0014__calls,r_0007_0016__reform,r_0007_0015__for).
arc(r_0007_0019__must,r_0007_0020__be,scope).
arc(r_0007_0020__be,r_0007_0021__regarded,scope).
arc(r_0007_0021__regarded,r_0007_0014__calls,arg1).
arc(r_0007_0021__regarded,r_0007_0024__expectations,r_0007_0022__as__prd).
arc(r_0007_0021__regarded,z_0007_5034___star_,arg0).
arc(r_0007_0024__expectations,r_0007_0023__high,attrib).
arc(r_0007_0024__expectations,r_0007_0026__society,r_0007_0025__from).
arc(r_0007_0024__expectations,r_0007_0028__encourage,emb).
arc(r_0007_0028__encourage,r_0007_0030__and,arg1).
arc(r_0007_0028__encourage,z_0007_5019,arg0).
arc(r_0007_0030__and,r_0007_0029__talent,conj1).
arc(r_0007_0030__and,r_0007_0031__leadership,conj2).
arc(r_0007_0030__and,r_0007_0033__those,r_0007_0032__in).
arc(r_0007_0035__will,r_0007_0038__and,scope).
arc(r_0007_0036__affect,r_0007_0033__those,arg0).
arc(r_0007_0036__affect,r_0007_0037__change,arg1).
arc(r_0007_0038__and,r_0007_0036__affect,conj1).
arc(r_0007_0038__and,r_0007_0039__bring_r_0007_0041__to,conj2).
arc(r_0007_0039__bring_r_0007_0041__to,r_0007_0033__those,arg0).
arc(r_0007_0039__bring_r_0007_0041__to,r_0007_0040__prosperity,arg1).
arc(r_0007_0039__bring_r_0007_0041__to,r_0007_0044__and,arg2).
arc(r_0007_0043__nation,r_0007_0042__our,gen).
arc(r_0007_0044__and,r_0007_0043__nation,conj1).
arc(r_0007_0044__and,r_0007_0045__the_r_0007_0046__world,conj2).

fof(formula,axiom,
    ? [R_0007_0007__CONSTANTLY,R_0007_0001__JAPANESE,R_0007_0002__NATIONAL,R_0007_0003__UNIVERSITIES,R_0007_0005__COLLEGES,R_0007_0004__AND,R_0007_0013__PUBLIC,R_0007_0016__REFORM,R_0007_0014__CALLS,R_0007_0010__THE_R_0007_0011__CURRENTS,Z_0007_5038___STAR_,R_0007_0006__ARE_R_0007_0008__PLUNGED_R_0007_0009__INTO,R_0007_0023__HIGH,R_0007_0026__SOCIETY,R_0007_0029__TALENT,R_0007_0031__LEADERSHIP,R_0007_0033__THOSE,R_0007_0030__AND,Z_0007_5019,R_0007_0028__ENCOURAGE,R_0007_0024__EXPECTATIONS,Z_0007_5034___STAR_,R_0007_0019__MUST_R_0007_0020__BE_R_0007_0021__REGARDED,R_0007_0037__CHANGE,R_0007_0036__AFFECT,R_0007_0040__PROSPERITY,R_0007_0042__OUR,R_0007_0043__NATION,R_0007_0045__THE_R_0007_0046__WORLD,R_0007_0044__AND,R_0007_0039__BRING_R_0007_0041__TO,R_0007_0038__AND,R_0007_0035__WILL] :
      ( r_0007_0001__Japanese(R_0007_0001__JAPANESE)
      & r_0007_0002__national(R_0007_0002__NATIONAL)
      & r_0007_0003__universities(R_0007_0003__UNIVERSITIES)
      & r_0007_0005__colleges(R_0007_0005__COLLEGES)
      & r_0007_0007__constantly(R_0007_0007__CONSTANTLY)
      & r_0007_0013__public(R_0007_0013__PUBLIC)
      & r_0007_0016__reform(R_0007_0016__REFORM)
      & r_0007_0023__high(R_0007_0023__HIGH)
      & r_0007_0026__society(R_0007_0026__SOCIETY)
      & r_0007_0029__talent(R_0007_0029__TALENT)
      & r_0007_0031__leadership(R_0007_0031__LEADERSHIP)
      & r_0007_0033__those(R_0007_0033__THOSE)
      & r_0007_0037__change(R_0007_0037__CHANGE)
      & r_0007_0040__prosperity(R_0007_0040__PROSPERITY)
      & r_0007_0042__our(R_0007_0042__OUR)
      & r_0007_0045__the_r_0007_0046__world(R_0007_0045__THE_R_0007_0046__WORLD)
      & z_0007_5019(Z_0007_5019)
      & z_0007_5034___star_(Z_0007_5034___STAR_)
      & z_0007_5038___star_(Z_0007_5038___STAR_)
      & r_0007_0035__will(R_0007_0035__WILL)
      & has_keep_scope(R_0007_0035__WILL,R_0007_0038__AND)
      & r_0007_0038__and(R_0007_0038__AND)
      & has_conj2(R_0007_0038__AND,R_0007_0039__BRING_R_0007_0041__TO)
      & r_0007_0039__bring_r_0007_0041__to(R_0007_0039__BRING_R_0007_0041__TO)
      & has_arg2(R_0007_0039__BRING_R_0007_0041__TO,R_0007_0044__AND)
      & r_0007_0044__and(R_0007_0044__AND)
      & has_conj2(R_0007_0044__AND,R_0007_0045__THE_R_0007_0046__WORLD)
      & has_conj1(R_0007_0044__AND,R_0007_0043__NATION)
      & r_0007_0043__nation(R_0007_0043__NATION)
      & has_gen(R_0007_0043__NATION,R_0007_0042__OUR)
      & has_arg1(R_0007_0039__BRING_R_0007_0041__TO,R_0007_0040__PROSPERITY)
      & has_arg0(R_0007_0039__BRING_R_0007_0041__TO,R_0007_0033__THOSE)
      & has_conj1(R_0007_0038__AND,R_0007_0036__AFFECT)
      & r_0007_0036__affect(R_0007_0036__AFFECT)
      & has_arg1(R_0007_0036__AFFECT,R_0007_0037__CHANGE)
      & has_arg0(R_0007_0036__AFFECT,R_0007_0033__THOSE)
      & r_0007_0019__must_r_0007_0020__be_r_0007_0021__regarded(R_0007_0019__MUST_R_0007_0020__BE_R_0007_0021__REGARDED)
      & has_arg0(R_0007_0019__MUST_R_0007_0020__BE_R_0007_0021__REGARDED,Z_0007_5034___STAR_)
      & has_r_0007_0022__as__prd(R_0007_0019__MUST_R_0007_0020__BE_R_0007_0021__REGARDED,R_0007_0024__EXPECTATIONS)
      & r_0007_0024__expectations(R_0007_0024__EXPECTATIONS)
      & has_emb(R_0007_0024__EXPECTATIONS,R_0007_0028__ENCOURAGE)
      & r_0007_0028__encourage(R_0007_0028__ENCOURAGE)
      & has_arg0(R_0007_0028__ENCOURAGE,Z_0007_5019)
      & has_arg1(R_0007_0028__ENCOURAGE,R_0007_0030__AND)
      & r_0007_0030__and(R_0007_0030__AND)
      & has_r_0007_0032__in(R_0007_0030__AND,R_0007_0033__THOSE)
      & has_conj2(R_0007_0030__AND,R_0007_0031__LEADERSHIP)
      & has_conj1(R_0007_0030__AND,R_0007_0029__TALENT)
      & has_r_0007_0025__from(R_0007_0024__EXPECTATIONS,R_0007_0026__SOCIETY)
      & has_attrib(R_0007_0024__EXPECTATIONS,R_0007_0023__HIGH)
      & has_arg1(R_0007_0019__MUST_R_0007_0020__BE_R_0007_0021__REGARDED,R_0007_0014__CALLS)
      & r_0007_0014__calls(R_0007_0014__CALLS)
      & has_r_0007_0015__for(R_0007_0014__CALLS,R_0007_0016__REFORM)
      & has_attrib(R_0007_0014__CALLS,R_0007_0013__PUBLIC)
      & r_0007_0006__are_r_0007_0008__plunged_r_0007_0009__into(R_0007_0006__ARE_R_0007_0008__PLUNGED_R_0007_0009__INTO)
      & has_arg0(R_0007_0006__ARE_R_0007_0008__PLUNGED_R_0007_0009__INTO,Z_0007_5038___STAR_)
      & has_arg2(R_0007_0006__ARE_R_0007_0008__PLUNGED_R_0007_0009__INTO,R_0007_0010__THE_R_0007_0011__CURRENTS)
      & r_0007_0010__the_r_0007_0011__currents(R_0007_0010__THE_R_0007_0011__CURRENTS)
      & has_r_0007_0012__of(R_0007_0010__THE_R_0007_0011__CURRENTS,R_0007_0014__CALLS)
      & has_arg1(R_0007_0006__ARE_R_0007_0008__PLUNGED_R_0007_0009__INTO,R_0007_0004__AND)
      & r_0007_0004__and(R_0007_0004__AND)
      & has_conj2(R_0007_0004__AND,R_0007_0005__COLLEGES)
      & has_conj1(R_0007_0004__AND,R_0007_0003__UNIVERSITIES)
      & has_attrib(R_0007_0004__AND,R_0007_0002__NATIONAL)
      & has_attrib(R_0007_0004__AND,R_0007_0001__JAPANESE)
      & has_nim(R_0007_0006__ARE_R_0007_0008__PLUNGED_R_0007_0009__INTO,R_0007_0007__CONSTANTLY) ) ).