27_a_ninjal_mission
In addition, NINJAL actively encourages researchers to work with publishers outside of Japan.
( (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))
arc(r_0027_0006__encourages,r_0027_0002__addition,r_0027_0001__In__nim).
arc(r_0027_0006__encourages,r_0027_0004__NINJAL,arg0).
arc(r_0027_0006__encourages,r_0027_0005__actively,nim).
arc(r_0027_0006__encourages,r_0027_0007__researchers,arg2).
arc(r_0027_0006__encourages,r_0027_0009__work,arg1).
arc(r_0027_0009__work,r_0027_0007__researchers,arg0).
arc(r_0027_0009__work,r_0027_0011__publishers,r_0027_0010__with__nim).
arc(r_0027_0011__publishers,r_0027_0013__Japan,r_0027_0012__outside_of).
fof(formula,axiom,
? [R_0027_0002__ADDITION,R_0027_0004__NINJAL,R_0027_0005__ACTIVELY,R_0027_0007__RESEARCHERS,R_0027_0013__JAPAN,R_0027_0011__PUBLISHERS,R_0027_0009__WORK,R_0027_0006__ENCOURAGES] :
( r_0027_0002__addition(R_0027_0002__ADDITION)
& r_0027_0004__NINJAL(R_0027_0004__NINJAL)
& r_0027_0005__actively(R_0027_0005__ACTIVELY)
& r_0027_0007__researchers(R_0027_0007__RESEARCHERS)
& r_0027_0013__Japan(R_0027_0013__JAPAN)
& r_0027_0006__encourages(R_0027_0006__ENCOURAGES)
& has_arg1(R_0027_0006__ENCOURAGES,R_0027_0009__WORK)
& r_0027_0009__work(R_0027_0009__WORK)
& has_r_0027_0010__with__nim(R_0027_0009__WORK,R_0027_0011__PUBLISHERS)
& r_0027_0011__publishers(R_0027_0011__PUBLISHERS)
& has_r_0027_0012__outside_of(R_0027_0011__PUBLISHERS,R_0027_0013__JAPAN)
& has_arg0(R_0027_0009__WORK,R_0027_0007__RESEARCHERS)
& has_arg2(R_0027_0006__ENCOURAGES,R_0027_0007__RESEARCHERS)
& has_nim(R_0027_0006__ENCOURAGES,R_0027_0005__ACTIVELY)
& has_arg0(R_0027_0006__ENCOURAGES,R_0027_0004__NINJAL)
& has_r_0027_0001__In__nim(R_0027_0006__ENCOURAGES,R_0027_0002__ADDITION) ) ).