31_a_ninjal_mission
It will introduce the Japanese language and the scholarly work that has been done on it to the wider world.
arc(r_0031_0002__will, r_0031_0003__introduce, scope).
arc(r_0031_0003__introduce, r_0031_0001__It, arg0).
arc(r_0031_0003__introduce, r_0031_0007__and, arg1).
arc(r_0031_0003__introduce, r_0031_0018__the_r_0031_0020__world, r_0031_0017__to_clr55).
arc(r_0031_0004__the_r_0031_0006__language, r_0031_0005__Japanese, attrib15).
arc(r_0031_0007__and, r_0031_0004__the_r_0031_0006__language, conj1).
arc(r_0031_0007__and, r_0031_0008__the_r_0031_0010__work, conj2).
arc(r_0031_0008__the_r_0031_0010__work, r_0031_0009__scholarly, attrib26).
arc(r_0031_0011__that_r_0031_0012__has, r_0031_0013__been, scope).
arc(r_0031_0013__been, r_0031_0014__done, scope).
arc(r_0031_0014__done, r_0031_0004__the_r_0031_0006__language, r_0031_0015__on_nim49).
arc(r_0031_0014__done, r_0031_0008__the_r_0031_0010__work, arg1).
arc(r_0031_0014__done, z_000_31_a_ninjal_mission_42, arg0).
arc(r_0031_0018__the_r_0031_0020__world, r_0031_0019__wider, attrib58).
fof(formula,axiom,
? [R_31_2_WILL_INTRODUCE,R_31_1_IT,R_31_7_AND,R_31_18_THE_WORLD,R_31_19_WIDER,R_31_11_THAT_HAS_BEEN_DONE,Z_31_A_NINJAL_MISSION_42,R_31_8_THE_WORK,R_31_9_SCHOLARLY,R_31_4_THE_LANGUAGE,R_31_5_JAPANESE] :
( it(R_31_1_IT)
& wider(R_31_19_WIDER)
& scholarly(R_31_9_SCHOLARLY)
& japanese(R_31_5_JAPANESE)
& will_introduce(R_31_2_WILL_INTRODUCE,R_31_1_IT,R_31_7_AND)
& and(R_31_7_AND)
& conj1(R_31_7_AND,R_31_4_THE_LANGUAGE)
& the_language(R_31_4_THE_LANGUAGE)
& attrib15(R_31_4_THE_LANGUAGE,R_31_5_JAPANESE)
& conj2(R_31_7_AND,R_31_8_THE_WORK)
& the_work(R_31_8_THE_WORK)
& attrib26(R_31_8_THE_WORK,R_31_9_SCHOLARLY)
& to_clr55(R_31_2_WILL_INTRODUCE,R_31_18_THE_WORLD)
& the_world(R_31_18_THE_WORLD)
& attrib58(R_31_18_THE_WORLD,R_31_19_WIDER)
& that_has_been_done(R_31_11_THAT_HAS_BEEN_DONE,Z_31_A_NINJAL_MISSION_42,R_31_8_THE_WORK)
& on_nim49(R_31_11_THAT_HAS_BEEN_DONE,R_31_4_THE_LANGUAGE) ) ).
( (IP-MAT (NP-SBJ;{SERIES} (PRO It;{it}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_Tn.pr_ introduce;{introduce[to]})
(NP-OB1 (NLYR (NLYR;{LANGUAGE} (D the;{the})
(ADJP (ADJ Japanese;{Japanese}))
(N language;{language}))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(ADJP (ADJ scholarly;{scholarly}))
(N work;{work})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(DON;_Tn_ done;{do})
(PP-NIM (P-ROLE on;{on})
(NP;{LANGUAGE} (PRO it;{it}))))))))))
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(ADJP (ADJR wider;{wide}))
(N world;{world}))))
(PUNC .))
(ID 31_a_ninjal_mission))