TSPC 34_a_ninjal

34_a_ninjal_mission
Strengthening Japanese language research will ultimately enrich Japanese society and Japanese culture.

( (IP-MAT (IP-PPL-SBJ (VAG;_Tn_ Strengthening;{strengthen})
                      (NP-OB1 (ADJP (ADJ Japanese;{Japanese}))
                              (N language;{language})
                              (N research;{research})))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ADVP-NIM (ADV ultimately;{ultimately}))
                      (VB;_Tn_ enrich;{enrich})
                      (NP-OB1 (NLYR (NLYR (ADJP (ADJ Japanese;{Japanese}))
                                          (N society;{society}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (ADJP (ADJ Japanese;{Japanese}))
                                                 (N culture;{culture}))))))
          (PUNC .))
  (ID 34_a_ninjal_mission))

arc(r_0034_0001__Strengthening,r_0034_0003__language_r_0034_0004__research,arg1).
arc(r_0034_0001__Strengthening,z_0034_5003,arg0).
arc(r_0034_0003__language_r_0034_0004__research,r_0034_0002__Japanese,attrib).
arc(r_0034_0005__will,r_0034_0007__enrich,scope).
arc(r_0034_0007__enrich,r_0034_0001__Strengthening,arg0).
arc(r_0034_0007__enrich,r_0034_0006__ultimately,nim).
arc(r_0034_0007__enrich,r_0034_0010__and,arg1).
arc(r_0034_0009__society,r_0034_0008__Japanese,attrib).
arc(r_0034_0010__and,r_0034_0009__society,conj1).
arc(r_0034_0010__and,r_0034_0012__culture,conj2).
arc(r_0034_0012__culture,r_0034_0011__Japanese,attrib).

fof(formula,axiom,
    ? [R_0034_0002__JAPANESE,R_0034_0003__LANGUAGE_R_0034_0004__RESEARCH,Z_0034_5003,R_0034_0001__STRENGTHENING,R_0034_0006__ULTIMATELY,R_0034_0008__JAPANESE,R_0034_0009__SOCIETY,R_0034_0011__JAPANESE,R_0034_0012__CULTURE,R_0034_0010__AND,R_0034_0005__WILL_R_0034_0007__ENRICH] :
      ( r_0034_0002__Japanese(R_0034_0002__JAPANESE)
      & r_0034_0006__ultimately(R_0034_0006__ULTIMATELY)
      & r_0034_0008__Japanese(R_0034_0008__JAPANESE)
      & r_0034_0011__Japanese(R_0034_0011__JAPANESE)
      & z_0034_5003(Z_0034_5003)
      & r_0034_0005__will_r_0034_0007__enrich(R_0034_0005__WILL_R_0034_0007__ENRICH)
      & has_arg1(R_0034_0005__WILL_R_0034_0007__ENRICH,R_0034_0010__AND)
      & r_0034_0010__and(R_0034_0010__AND)
      & has_conj2(R_0034_0010__AND,R_0034_0012__CULTURE)
      & r_0034_0012__culture(R_0034_0012__CULTURE)
      & has_attrib(R_0034_0012__CULTURE,R_0034_0011__JAPANESE)
      & has_conj1(R_0034_0010__AND,R_0034_0009__SOCIETY)
      & r_0034_0009__society(R_0034_0009__SOCIETY)
      & has_attrib(R_0034_0009__SOCIETY,R_0034_0008__JAPANESE)
      & has_nim(R_0034_0005__WILL_R_0034_0007__ENRICH,R_0034_0006__ULTIMATELY)
      & has_arg0(R_0034_0005__WILL_R_0034_0007__ENRICH,R_0034_0001__STRENGTHENING)
      & r_0034_0001__Strengthening(R_0034_0001__STRENGTHENING)
      & has_arg0(R_0034_0001__STRENGTHENING,Z_0034_5003)
      & has_arg1(R_0034_0001__STRENGTHENING,R_0034_0003__LANGUAGE_R_0034_0004__RESEARCH)
      & r_0034_0003__language_r_0034_0004__research(R_0034_0003__LANGUAGE_R_0034_0004__RESEARCH)
      & has_attrib(R_0034_0003__LANGUAGE_R_0034_0004__RESEARCH,R_0034_0002__JAPANESE) ) ).