TSPC 30_a_ninjal

30_a_ninjal_mission
This series is an unprecedented undertaking; there is no comparably comprehensive treatment of any other language.

( (IP-MAT (NP-SBJ;{SERIES} (D This;{this})
                           (NS series;{series}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D an;{an})
                  (ADJP (ADJ unprecedented;{unprecedented}))
                  (N undertaking;{undertaking}))
          (PUNC ;)
          (PRN (IP-MAT (EX there;{there})
                       (BEP;_ex_V_ is;{be})
                       (NP-ESBJ (Q no;{no})
                                (ADJP (ADVP (ADV comparably;{comparably}))
                                      (ADJ comprehensive;{comprehensive}))
                                (N treatment;{treatment})
                                (PP (P-ROLE of;{of})
                                    (NP (D any;{any})
                                        (ADJP (ADJ other;{other}))
                                        (N language;{language}))))))
          (PUNC .))
  (ID 30_a_ninjal_mission))

arc(r_0030_0003__is,r_0030_0001__This_r_0030_0002__series,arg0).
arc(r_0030_0003__is,r_0030_0004__an_r_0030_0006__undertaking,prd).
arc(r_0030_0003__is,r_0030_0010__no__quant,prn).
arc(r_0030_0004__an_r_0030_0006__undertaking,r_0030_0005__unprecedented,attrib).
arc(r_0030_0009__is,r_0030_0013__treatment,arg0).
arc(r_0030_0010__no__quant,r_0030_0009__is,scope).
arc(r_0030_0010__no__quant,r_0030_0013__treatment,restriction).
arc(r_0030_0012__comprehensive,r_0030_0011__comparably,qual).
arc(r_0030_0013__treatment,r_0030_0012__comprehensive,attrib).
arc(r_0030_0013__treatment,r_0030_0015__any_r_0030_0017__language,r_0030_0014__of).
arc(r_0030_0015__any_r_0030_0017__language,r_0030_0016__other,attrib).

fof(formula,axiom,
    ? [R_0030_0001__THIS_R_0030_0002__SERIES,R_0030_0005__UNPRECEDENTED,R_0030_0004__AN_R_0030_0006__UNDERTAKING,R_0030_0003__IS] :
      ( r_0030_0001__This_r_0030_0002__series(R_0030_0001__THIS_R_0030_0002__SERIES)
      & r_0030_0005__unprecedented(R_0030_0005__UNPRECEDENTED)
      & r_0030_0003__is(R_0030_0003__IS)
      & ! [R_0030_0013__TREATMENT,R_0030_0011__COMPARABLY,R_0030_0012__COMPREHENSIVE,R_0030_0016__OTHER,R_0030_0015__ANY_R_0030_0017__LANGUAGE] :
          ( ( r_0030_0011__comparably(R_0030_0011__COMPARABLY)
            & r_0030_0016__other(R_0030_0016__OTHER)
            & r_0030_0013__treatment(R_0030_0013__TREATMENT)
            & has_r_0030_0014__of(R_0030_0013__TREATMENT,R_0030_0015__ANY_R_0030_0017__LANGUAGE)
            & r_0030_0015__any_r_0030_0017__language(R_0030_0015__ANY_R_0030_0017__LANGUAGE)
            & has_attrib(R_0030_0015__ANY_R_0030_0017__LANGUAGE,R_0030_0016__OTHER)
            & has_attrib(R_0030_0013__TREATMENT,R_0030_0012__COMPREHENSIVE)
            & r_0030_0012__comprehensive(R_0030_0012__COMPREHENSIVE)
            & has_qual(R_0030_0012__COMPREHENSIVE,R_0030_0011__COMPARABLY) )
         => ? [R_0030_0009__IS] :
              ( r_0030_0009__is(R_0030_0009__IS)
              & has_arg0(R_0030_0009__IS,R_0030_0013__TREATMENT) ) )
      & has_prd(R_0030_0003__IS,R_0030_0004__AN_R_0030_0006__UNDERTAKING)
      & r_0030_0004__an_r_0030_0006__undertaking(R_0030_0004__AN_R_0030_0006__UNDERTAKING)
      & has_attrib(R_0030_0004__AN_R_0030_0006__UNDERTAKING,R_0030_0005__UNPRECEDENTED)
      & has_arg0(R_0030_0003__IS,R_0030_0001__THIS_R_0030_0002__SERIES) ) ).