TSPC 3_a_hirodai

3_a_hirodai_mission
In actuality, Hirosaki University has a history of almost 140 years, though, as this institution is the descendant of Aomori Teachers College, which was an esteemed model for modern general education, and from which we derive Hirosaki University's basic and most important tenets.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N actuality;{actuality})))
          (PUNC ,)
          (NP-SBJ;{HIRODAI} (NPR Hirosaki;{Hirosaki})
                            (NPR University;{University}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D a;{a})
                  (N history;{history})
                  (PP (P-ROLE of;{of})
                      (NP (ADVP (ADV almost;{almost}))
                          (NUM 140)
                          (NS years;{year}))))
          (PUNC ,)
          (ADVP-NIM (ADV though;{though}))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (D this;{this})
                                   (N institution;{institution}))
                           (BEP;_Ln_ is;{be})
                           (NP-PRD (D the;{the})
                                   (N descendant;{descendant})
                                   (PP (P-ROLE of;{of})
                                       (NP (NPR Aomori;{Aomori})
                                           (NPRS Teachers;{Teachers})
                                           (NPR College;{College})
                                           (PUNC ,)
                                           (IP-REL (ILYR (ILYR (NP-SBJ (RPRO which;{which}))
                                                               (BED;_Ln_ was;{be})
                                                               (NP-PRD (D an;{an})
                                                                       (IP-PPL (NP-LGS *)
                                                                               (VVN;_Tn_ esteemed;{esteem}))
                                                                       (N model;{model})
                                                                       (PP (P-ROLE for;{for})
                                                                           (NP (ADJP (ADJ modern;{modern}))
                                                                               (ADJP (ADJ general;{general}))
                                                                               (N education;{education})))))
                                                         (PUNC ,)
                                                         (CONJP (CONJ and;{and})
                                                                (ILYR (PP (P-ROLE from;{from})
                                                                          (NP (RPRO which;{which})))
                                                                      (NP-SBJ (PRO we;{we}))
                                                                      (VBP;_Tn_ derive;{derive})
                                                                      (NP-OB1 (NP-GEN;{HIRODAI} (NPR Hirosaki;{Hirosaki})
                                                                                                (NPR University;{University})
                                                                                                (GENM <apos>s))
                                                                              (ADJP (AJLYR (AJLYR (ADJ basic;{basic}))
                                                                                           (CONJP (CONJ and;{and})
                                                                                                  (AJLYR (ADVP (ADVS most;{most}))
                                                                                                         (ADJ important;{important})))))
                                                                              (NS tenets;{tenet})))))))))))
          (PUNC .))
  (ID 3_a_hirodai_mission))

arc(r_0003_0006__has,r_0003_0002__actuality,r_0003_0001__In__nim).
arc(r_0003_0006__has,r_0003_0004__Hirosaki_r_0003_0005__University,arg0).
arc(r_0003_0006__has,r_0003_0007__a_r_0003_0008__history,arg1).
arc(r_0003_0006__has,r_0003_0014__though,nim).
arc(r_0003_0007__a_r_0003_0008__history,r_0003_0011__140_r_0003_0012__years,r_0003_0009__of).
arc(r_0003_0011__140_r_0003_0012__years,r_0003_0010__almost,qual).
arc(r_0003_0016__as,r_0003_0006__has,scope).
arc(r_0003_0016__as,r_0003_0019__is,restriction).
arc(r_0003_0019__is,r_0003_0017__this_r_0003_0018__institution,arg0).
arc(r_0003_0019__is,r_0003_0020__the_r_0003_0021__descendant,prd).
arc(r_0003_0020__the_r_0003_0021__descendant,r_0003_0023__Aomori_r_0003_0024__Teachers_r_0003_0025__College,r_0003_0022__of).
arc(r_0003_0028__was,r_0003_0023__Aomori_r_0003_0024__Teachers_r_0003_0025__College,arg0).
arc(r_0003_0028__was,r_0003_0029__an_r_0003_0031__model,prd).
arc(r_0003_0029__an_r_0003_0031__model,r_0003_0035__education,r_0003_0032__for).
arc(r_0003_0030__esteemed,r_0003_0029__an_r_0003_0031__model,inv_arg1).
arc(r_0003_0030__esteemed,z_0003_5009___star_,arg0).
arc(r_0003_0035__education,r_0003_0033__modern,attrib).
arc(r_0003_0035__education,r_0003_0034__general,attrib).
arc(r_0003_0037__and,r_0003_0028__was,conj1).
arc(r_0003_0037__and,r_0003_0041__derive,conj2).
arc(r_0003_0041__derive,r_0003_0023__Aomori_r_0003_0024__Teachers_r_0003_0025__College,r_0003_0038__from).
arc(r_0003_0041__derive,r_0003_0040__we,arg0).
arc(r_0003_0041__derive,r_0003_0049__tenets,arg1).
arc(r_0003_0046__and,r_0003_0045__basic,conj1).
arc(r_0003_0046__and,r_0003_0048__important,conj2).
arc(r_0003_0048__important,r_0003_0047__most,qual).
arc(r_0003_0049__tenets,r_0003_0004__Hirosaki_r_0003_0005__University,gen).
arc(r_0003_0049__tenets,r_0003_0046__and,attrib).

