TSPC 17_a_ninjal

17_a_ninjal_mission
These scholars are also cooperating with local governments to preserve and revitalize these disappearing 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))

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,nim).
arc(r_0017_0005__cooperating,r_0017_0008__governments,r_0017_0006__with__nim).
arc(r_0017_0008__governments,r_0017_0007__local,attrib).
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,inv_arg0).
arc(z_0017_5002,r_0017_0003__are,scope).
arc(z_0017_5002,r_0017_0011__and,restriction).

fof(formula,axiom,
    ? [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_0014__DISAPPEARING,R_0017_0013__THESE_R_0017_0015__VARIETIES,R_0017_0010__PRESERVE,R_0017_0012__REVITALIZE,R_0017_0011__AND,Z_0017_5002] :
      ( 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_0014__disappearing(R_0017_0014__DISAPPEARING)
      & z_0017_5002(Z_0017_5002)
      & has_conj1(Z_0017_5002,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)
      & r_0017_0013__these_r_0017_0015__varieties(R_0017_0013__THESE_R_0017_0015__VARIETIES)
      & has_inv_arg0(R_0017_0013__THESE_R_0017_0015__VARIETIES,R_0017_0014__DISAPPEARING)
      & 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_0017_5002,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__nim(R_0017_0003__ARE_R_0017_0005__COOPERATING,R_0017_0008__GOVERNMENTS)
      & r_0017_0008__governments(R_0017_0008__GOVERNMENTS)
      & has_attrib(R_0017_0008__GOVERNMENTS,R_0017_0007__LOCAL)
      & has_nim(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) ) ).