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_0028_0004__THIS_R_0028_0005__PUSH,R_0028_0001__ONE_R_0028_0002__RESULT,R_0028_0014__GERMANY,R_0028_0010__DE_R_0028_0011__GRUYTER_R_0028_0012__MOUTON,R_0028_0023__HANDBOOKS,R_0028_0017__AN_R_0028_0018__12_R_0028_0020__VOLUME_R_0028_0021__SERIES,Z_000_28_A_NINJAL_MISSION_38,R_0028_0015__TO_R_0028_0016__PUBLISH,R_0028_0007__AN_R_0028_0008__AGREEMENT,R_0028_0006__IS,R_0028_0027__ENGLISH,Z_000_28_A_NINJAL_MISSION_63,R_0028_0025__WRITTEN] :
      ( r_0028_0004__this_r_0028_0005__push(R_0028_0004__THIS_R_0028_0005__PUSH)
      & r_0028_0014__Germany(R_0028_0014__GERMANY)
      & r_0028_0023__handbooks(R_0028_0023__HANDBOOKS)
      & r_0028_0027__English(R_0028_0027__ENGLISH)
      & z_000_28_a_ninjal_mission_38(Z_000_28_A_NINJAL_MISSION_38)
      & z_000_28_a_ninjal_mission_63(Z_000_28_A_NINJAL_MISSION_63)
      & ! [R_0028_0032__ASPECTS,R_0028_0034__JAPANESE,R_0028_0035__LANGUAGE,R_0028_0037__LINGUISTICS,R_0028_0036__AND] :
          ( ( r_0028_0034__Japanese(R_0028_0034__JAPANESE)
            & r_0028_0035__language(R_0028_0035__LANGUAGE)
            & r_0028_0037__linguistics(R_0028_0037__LINGUISTICS)
            & r_0028_0032__aspects(R_0028_0032__ASPECTS)
            & has_r_0028_0033__of(R_0028_0032__ASPECTS,R_0028_0036__AND)
            & r_0028_0036__and(R_0028_0036__AND)
            & has_conj2(R_0028_0036__AND,R_0028_0037__LINGUISTICS)
            & has_conj1(R_0028_0036__AND,R_0028_0035__LANGUAGE)
            & has_attrib91(R_0028_0036__AND,R_0028_0034__JAPANESE) )
         => ? [R_0028_0029__THAT_R_0028_0030__COVER] :
              ( r_0028_0029__that_r_0028_0030__cover(R_0028_0029__THAT_R_0028_0030__COVER)
              & has_arg1(R_0028_0029__THAT_R_0028_0030__COVER,R_0028_0032__ASPECTS)
              & has_arg0(R_0028_0029__THAT_R_0028_0030__COVER,R_0028_0023__HANDBOOKS) ) )
      & r_0028_0025__written(R_0028_0025__WRITTEN)
      & has_arg0(R_0028_0025__WRITTEN,Z_000_28_A_NINJAL_MISSION_63)
      & has_r_0028_0026__in_nim70(R_0028_0025__WRITTEN,R_0028_0027__ENGLISH)
      & has_arg1(R_0028_0025__WRITTEN,R_0028_0023__HANDBOOKS)
      & r_0028_0006__is(R_0028_0006__IS)
      & has_prd(R_0028_0006__IS,R_0028_0007__AN_R_0028_0008__AGREEMENT)
      & r_0028_0007__an_r_0028_0008__agreement(R_0028_0007__AN_R_0028_0008__AGREEMENT)
      & has_emb38(R_0028_0007__AN_R_0028_0008__AGREEMENT,R_0028_0015__TO_R_0028_0016__PUBLISH)
      & r_0028_0015__to_r_0028_0016__publish(R_0028_0015__TO_R_0028_0016__PUBLISH)
      & has_arg0(R_0028_0015__TO_R_0028_0016__PUBLISH,Z_000_28_A_NINJAL_MISSION_38)
      & has_arg1(R_0028_0015__TO_R_0028_0016__PUBLISH,R_0028_0017__AN_R_0028_0018__12_R_0028_0020__VOLUME_R_0028_0021__SERIES)
      & r_0028_0017__an_r_0028_0018__12_r_0028_0020__volume_r_0028_0021__series(R_0028_0017__AN_R_0028_0018__12_R_0028_0020__VOLUME_R_0028_0021__SERIES)
      & has_r_0028_0022__of(R_0028_0017__AN_R_0028_0018__12_R_0028_0020__VOLUME_R_0028_0021__SERIES,R_0028_0023__HANDBOOKS)
      & has_r_0028_0009__with(R_0028_0007__AN_R_0028_0008__AGREEMENT,R_0028_0010__DE_R_0028_0011__GRUYTER_R_0028_0012__MOUTON)
      & r_0028_0010__De_r_0028_0011__Gruyter_r_0028_0012__Mouton(R_0028_0010__DE_R_0028_0011__GRUYTER_R_0028_0012__MOUTON)
      & has_r_0028_0013__in(R_0028_0010__DE_R_0028_0011__GRUYTER_R_0028_0012__MOUTON,R_0028_0014__GERMANY)
      & has_arg0(R_0028_0006__IS,R_0028_0001__ONE_R_0028_0002__RESULT)
      & r_0028_0001__One_r_0028_0002__result(R_0028_0001__ONE_R_0028_0002__RESULT)
      & has_r_0028_0003__of(R_0028_0001__ONE_R_0028_0002__RESULT,R_0028_0004__THIS_R_0028_0005__PUSH) ) ).

( (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))