27_a_ninjal_mission
In addition, NINJAL actively encourages researchers to work with publishers outside of Japan.
arc(r_0027_0006__encourages, r_0027_0002__addition, r_0027_0001__In_nim5).
arc(r_0027_0006__encourages, r_0027_0004__NINJAL, arg0).
arc(r_0027_0006__encourages, r_0027_0005__actively, nim13).
arc(r_0027_0006__encourages, r_0027_0007__researchers, arg2).
arc(r_0027_0006__encourages, r_0027_0008__to_r_0027_0009__work, arg1).
arc(r_0027_0008__to_r_0027_0009__work, r_0027_0007__researchers, arg0).
arc(r_0027_0008__to_r_0027_0009__work, r_0027_0011__publishers, r_0027_0010__with_nim29).
arc(r_0027_0011__publishers, r_0027_0013__Japan, r_0027_0012__outside_of).
fof(formula,axiom,
? [R_27_6_ENCOURAGES,R_27_4_NINJAL,R_27_8_TO_WORK,R_27_11_PUBLISHERS,R_27_13_JAPAN,R_27_7_RESEARCHERS,R_27_5_ACTIVELY,R_27_2_ADDITION] :
( nINJAL(R_27_4_NINJAL)
& japan(R_27_13_JAPAN)
& researchers(R_27_7_RESEARCHERS)
& actively(R_27_5_ACTIVELY)
& addition(R_27_2_ADDITION)
& encourages(R_27_6_ENCOURAGES,R_27_4_NINJAL,R_27_8_TO_WORK,R_27_7_RESEARCHERS)
& to_work(R_27_8_TO_WORK,R_27_7_RESEARCHERS)
& with_nim29(R_27_8_TO_WORK,R_27_11_PUBLISHERS)
& publishers(R_27_11_PUBLISHERS)
& outside_of(R_27_11_PUBLISHERS,R_27_13_JAPAN)
& nim13(R_27_6_ENCOURAGES,R_27_5_ACTIVELY)
& in_nim5(R_27_6_ENCOURAGES,R_27_2_ADDITION) ) ).
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (N addition;{addition})))
(PUNC ,)
(NP-SBJ (NPR NINJAL;{NINJAL}))
(ADVP-NIM (ADV actively;{actively}))
(VBP;_Dn.t_ encourages;{encourage})
(NP-OB2 (NS researchers;{researcher}))
(IP-INF-OB1 (TO to;{to})
(VB;_I_ work;{work})
(PP-NIM (P-ROLE with;{with})
(NP (NS publishers;{publisher})
(PP (P-ROLE outside_of;{outside_of})
(NP (NPR Japan;{Japan}))))))
(PUNC .))
(ID 27_a_ninjal_mission))