arc(r_0017_0003__are, r_0017_0005__cooperating, scope).
arc(r_0017_0005__cooperating, r_0017_0001__These_r_0017_0002__scholars, arg0).
arc(r_0017_0005__cooperating, r_0017_0004__also, nim10).
arc(r_0017_0005__cooperating, r_0017_0008__governments, r_0017_0006__with_nim18).
arc(r_0017_0008__governments, r_0017_0007__local, attrib19).
arc(r_0017_0010__preserve, r_0017_0001__These_r_0017_0002__scholars, arg0).
arc(r_0017_0010__preserve, r_0017_0013__these_r_0017_0015__varieties, arg1).
arc(r_0017_0011__and, r_0017_0010__preserve, conj1).
arc(r_0017_0011__and, r_0017_0012__revitalize, conj2).
arc(r_0017_0012__revitalize, r_0017_0001__These_r_0017_0002__scholars, arg0).
arc(r_0017_0012__revitalize, r_0017_0013__these_r_0017_0015__varieties, arg1).
arc(r_0017_0014__disappearing, r_0017_0013__these_r_0017_0015__varieties, arg0).
arc(z_000_17_a_ninjal_mission_24, r_0017_0003__are, scope).
arc(z_000_17_a_ninjal_mission_24, r_0017_0011__and, restriction).

fof(formula,axiom,
    ? [R_0017_0013__THESE_R_0017_0015__VARIETIES,R_0017_0014__DISAPPEARING,R_0017_0001__THESE_R_0017_0002__SCHOLARS,R_0017_0004__ALSO,R_0017_0007__LOCAL,R_0017_0008__GOVERNMENTS,R_0017_0003__ARE_R_0017_0005__COOPERATING,R_0017_0010__PRESERVE,R_0017_0012__REVITALIZE,R_0017_0011__AND,Z_000_17_A_NINJAL_MISSION_24] :
      ( r_0017_0001__These_r_0017_0002__scholars(R_0017_0001__THESE_R_0017_0002__SCHOLARS)
      & r_0017_0004__also(R_0017_0004__ALSO)
      & r_0017_0007__local(R_0017_0007__LOCAL)
      & r_0017_0013__these_r_0017_0015__varieties(R_0017_0013__THESE_R_0017_0015__VARIETIES)
      & z_000_17_a_ninjal_mission_24(Z_000_17_A_NINJAL_MISSION_24)
      & has_conj1(Z_000_17_A_NINJAL_MISSION_24,R_0017_0011__AND)
      & r_0017_0011__and(R_0017_0011__AND)
      & has_conj2(R_0017_0011__AND,R_0017_0012__REVITALIZE)
      & r_0017_0012__revitalize(R_0017_0012__REVITALIZE)
      & has_arg1(R_0017_0012__REVITALIZE,R_0017_0013__THESE_R_0017_0015__VARIETIES)
      & has_arg0(R_0017_0012__REVITALIZE,R_0017_0001__THESE_R_0017_0002__SCHOLARS)
      & has_conj1(R_0017_0011__AND,R_0017_0010__PRESERVE)
      & r_0017_0010__preserve(R_0017_0010__PRESERVE)
      & has_arg1(R_0017_0010__PRESERVE,R_0017_0013__THESE_R_0017_0015__VARIETIES)
      & has_arg0(R_0017_0010__PRESERVE,R_0017_0001__THESE_R_0017_0002__SCHOLARS)
      & has_conj2(Z_000_17_A_NINJAL_MISSION_24,R_0017_0003__ARE_R_0017_0005__COOPERATING)
      & r_0017_0003__are_r_0017_0005__cooperating(R_0017_0003__ARE_R_0017_0005__COOPERATING)
      & has_r_0017_0006__with_nim18(R_0017_0003__ARE_R_0017_0005__COOPERATING,R_0017_0008__GOVERNMENTS)
      & r_0017_0008__governments(R_0017_0008__GOVERNMENTS)
      & has_attrib19(R_0017_0008__GOVERNMENTS,R_0017_0007__LOCAL)
      & has_nim10(R_0017_0003__ARE_R_0017_0005__COOPERATING,R_0017_0004__ALSO)
      & has_arg0(R_0017_0003__ARE_R_0017_0005__COOPERATING,R_0017_0001__THESE_R_0017_0002__SCHOLARS)
      & r_0017_0014__disappearing(R_0017_0014__DISAPPEARING)
      & has_arg0(R_0017_0014__DISAPPEARING,R_0017_0013__THESE_R_0017_0015__VARIETIES) ) ).

( (IP-MAT (NP-SBJ (D These;{these})
                  (NS scholars;{scholar}))
          (BEP;_cat_Vg_ are;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV also;{also}))
                      (VAG;_I_ cooperating;{cooperate})
                      (PP-NIM (P-ROLE with;{with})
                              (NP (ADJP (ADJ local;{local}))
                                  (NS governments;{government}))))
          (PP-SCON (IP-INF (TO to;{to})
                           (ILYR (ILYR (VB;_Tn_ preserve;{preserve}))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (VB;_Tn_ revitalize;{revitalize}))))
                           (NP-OB1 (D these;{these})
                                   (IP-PPL (VAG;_I_ disappearing;{disappear}))
                                   (NS varieties;{variety}))))
          (PUNC .))
  (ID 17_a_ninjal_mission))