( (IP-MAT (NP-SBJ (NPR NINJAL;{NINJAL}))
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (ILYR (ILYR (VAG;_cat_Vt_ working;{work})
                                  (IP-INF-CAT (TO to;{to})
                                              (VB;_Tn.pr_ put;{put})
                                              (NP-OB1;{RESOURCES} (ADJP (AJLYR (CONJ both;{both})
                                                                               (AJLYR (ADJ new;{new}))
                                                                               (CONJP (CONJ and;{and})
                                                                                      (AJLYR (ADJ existing;{existing})))))
                                                                  (ADJP (ADJ Japanese;{Japanese}))
                                                                  (N language;{language})
                                                                  (NS resources;{resource}))
                                              (PP-NIM (P-ROLE into;{into})
                                                      (NP (ADJP (ADJ electronic;{electronic}))
                                                          (N form;{form})))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VAG;_Cn.a_ making;{make})
                                         (NP-OB1;{RESOURCES} (PRO them;{they}))
                                         (ADJP-PRD (ADJ available;{available})
                                                   (PP (P-ROLE to;{to})
                                                       (NP (ADVP (ADV outside;{outside}))
                                                           (NS researchers;{researcher}))))))))
          (PUNC .))
  (ID 20_a_ninjal_mission))

arc(r_0020_0002__is,r_0020_0016__and,scope).
arc(r_0020_0003__working,r_0020_0005__put,scope).
arc(r_0020_0005__put,r_0020_0001__NINJAL,arg0).
arc(r_0020_0005__put,r_0020_0011__language_r_0020_0012__resources,arg1).
arc(r_0020_0005__put,r_0020_0015__form,r_0020_0013__into__nim).
arc(r_0020_0006__both_r_0020_0008__and,r_0020_0007__new,conj1).
arc(r_0020_0006__both_r_0020_0008__and,r_0020_0009__existing,conj2).
arc(r_0020_0011__language_r_0020_0012__resources,r_0020_0006__both_r_0020_0008__and,attrib).
arc(r_0020_0011__language_r_0020_0012__resources,r_0020_0010__Japanese,attrib).
arc(r_0020_0015__form,r_0020_0014__electronic,attrib).
arc(r_0020_0016__and,r_0020_0003__working,conj1).
arc(r_0020_0016__and,r_0020_0017__making,conj2).
arc(r_0020_0017__making,r_0020_0001__NINJAL,arg0).
arc(r_0020_0017__making,r_0020_0011__language_r_0020_0012__resources,arg1).
arc(r_0020_0017__making,r_0020_0019__available,prd).
arc(r_0020_0019__available,r_0020_0022__researchers,r_0020_0020__to).
arc(r_0020_0022__researchers,r_0020_0021__outside,qual).

fof(formula,axiom,
    ? [R_0020_0001__NINJAL,R_0020_0007__NEW,R_0020_0009__EXISTING,R_0020_0006__BOTH_R_0020_0008__AND,R_0020_0010__JAPANESE,R_0020_0011__LANGUAGE_R_0020_0012__RESOURCES,R_0020_0014__ELECTRONIC,R_0020_0015__FORM,R_0020_0003__WORKING_R_0020_0005__PUT,R_0020_0021__OUTSIDE,R_0020_0022__RESEARCHERS,R_0020_0019__AVAILABLE,R_0020_0017__MAKING,R_0020_0016__AND,R_0020_0002__IS] :
      ( r_0020_0001__NINJAL(R_0020_0001__NINJAL)
      & r_0020_0007__new(R_0020_0007__NEW)
      & r_0020_0009__existing(R_0020_0009__EXISTING)
      & r_0020_0010__Japanese(R_0020_0010__JAPANESE)
      & r_0020_0014__electronic(R_0020_0014__ELECTRONIC)
      & r_0020_0021__outside(R_0020_0021__OUTSIDE)
      & r_0020_0002__is(R_0020_0002__IS)
      & has_keep_scope(R_0020_0002__IS,R_0020_0016__AND)
      & r_0020_0016__and(R_0020_0016__AND)
      & has_conj2(R_0020_0016__AND,R_0020_0017__MAKING)
      & r_0020_0017__making(R_0020_0017__MAKING)
      & has_prd(R_0020_0017__MAKING,R_0020_0019__AVAILABLE)
      & r_0020_0019__available(R_0020_0019__AVAILABLE)
      & has_r_0020_0020__to(R_0020_0019__AVAILABLE,R_0020_0022__RESEARCHERS)
      & r_0020_0022__researchers(R_0020_0022__RESEARCHERS)
      & has_qual(R_0020_0022__RESEARCHERS,R_0020_0021__OUTSIDE)
      & has_arg1(R_0020_0017__MAKING,R_0020_0011__LANGUAGE_R_0020_0012__RESOURCES)
      & r_0020_0011__language_r_0020_0012__resources(R_0020_0011__LANGUAGE_R_0020_0012__RESOURCES)
      & has_attrib(R_0020_0011__LANGUAGE_R_0020_0012__RESOURCES,R_0020_0010__JAPANESE)
      & has_attrib(R_0020_0011__LANGUAGE_R_0020_0012__RESOURCES,R_0020_0006__BOTH_R_0020_0008__AND)
      & r_0020_0006__both_r_0020_0008__and(R_0020_0006__BOTH_R_0020_0008__AND)
      & has_conj2(R_0020_0006__BOTH_R_0020_0008__AND,R_0020_0009__EXISTING)
      & has_conj1(R_0020_0006__BOTH_R_0020_0008__AND,R_0020_0007__NEW)
      & has_arg0(R_0020_0017__MAKING,R_0020_0001__NINJAL)
      & has_conj1(R_0020_0016__AND,R_0020_0003__WORKING_R_0020_0005__PUT)
      & r_0020_0003__working_r_0020_0005__put(R_0020_0003__WORKING_R_0020_0005__PUT)
      & has_r_0020_0013__into__nim(R_0020_0003__WORKING_R_0020_0005__PUT,R_0020_0015__FORM)
      & r_0020_0015__form(R_0020_0015__FORM)
      & has_attrib(R_0020_0015__FORM,R_0020_0014__ELECTRONIC)
      & has_arg1(R_0020_0003__WORKING_R_0020_0005__PUT,R_0020_0011__LANGUAGE_R_0020_0012__RESOURCES)
      & has_arg0(R_0020_0003__WORKING_R_0020_0005__PUT,R_0020_0001__NINJAL) ) ).