fof(formula,axiom,
    ? [R_0003_0002__ACTUALITY,R_0003_0004__HIROSAKI_R_0003_0005__UNIVERSITY,R_0003_0010__ALMOST,R_0003_0011__140_R_0003_0012__YEARS,R_0003_0007__A_R_0003_0008__HISTORY,R_0003_0014__THOUGH,R_0003_0006__HAS,R_0003_0017__THIS_R_0003_0018__INSTITUTION,R_0003_0023__AOMORI_R_0003_0024__TEACHERS_R_0003_0025__COLLEGE,R_0003_0020__THE_R_0003_0021__DESCENDANT,R_0003_0019__IS,R_0003_0016__AS,R_0003_0033__MODERN,R_0003_0034__GENERAL,R_0003_0035__EDUCATION,Z_0003_5009___STAR_,R_0003_0030__ESTEEMED,R_0003_0029__AN_R_0003_0031__MODEL,R_0003_0028__WAS,R_0003_0040__WE,R_0003_0045__BASIC,R_0003_0047__MOST,R_0003_0048__IMPORTANT,R_0003_0046__AND,R_0003_0049__TENETS,R_0003_0041__DERIVE,R_0003_0037__AND] :
      ( r_0003_0002__actuality(R_0003_0002__ACTUALITY)
      & r_0003_0004__Hirosaki_r_0003_0005__University(R_0003_0004__HIROSAKI_R_0003_0005__UNIVERSITY)
      & r_0003_0010__almost(R_0003_0010__ALMOST)
      & r_0003_0014__though(R_0003_0014__THOUGH)
      & r_0003_0017__this_r_0003_0018__institution(R_0003_0017__THIS_R_0003_0018__INSTITUTION)
      & r_0003_0023__Aomori_r_0003_0024__Teachers_r_0003_0025__College(R_0003_0023__AOMORI_R_0003_0024__TEACHERS_R_0003_0025__COLLEGE)
      & r_0003_0033__modern(R_0003_0033__MODERN)
      & r_0003_0034__general(R_0003_0034__GENERAL)
      & r_0003_0040__we(R_0003_0040__WE)
      & r_0003_0045__basic(R_0003_0045__BASIC)
      & r_0003_0047__most(R_0003_0047__MOST)
      & z_0003_5009___star_(Z_0003_5009___STAR_)
      & r_0003_0037__and(R_0003_0037__AND)
      & has_conj2(R_0003_0037__AND,R_0003_0041__DERIVE)
      & r_0003_0041__derive(R_0003_0041__DERIVE)
      & has_arg1(R_0003_0041__DERIVE,R_0003_0049__TENETS)
      & r_0003_0049__tenets(R_0003_0049__TENETS)
      & has_attrib(R_0003_0049__TENETS,R_0003_0046__AND)
      & r_0003_0046__and(R_0003_0046__AND)
      & has_conj2(R_0003_0046__AND,R_0003_0048__IMPORTANT)
      & r_0003_0048__important(R_0003_0048__IMPORTANT)
      & has_qual(R_0003_0048__IMPORTANT,R_0003_0047__MOST)
      & has_conj1(R_0003_0046__AND,R_0003_0045__BASIC)
      & has_gen(R_0003_0049__TENETS,R_0003_0004__HIROSAKI_R_0003_0005__UNIVERSITY)
      & has_arg0(R_0003_0041__DERIVE,R_0003_0040__WE)
      & has_r_0003_0038__from(R_0003_0041__DERIVE,R_0003_0023__AOMORI_R_0003_0024__TEACHERS_R_0003_0025__COLLEGE)
      & has_conj1(R_0003_0037__AND,R_0003_0028__WAS)
      & r_0003_0028__was(R_0003_0028__WAS)
      & has_prd(R_0003_0028__WAS,R_0003_0029__AN_R_0003_0031__MODEL)
      & r_0003_0029__an_r_0003_0031__model(R_0003_0029__AN_R_0003_0031__MODEL)
      & has_inv_arg1(R_0003_0029__AN_R_0003_0031__MODEL,R_0003_0030__ESTEEMED)
      & r_0003_0030__esteemed(R_0003_0030__ESTEEMED)
      & has_arg0(R_0003_0030__ESTEEMED,Z_0003_5009___STAR_)
      & has_r_0003_0032__for(R_0003_0029__AN_R_0003_0031__MODEL,R_0003_0035__EDUCATION)
      & r_0003_0035__education(R_0003_0035__EDUCATION)
      & has_attrib(R_0003_0035__EDUCATION,R_0003_0034__GENERAL)
      & has_attrib(R_0003_0035__EDUCATION,R_0003_0033__MODERN)
      & has_arg0(R_0003_0028__WAS,R_0003_0023__AOMORI_R_0003_0024__TEACHERS_R_0003_0025__COLLEGE)
      & r_0003_0016__as(R_0003_0016__AS)
      & has_conj1(R_0003_0016__AS,R_0003_0019__IS)
      & r_0003_0019__is(R_0003_0019__IS)
      & has_prd(R_0003_0019__IS,R_0003_0020__THE_R_0003_0021__DESCENDANT)
      & r_0003_0020__the_r_0003_0021__descendant(R_0003_0020__THE_R_0003_0021__DESCENDANT)
      & has_r_0003_0022__of(R_0003_0020__THE_R_0003_0021__DESCENDANT,R_0003_0023__AOMORI_R_0003_0024__TEACHERS_R_0003_0025__COLLEGE)
      & has_arg0(R_0003_0019__IS,R_0003_0017__THIS_R_0003_0018__INSTITUTION)
      & has_conj2(R_0003_0016__AS,R_0003_0006__HAS)
      & r_0003_0006__has(R_0003_0006__HAS)
      & has_nim(R_0003_0006__HAS,R_0003_0014__THOUGH)
      & has_arg1(R_0003_0006__HAS,R_0003_0007__A_R_0003_0008__HISTORY)
      & r_0003_0007__a_r_0003_0008__history(R_0003_0007__A_R_0003_0008__HISTORY)
      & has_r_0003_0009__of(R_0003_0007__A_R_0003_0008__HISTORY,R_0003_0011__140_R_0003_0012__YEARS)
      & r_0003_0011__140_r_0003_0012__years(R_0003_0011__140_R_0003_0012__YEARS)
      & has_qual(R_0003_0011__140_R_0003_0012__YEARS,R_0003_0010__ALMOST)
      & has_arg0(R_0003_0006__HAS,R_0003_0004__HIROSAKI_R_0003_0005__UNIVERSITY)
      & has_r_0003_0001__In__nim(R_0003_0006__HAS,R_0003_0002__ACTUALITY) ) ).