Context                Previous, Next                Top


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

%3 r_0030_0003__is is r_0030_0001__This_r_0030_0002__series This series r_0030_0003__is->r_0030_0001__This_r_0030_0002__series [arg0] r_0030_0004__an_r_0030_0006__undertaking an undertaking r_0030_0003__is->r_0030_0004__an_r_0030_0006__undertaking [prd] r_0030_0005__unprecedented unprecedented r_0030_0004__an_r_0030_0006__undertaking->r_0030_0005__unprecedented [attrib] 
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_0004__an_r_0030_0006__undertaking, r_0030_0005__unprecedented, attrib12).


%3 r_0030_0004__an_r_0030_0006__undertaking an undertaking r_0030_0005__unprecedented unprecedented r_0030_0004__an_r_0030_0006__undertaking->r_0030_0005__unprecedented [attrib] r_0030_0003__is is r_0030_0003__is->r_0030_0004__an_r_0030_0006__undertaking [prd] r_0030_0001__This_r_0030_0002__series This series r_0030_0003__is->r_0030_0001__This_r_0030_0002__series [arg0] 
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)
      & 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_attrib12(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) ) ).


n30_a_ninjal_mission n30_a_ninjal_mission__1_1_1_1 This n30_a_ninjal_mission__1_1_2_1 series n30_a_ninjal_mission__1_2_1 is n30_a_ninjal_mission__1_3_1_1 an n30_a_ninjal_mission__1_3_2_1_1 unprecedented n30_a_ninjal_mission__1_3_3_1 undertaking n30_a_ninjal_mission__1_4_1 ; n30_a_ninjal_mission__1_5_1_1_1 there n30_a_ninjal_mission__1_5_1_2_1 is n30_a_ninjal_mission__1_5_1_3_1_1 no n30_a_ninjal_mission__1_5_1_3_2_1_1_1 comparably n30_a_ninjal_mission__1_5_1_3_2_2_1 comprehensive n30_a_ninjal_mission__1_5_1_3_3_1 treatment n30_a_ninjal_mission__1_5_1_3_4_1_1 of n30_a_ninjal_mission__1_5_1_3_4_2_1_1 any n30_a_ninjal_mission__1_5_1_3_4_2_2_1_1 other n30_a_ninjal_mission__1_5_1_3_4_2_3_1 language n30_a_ninjal_mission__1_6_1 . n30_a_ninjal_mission__1 IP-MAT n30_a_ninjal_mission__1_1 NP-SBJ n30_a_ninjal_mission__1->n30_a_ninjal_mission__1_1 n30_a_ninjal_mission__1_2 BEP;_Ln_ n30_a_ninjal_mission__1->n30_a_ninjal_mission__1_2 n30_a_ninjal_mission__1_3 NP-PRD n30_a_ninjal_mission__1->n30_a_ninjal_mission__1_3 n30_a_ninjal_mission__1_4 PUNC n30_a_ninjal_mission__1->n30_a_ninjal_mission__1_4 n30_a_ninjal_mission__1_5 PRN n30_a_ninjal_mission__1->n30_a_ninjal_mission__1_5 n30_a_ninjal_mission__1_6 PUNC n30_a_ninjal_mission__1->n30_a_ninjal_mission__1_6 n30_a_ninjal_mission__1_1_1 D n30_a_ninjal_mission__1_1->n30_a_ninjal_mission__1_1_1 n30_a_ninjal_mission__1_1_2 NS n30_a_ninjal_mission__1_1->n30_a_ninjal_mission__1_1_2 n30_a_ninjal_mission__1_1_1->n30_a_ninjal_mission__1_1_1_1 n30_a_ninjal_mission__1_1_2->n30_a_ninjal_mission__1_1_2_1 n30_a_ninjal_mission__1_2->n30_a_ninjal_mission__1_2_1 n30_a_ninjal_mission__1_3_1 D n30_a_ninjal_mission__1_3->n30_a_ninjal_mission__1_3_1 n30_a_ninjal_mission__1_3_2 ADJP n30_a_ninjal_mission__1_3->n30_a_ninjal_mission__1_3_2 n30_a_ninjal_mission__1_3_3 N n30_a_ninjal_mission__1_3->n30_a_ninjal_mission__1_3_3 n30_a_ninjal_mission__1_3_1->n30_a_ninjal_mission__1_3_1_1 n30_a_ninjal_mission__1_3_2_1 ADJ n30_a_ninjal_mission__1_3_2->n30_a_ninjal_mission__1_3_2_1 n30_a_ninjal_mission__1_3_2_1->n30_a_ninjal_mission__1_3_2_1_1 n30_a_ninjal_mission__1_3_3->n30_a_ninjal_mission__1_3_3_1 n30_a_ninjal_mission__1_4->n30_a_ninjal_mission__1_4_1 n30_a_ninjal_mission__1_5_1 IP-MAT n30_a_ninjal_mission__1_5->n30_a_ninjal_mission__1_5_1 n30_a_ninjal_mission__1_5_1_1 EX n30_a_ninjal_mission__1_5_1->n30_a_ninjal_mission__1_5_1_1 n30_a_ninjal_mission__1_5_1_2 BEP;_ex_V_ n30_a_ninjal_mission__1_5_1->n30_a_ninjal_mission__1_5_1_2 n30_a_ninjal_mission__1_5_1_3 NP-ESBJ n30_a_ninjal_mission__1_5_1->n30_a_ninjal_mission__1_5_1_3 n30_a_ninjal_mission__1_5_1_1->n30_a_ninjal_mission__1_5_1_1_1 n30_a_ninjal_mission__1_5_1_2->n30_a_ninjal_mission__1_5_1_2_1 n30_a_ninjal_mission__1_5_1_3_1 Q n30_a_ninjal_mission__1_5_1_3->n30_a_ninjal_mission__1_5_1_3_1 n30_a_ninjal_mission__1_5_1_3_2 ADJP n30_a_ninjal_mission__1_5_1_3->n30_a_ninjal_mission__1_5_1_3_2 n30_a_ninjal_mission__1_5_1_3_3 N n30_a_ninjal_mission__1_5_1_3->n30_a_ninjal_mission__1_5_1_3_3 n30_a_ninjal_mission__1_5_1_3_4 PP n30_a_ninjal_mission__1_5_1_3->n30_a_ninjal_mission__1_5_1_3_4 n30_a_ninjal_mission__1_5_1_3_1->n30_a_ninjal_mission__1_5_1_3_1_1 n30_a_ninjal_mission__1_5_1_3_2_1 ADVP n30_a_ninjal_mission__1_5_1_3_2->n30_a_ninjal_mission__1_5_1_3_2_1 n30_a_ninjal_mission__1_5_1_3_2_2 ADJ n30_a_ninjal_mission__1_5_1_3_2->n30_a_ninjal_mission__1_5_1_3_2_2 n30_a_ninjal_mission__1_5_1_3_2_1_1 ADV n30_a_ninjal_mission__1_5_1_3_2_1->n30_a_ninjal_mission__1_5_1_3_2_1_1 n30_a_ninjal_mission__1_5_1_3_2_1_1->n30_a_ninjal_mission__1_5_1_3_2_1_1_1 n30_a_ninjal_mission__1_5_1_3_2_2->n30_a_ninjal_mission__1_5_1_3_2_2_1 n30_a_ninjal_mission__1_5_1_3_3->n30_a_ninjal_mission__1_5_1_3_3_1 n30_a_ninjal_mission__1_5_1_3_4_1 P-ROLE n30_a_ninjal_mission__1_5_1_3_4->n30_a_ninjal_mission__1_5_1_3_4_1 n30_a_ninjal_mission__1_5_1_3_4_2 NP n30_a_ninjal_mission__1_5_1_3_4->n30_a_ninjal_mission__1_5_1_3_4_2 n30_a_ninjal_mission__1_5_1_3_4_1->n30_a_ninjal_mission__1_5_1_3_4_1_1 n30_a_ninjal_mission__1_5_1_3_4_2_1 D n30_a_ninjal_mission__1_5_1_3_4_2->n30_a_ninjal_mission__1_5_1_3_4_2_1 n30_a_ninjal_mission__1_5_1_3_4_2_2 ADJP n30_a_ninjal_mission__1_5_1_3_4_2->n30_a_ninjal_mission__1_5_1_3_4_2_2 n30_a_ninjal_mission__1_5_1_3_4_2_3 N n30_a_ninjal_mission__1_5_1_3_4_2->n30_a_ninjal_mission__1_5_1_3_4_2_3 n30_a_ninjal_mission__1_5_1_3_4_2_1->n30_a_ninjal_mission__1_5_1_3_4_2_1_1 n30_a_ninjal_mission__1_5_1_3_4_2_2_1 ADJ n30_a_ninjal_mission__1_5_1_3_4_2_2->n30_a_ninjal_mission__1_5_1_3_4_2_2_1 n30_a_ninjal_mission__1_5_1_3_4_2_2_1->n30_a_ninjal_mission__1_5_1_3_4_2_2_1_1 n30_a_ninjal_mission__1_5_1_3_4_2_3->n30_a_ninjal_mission__1_5_1_3_4_2_3_1 n30_a_ninjal_mission__1_6->n30_a_ninjal_mission__1_6_1 
( (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))