31_a_ninjal_mission
It will introduce the Japanese language and the scholarly work that has been done on it to the wider world.
( (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))
arc(r_0031_0002__will,r_0031_0003__introduce_r_0031_0017__to,scope).
arc(r_0031_0003__introduce_r_0031_0017__to,r_0031_0001__It,arg0).
arc(r_0031_0003__introduce_r_0031_0017__to,r_0031_0007__and,arg1).
arc(r_0031_0003__introduce_r_0031_0017__to,r_0031_0018__the_r_0031_0020__world,arg2).
arc(r_0031_0004__the_r_0031_0006__language,r_0031_0005__Japanese,attrib).
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,attrib).
arc(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__nim).
arc(r_0031_0014__done,r_0031_0008__the_r_0031_0010__work,inv_arg1).
arc(r_0031_0014__done,z_0031_5012___star_,arg0).
arc(r_0031_0018__the_r_0031_0020__world,r_0031_0019__wider,attrib).
fof(formula,axiom,
? [R_0031_0001__IT,R_0031_0005__JAPANESE,R_0031_0004__THE_R_0031_0006__LANGUAGE,R_0031_0009__SCHOLARLY,Z_0031_5012___STAR_,R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE,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_R_0031_0017__TO] :
( 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_0031_5012___star_(Z_0031_5012___STAR_)
& r_0031_0002__will_r_0031_0003__introduce_r_0031_0017__to(R_0031_0002__WILL_R_0031_0003__INTRODUCE_R_0031_0017__TO)
& has_arg2(R_0031_0002__WILL_R_0031_0003__INTRODUCE_R_0031_0017__TO,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_attrib(R_0031_0018__THE_R_0031_0020__WORLD,R_0031_0019__WIDER)
& has_arg1(R_0031_0002__WILL_R_0031_0003__INTRODUCE_R_0031_0017__TO,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)
& r_0031_0008__the_r_0031_0010__work(R_0031_0008__THE_R_0031_0010__WORK)
& has_inv_arg1(R_0031_0008__THE_R_0031_0010__WORK,R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE)
& r_0031_0012__has_r_0031_0013__been_r_0031_0014__done(R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE)
& has_arg0(R_0031_0012__HAS_R_0031_0013__BEEN_R_0031_0014__DONE,Z_0031_5012___STAR_)
& has_r_0031_0015__on__nim(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_attrib(R_0031_0004__THE_R_0031_0006__LANGUAGE,R_0031_0005__JAPANESE)
& has_attrib(R_0031_0008__THE_R_0031_0010__WORK,R_0031_0009__SCHOLARLY)
& 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_0017__TO,R_0031_0001__IT) ) ).