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_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] 
fof(formula,axiom,
    ? [R_30_3_IS,R_30_1_THIS_SERIES,R_30_4_AN_UNDERTAKING,R_30_5_UNPRECEDENTED] :
      ( this_series(R_30_1_THIS_SERIES)
      & unprecedented(R_30_5_UNPRECEDENTED)
      & is(R_30_3_IS,R_30_1_THIS_SERIES,R_30_4_AN_UNDERTAKING)
      & an_undertaking(R_30_4_AN_UNDERTAKING)
      & attrib12(R_30_4_AN_UNDERTAKING,R_30_5_UNPRECEDENTED) ) ).


n30_a_ninjal_mission n30_a_ninjal_mission_4 This n30_a_ninjal_mission_6 series n30_a_ninjal_mission_8 is n30_a_ninjal_mission_11 an n30_a_ninjal_mission_14 unprecedented n30_a_ninjal_mission_16 undertaking n30_a_ninjal_mission_18 ; n30_a_ninjal_mission_22 there n30_a_ninjal_mission_24 is n30_a_ninjal_mission_27 no n30_a_ninjal_mission_31 comparably n30_a_ninjal_mission_33 comprehensive n30_a_ninjal_mission_35 treatment n30_a_ninjal_mission_38 of n30_a_ninjal_mission_41 any n30_a_ninjal_mission_44 other n30_a_ninjal_mission_46 language n30_a_ninjal_mission_48 . n30_a_ninjal_mission_1 IP-MAT n30_a_ninjal_mission_2 NP-SBJ n30_a_ninjal_mission_1->n30_a_ninjal_mission_2 n30_a_ninjal_mission_7 BEP;_Ln_ n30_a_ninjal_mission_1->n30_a_ninjal_mission_7 n30_a_ninjal_mission_9 NP-PRD n30_a_ninjal_mission_1->n30_a_ninjal_mission_9 n30_a_ninjal_mission_17 PUNC n30_a_ninjal_mission_1->n30_a_ninjal_mission_17 n30_a_ninjal_mission_19 PRN n30_a_ninjal_mission_1->n30_a_ninjal_mission_19 n30_a_ninjal_mission_47 PUNC n30_a_ninjal_mission_1->n30_a_ninjal_mission_47 n30_a_ninjal_mission_3 D n30_a_ninjal_mission_2->n30_a_ninjal_mission_3 n30_a_ninjal_mission_5 NS n30_a_ninjal_mission_2->n30_a_ninjal_mission_5 n30_a_ninjal_mission_3->n30_a_ninjal_mission_4 n30_a_ninjal_mission_5->n30_a_ninjal_mission_6 n30_a_ninjal_mission_7->n30_a_ninjal_mission_8 n30_a_ninjal_mission_10 D n30_a_ninjal_mission_9->n30_a_ninjal_mission_10 n30_a_ninjal_mission_12 ADJP n30_a_ninjal_mission_9->n30_a_ninjal_mission_12 n30_a_ninjal_mission_15 N n30_a_ninjal_mission_9->n30_a_ninjal_mission_15 n30_a_ninjal_mission_10->n30_a_ninjal_mission_11 n30_a_ninjal_mission_13 ADJ n30_a_ninjal_mission_12->n30_a_ninjal_mission_13 n30_a_ninjal_mission_13->n30_a_ninjal_mission_14 n30_a_ninjal_mission_15->n30_a_ninjal_mission_16 n30_a_ninjal_mission_17->n30_a_ninjal_mission_18 n30_a_ninjal_mission_20 IP-MAT n30_a_ninjal_mission_19->n30_a_ninjal_mission_20 n30_a_ninjal_mission_21 EX n30_a_ninjal_mission_20->n30_a_ninjal_mission_21 n30_a_ninjal_mission_23 BEP;_ex_V_ n30_a_ninjal_mission_20->n30_a_ninjal_mission_23 n30_a_ninjal_mission_25 NP-ESBJ n30_a_ninjal_mission_20->n30_a_ninjal_mission_25 n30_a_ninjal_mission_21->n30_a_ninjal_mission_22 n30_a_ninjal_mission_23->n30_a_ninjal_mission_24 n30_a_ninjal_mission_26 Q n30_a_ninjal_mission_25->n30_a_ninjal_mission_26 n30_a_ninjal_mission_28 ADJP n30_a_ninjal_mission_25->n30_a_ninjal_mission_28 n30_a_ninjal_mission_34 N n30_a_ninjal_mission_25->n30_a_ninjal_mission_34 n30_a_ninjal_mission_36 PP n30_a_ninjal_mission_25->n30_a_ninjal_mission_36 n30_a_ninjal_mission_26->n30_a_ninjal_mission_27 n30_a_ninjal_mission_29 ADVP n30_a_ninjal_mission_28->n30_a_ninjal_mission_29 n30_a_ninjal_mission_32 ADJ n30_a_ninjal_mission_28->n30_a_ninjal_mission_32 n30_a_ninjal_mission_30 ADV n30_a_ninjal_mission_29->n30_a_ninjal_mission_30 n30_a_ninjal_mission_30->n30_a_ninjal_mission_31 n30_a_ninjal_mission_32->n30_a_ninjal_mission_33 n30_a_ninjal_mission_34->n30_a_ninjal_mission_35 n30_a_ninjal_mission_37 P-ROLE n30_a_ninjal_mission_36->n30_a_ninjal_mission_37 n30_a_ninjal_mission_39 NP n30_a_ninjal_mission_36->n30_a_ninjal_mission_39 n30_a_ninjal_mission_37->n30_a_ninjal_mission_38 n30_a_ninjal_mission_40 D n30_a_ninjal_mission_39->n30_a_ninjal_mission_40 n30_a_ninjal_mission_42 ADJP n30_a_ninjal_mission_39->n30_a_ninjal_mission_42 n30_a_ninjal_mission_45 N n30_a_ninjal_mission_39->n30_a_ninjal_mission_45 n30_a_ninjal_mission_40->n30_a_ninjal_mission_41 n30_a_ninjal_mission_43 ADJ n30_a_ninjal_mission_42->n30_a_ninjal_mission_43 n30_a_ninjal_mission_43->n30_a_ninjal_mission_44 n30_a_ninjal_mission_45->n30_a_ninjal_mission_46 n30_a_ninjal_mission_47->n30_a_ninjal_mission_48 
( (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))