TSPC 28_a_ninjal

28_a_ninjal_mission
One result of this push is an agreement with De Gruyter Mouton in Germany to publish an 12 - volume series of handbooks, written in English, that cover all aspects of Japanese language and linguistics.

arc(r_0028_0001__One_r_0028_0002__result, r_0028_0004__this_r_0028_0005__push, r_0028_0003__of).
arc(r_0028_0006__is, r_0028_0001__One_r_0028_0002__result, arg0).
arc(r_0028_0006__is, r_0028_0007__an_r_0028_0008__agreement, prd).
arc(r_0028_0007__an_r_0028_0008__agreement, r_0028_0010__De_r_0028_0011__Gruyter_r_0028_0012__Mouton, r_0028_0009__with).
arc(r_0028_0007__an_r_0028_0008__agreement, r_0028_0015__to_r_0028_0016__publish, emb38).
arc(r_0028_0010__De_r_0028_0011__Gruyter_r_0028_0012__Mouton, r_0028_0014__Germany, r_0028_0013__in).
arc(r_0028_0015__to_r_0028_0016__publish, r_0028_0017__an_r_0028_0018__12_r_0028_0020__volume_r_0028_0021__series, arg1).
arc(r_0028_0015__to_r_0028_0016__publish, z_000_28_a_ninjal_mission_38, arg0).
arc(r_0028_0017__an_r_0028_0018__12_r_0028_0020__volume_r_0028_0021__series, r_0028_0023__handbooks, r_0028_0022__of).
arc(r_0028_0025__written, r_0028_0023__handbooks, arg1).
arc(r_0028_0025__written, r_0028_0027__English, r_0028_0026__in_nim70).
arc(r_0028_0025__written, z_000_28_a_ninjal_mission_63, arg0).
arc(r_0028_0029__that_r_0028_0030__cover, r_0028_0023__handbooks, arg0).
arc(r_0028_0029__that_r_0028_0030__cover, r_0028_0032__aspects, arg1).
arc(r_0028_0031__all_quant, r_0028_0029__that_r_0028_0030__cover, scope).
arc(r_0028_0031__all_quant, r_0028_0032__aspects, restriction).
arc(r_0028_0032__aspects, r_0028_0036__and, r_0028_0033__of).
arc(r_0028_0036__and, r_0028_0034__Japanese, attrib91).
arc(r_0028_0036__and, r_0028_0035__language, conj1).
arc(r_0028_0036__and, r_0028_0037__linguistics, conj2).

fof(formula,axiom,
    ? [R_28_6_IS,R_28_1_ONE_RESULT,R_28_4_THIS_PUSH,R_28_7_AN_AGREEMENT,R_28_15_TO_PUBLISH,Z_28_A_NINJAL_MISSION_38,R_28_17_AN_12_VOLUME_SERIES,R_28_10_DE_GRUYTER_MOUTON,R_28_14_GERMANY,R_28_25_WRITTEN,Z_28_A_NINJAL_MISSION_63,R_28_23_HANDBOOKS,R_28_27_ENGLISH] :
      ( this_push(R_28_4_THIS_PUSH)
      & germany(R_28_14_GERMANY)
      & handbooks(R_28_23_HANDBOOKS)
      & english(R_28_27_ENGLISH)
      & is(R_28_6_IS,R_28_1_ONE_RESULT,R_28_7_AN_AGREEMENT)
      & one_result(R_28_1_ONE_RESULT)
      & of(R_28_1_ONE_RESULT,R_28_4_THIS_PUSH)
      & an_agreement(R_28_7_AN_AGREEMENT)
      & emb38(R_28_7_AN_AGREEMENT,R_28_15_TO_PUBLISH)
      & to_publish(R_28_15_TO_PUBLISH,Z_28_A_NINJAL_MISSION_38,R_28_17_AN_12_VOLUME_SERIES)
      & an_12_volume_series(R_28_17_AN_12_VOLUME_SERIES)
      & of(R_28_17_AN_12_VOLUME_SERIES,R_28_23_HANDBOOKS)
      & with(R_28_7_AN_AGREEMENT,R_28_10_DE_GRUYTER_MOUTON)
      & de_Gruyter_Mouton(R_28_10_DE_GRUYTER_MOUTON)
      & in(R_28_10_DE_GRUYTER_MOUTON,R_28_14_GERMANY)
      & written(R_28_25_WRITTEN,Z_28_A_NINJAL_MISSION_63,R_28_23_HANDBOOKS)
      & in_nim70(R_28_25_WRITTEN,R_28_27_ENGLISH)
      & ! [R_28_32_ASPECTS,R_28_36_AND,R_28_34_JAPANESE,R_28_35_LANGUAGE,R_28_37_LINGUISTICS] :
          ( ( japanese(R_28_34_JAPANESE)
            & language(R_28_35_LANGUAGE)
            & linguistics(R_28_37_LINGUISTICS)
            & aspects(R_28_32_ASPECTS)
            & of(R_28_32_ASPECTS,R_28_36_AND)
            & and(R_28_36_AND)
            & attrib91(R_28_36_AND,R_28_34_JAPANESE)
            & conj1(R_28_36_AND,R_28_35_LANGUAGE)
            & conj2(R_28_36_AND,R_28_37_LINGUISTICS) )
         => ? [R_28_29_THAT_COVER] : that_cover(R_28_29_THAT_COVER,R_28_23_HANDBOOKS,R_28_32_ASPECTS) ) ) ).

( (IP-MAT (NP-SBJ (D One;{one})
                  (N result;{result})
                  (PP (P-ROLE of;{of})
                      (NP (D this;{this})
                          (N push;{push}))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D an;{an})
                  (N agreement;{agreement})
                  (PP (P-ROLE with;{with})
                      (NP (NPR De;{De})
                          (NPR Gruyter;{Gruyter})
                          (NPR Mouton;{Mouton})
                          (PP (P-ROLE in;{in})
                              (NP (NPR Germany;{Germany})))))
                  (IP-INF (TO to;{to})
                          (VB;_Tn_ publish;{publish})
                          (NP-OB1 (D an;{an})
                                  (NUM 12)
                                  (PUNC <hyphen>)
                                  (N volume;{volume})
                                  (N series;{series})
                                  (PP (P-ROLE of;{of})
                                      (NP (NS handbooks;{handbook})
                                          (PUNC ,)
                                          (IP-PPL (NP-LGS *)
                                                  (VVN;_Tn_ written;{write})
                                                  (PP-NIM (P-ROLE in;{in})
                                                          (NP (N English;{english}))))
                                          (PUNC ,)
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ *T*)
                                                  (VBP;_Tn_ cover;{cover})
                                                  (NP-OB1 (Q all;{all})
                                                          (NS aspects;{aspect})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (ADJP (ADJ Japanese;{Japanese}))
                                                                  (NLYR (NLYR (N language;{language}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (NS linguistics;{linguistics})))))))))))))
          (PUNC .))
  (ID 28_a_ninjal_mission))