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_0031_0001__IT,R_0031_0005__JAPANESE,R_0031_0004__THE_R_0031_0006__LANGUAGE,R_0031_0009__SCHOLARLY,R_0031_0008__THE_R_0031_0010__WORK,R_0031_0007__AND,R_0031_0019__WIDER,R_0031_0018__THE_R_0031_0020__WORLD,R_0031_0002__WILL_R_0031_0003__INTRODUCE,Z_000_31_A_NINJAL_MISSION_42,R_0031_0011__THAT_R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE] :
( r_0031_0001__It(R_0031_0001__IT)
& r_0031_0005__Japanese(R_0031_0005__JAPANESE)
& r_0031_0009__scholarly(R_0031_0009__SCHOLARLY)
& r_0031_0019__wider(R_0031_0019__WIDER)
& z_000_31_a_ninjal_mission_42(Z_000_31_A_NINJAL_MISSION_42)
& r_0031_0011__that_r_0031_0012__has_r_0031_0013__been_r_0031_0014__done(R_0031_0011__THAT_R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE)
& has_arg0(R_0031_0011__THAT_R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE,Z_000_31_A_NINJAL_MISSION_42)
& has_arg1(R_0031_0011__THAT_R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE,R_0031_0008__THE_R_0031_0010__WORK)
& r_0031_0008__the_r_0031_0010__work(R_0031_0008__THE_R_0031_0010__WORK)
& has_attrib26(R_0031_0008__THE_R_0031_0010__WORK,R_0031_0009__SCHOLARLY)
& has_r_0031_0015__on_nim49(R_0031_0011__THAT_R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE,R_0031_0004__THE_R_0031_0006__LANGUAGE)
& r_0031_0004__the_r_0031_0006__language(R_0031_0004__THE_R_0031_0006__LANGUAGE)
& has_attrib15(R_0031_0004__THE_R_0031_0006__LANGUAGE,R_0031_0005__JAPANESE)
& r_0031_0002__will_r_0031_0003__introduce(R_0031_0002__WILL_R_0031_0003__INTRODUCE)
& has_r_0031_0017__to_clr55(R_0031_0002__WILL_R_0031_0003__INTRODUCE,R_0031_0018__THE_R_0031_0020__WORLD)
& r_0031_0018__the_r_0031_0020__world(R_0031_0018__THE_R_0031_0020__WORLD)
& has_attrib58(R_0031_0018__THE_R_0031_0020__WORLD,R_0031_0019__WIDER)
& has_arg1(R_0031_0002__WILL_R_0031_0003__INTRODUCE,R_0031_0007__AND)
& r_0031_0007__and(R_0031_0007__AND)
& has_conj2(R_0031_0007__AND,R_0031_0008__THE_R_0031_0010__WORK)
& has_conj1(R_0031_0007__AND,R_0031_0004__THE_R_0031_0006__LANGUAGE)
& has_arg0(R_0031_0002__WILL_R_0031_0003__INTRODUCE,R_0031_0001__IT) ) ).
( (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))