Context                Previous, Next                Top


22_a_ninjal_mission
All of these corpora allow precision searching, and inviting interfaces have been developed to make them as convenient as possible.

%3 r_0022_0001__All_quant All [quant] r_0022_0005__allow allow r_0022_0001__All_quant->r_0022_0005__allow [scope] z_000_22_a_ninjal_mission_4 r_0022_0001__All_quant->z_000_22_a_ninjal_mission_4 [restriction] r_0022_0005__allow->z_000_22_a_ninjal_mission_4 [arg0] r_0022_0006__precision_r_0022_0007__searching precision searching r_0022_0005__allow->r_0022_0006__precision_r_0022_0007__searching [arg1] r_0022_0003__these_r_0022_0004__corpora these corpora z_000_22_a_ninjal_mission_4->r_0022_0003__these_r_0022_0004__corpora of r_0022_0009__and and r_0022_0009__and->r_0022_0001__All_quant [conj1] z_000_22_a_ninjal_mission_44 r_0022_0009__and->z_000_22_a_ninjal_mission_44 [conj2] r_0022_0012__have have z_000_22_a_ninjal_mission_44->r_0022_0012__have [scope] r_0022_0015__to_r_0022_0016__make to make z_000_22_a_ninjal_mission_44->r_0022_0015__to_r_0022_0016__make [restriction] r_0022_0011__interfaces interfaces r_0022_0010__inviting inviting r_0022_0011__interfaces->r_0022_0010__inviting [attrib] r_0022_0013__been been r_0022_0012__have->r_0022_0013__been [scope] r_0022_0014__developed developed r_0022_0013__been->r_0022_0014__developed [scope] r_0022_0014__developed->r_0022_0011__interfaces [arg1] z_000_22_a_ninjal_mission_40 r_0022_0014__developed->z_000_22_a_ninjal_mission_40 [arg0] r_0022_0015__to_r_0022_0016__make->r_0022_0011__interfaces [arg0] r_0022_0017__them them r_0022_0015__to_r_0022_0016__make->r_0022_0017__them [arg1] r_0022_0019__convenient convenient r_0022_0015__to_r_0022_0016__make->r_0022_0019__convenient [prd] r_0022_0018__as as r_0022_0019__convenient->r_0022_0018__as [qual] z_000_22_a_ninjal_mission_62 r_0022_0019__convenient->z_000_22_a_ninjal_mission_62 as r_0022_0021__possible possible z_000_22_a_ninjal_mission_62->r_0022_0021__possible [attrib] 
arc(r_0022_0001__All_quant, r_0022_0005__allow, scope).
arc(r_0022_0001__All_quant, z_000_22_a_ninjal_mission_4, restriction).
arc(r_0022_0005__allow, r_0022_0006__precision_r_0022_0007__searching, arg1).
arc(r_0022_0005__allow, z_000_22_a_ninjal_mission_4, arg0).
arc(r_0022_0009__and, r_0022_0001__All_quant, conj1).
arc(r_0022_0009__and, z_000_22_a_ninjal_mission_44, conj2).
arc(r_0022_0011__interfaces, r_0022_0010__inviting, attrib29).
arc(r_0022_0012__have, r_0022_0013__been, scope).
arc(r_0022_0013__been, r_0022_0014__developed, scope).
arc(r_0022_0014__developed, r_0022_0011__interfaces, arg1).
arc(r_0022_0014__developed, z_000_22_a_ninjal_mission_40, arg0).
arc(r_0022_0015__to_r_0022_0016__make, r_0022_0011__interfaces, arg0).
arc(r_0022_0015__to_r_0022_0016__make, r_0022_0017__them, arg1).
arc(r_0022_0015__to_r_0022_0016__make, r_0022_0019__convenient, prd).
arc(r_0022_0019__convenient, r_0022_0018__as, qual54).
arc(r_0022_0019__convenient, z_000_22_a_ninjal_mission_62, r_0022_0020__as).
arc(z_000_22_a_ninjal_mission_44, r_0022_0012__have, scope).
arc(z_000_22_a_ninjal_mission_44, r_0022_0015__to_r_0022_0016__make, restriction).
arc(z_000_22_a_ninjal_mission_4, r_0022_0003__these_r_0022_0004__corpora, r_0022_0002__of).
arc(z_000_22_a_ninjal_mission_62, r_0022_0021__possible, attrib63).


%3 r_0022_0001__All_quant All [quant] r_0022_0005__allow allow r_0022_0001__All_quant->r_0022_0005__allow [scope] z_000_22_a_ninjal_mission_4 r_0022_0001__All_quant->z_000_22_a_ninjal_mission_4 [restriction] r_0022_0005__allow->z_000_22_a_ninjal_mission_4 [arg0] r_0022_0006__precision_r_0022_0007__searching precision searching r_0022_0005__allow->r_0022_0006__precision_r_0022_0007__searching [arg1] r_0022_0003__these_r_0022_0004__corpora these corpora z_000_22_a_ninjal_mission_4->r_0022_0003__these_r_0022_0004__corpora of r_0022_0009__and and r_0022_0009__and->r_0022_0001__All_quant [conj1] z_000_22_a_ninjal_mission_44 r_0022_0009__and->z_000_22_a_ninjal_mission_44 [conj2] r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed have been developed z_000_22_a_ninjal_mission_44->r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed [conj2] r_0022_0015__to_r_0022_0016__make to make z_000_22_a_ninjal_mission_44->r_0022_0015__to_r_0022_0016__make [conj1] r_0022_0011__interfaces interfaces r_0022_0010__inviting inviting r_0022_0011__interfaces->r_0022_0010__inviting [attrib] r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed->r_0022_0011__interfaces [arg1] z_000_22_a_ninjal_mission_40 r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed->z_000_22_a_ninjal_mission_40 [arg0] r_0022_0015__to_r_0022_0016__make->r_0022_0011__interfaces [arg0] r_0022_0017__them them r_0022_0015__to_r_0022_0016__make->r_0022_0017__them [arg1] r_0022_0019__convenient convenient r_0022_0015__to_r_0022_0016__make->r_0022_0019__convenient [prd] r_0022_0018__as as r_0022_0019__convenient->r_0022_0018__as [qual] z_000_22_a_ninjal_mission_62 r_0022_0019__convenient->z_000_22_a_ninjal_mission_62 as r_0022_0021__possible possible z_000_22_a_ninjal_mission_62->r_0022_0021__possible [attrib] 
fof(formula,axiom,
    ? [R_22_9_AND,Z_22_A_NINJAL_MISSION_44,R_22_15_TO_MAKE,R_22_17_THEM,R_22_19_CONVENIENT,R_22_18_AS,Z_22_A_NINJAL_MISSION_62,R_22_21_POSSIBLE,R_22_12_HAVE_BEEN_DEVELOPED,Z_22_A_NINJAL_MISSION_40,R_22_11_INTERFACES,R_22_10_INVITING] :
      ( them(R_22_17_THEM)
      & as(R_22_18_AS)
      & possible(R_22_21_POSSIBLE)
      & inviting(R_22_10_INVITING)
      & ! [Z_22_A_NINJAL_MISSION_4,R_22_3_THESE_CORPORA] :
          ( ( these_corpora(R_22_3_THESE_CORPORA)
            & z_22_a_ninjal_mission_4(Z_22_A_NINJAL_MISSION_4)
            & of(Z_22_A_NINJAL_MISSION_4,R_22_3_THESE_CORPORA) )
         => ? [R_22_5_ALLOW,R_22_6_PRECISION_SEARCHING] :
              ( precision_searching(R_22_6_PRECISION_SEARCHING)
              & allow(R_22_5_ALLOW,Z_22_A_NINJAL_MISSION_4,R_22_6_PRECISION_SEARCHING) ) )
      & conj1(CONJ1)
      & and(R_22_9_AND)
      & conj2(R_22_9_AND,Z_22_A_NINJAL_MISSION_44)
      & z_22_a_ninjal_mission_44(Z_22_A_NINJAL_MISSION_44)
      & conj1(Z_22_A_NINJAL_MISSION_44,R_22_15_TO_MAKE)
      & to_make(R_22_15_TO_MAKE,R_22_11_INTERFACES,R_22_17_THEM,R_22_19_CONVENIENT)
      & interfaces(R_22_11_INTERFACES)
      & attrib29(R_22_11_INTERFACES,R_22_10_INVITING)
      & convenient(R_22_19_CONVENIENT)
      & qual54(R_22_19_CONVENIENT,R_22_18_AS)
      & as(R_22_19_CONVENIENT,Z_22_A_NINJAL_MISSION_62)
      & z_22_a_ninjal_mission_62(Z_22_A_NINJAL_MISSION_62)
      & attrib63(Z_22_A_NINJAL_MISSION_62,R_22_21_POSSIBLE)
      & conj2(Z_22_A_NINJAL_MISSION_44,R_22_12_HAVE_BEEN_DEVELOPED)
      & have_been_developed(R_22_12_HAVE_BEEN_DEVELOPED,Z_22_A_NINJAL_MISSION_40,R_22_11_INTERFACES) ) ).


n22_a_ninjal_mission n22_a_ninjal_mission_6 All n22_a_ninjal_mission_9 of n22_a_ninjal_mission_12 these n22_a_ninjal_mission_14 corpora n22_a_ninjal_mission_16 allow n22_a_ninjal_mission_19 precision n22_a_ninjal_mission_21 searching n22_a_ninjal_mission_23 , n22_a_ninjal_mission_26 and n22_a_ninjal_mission_31 inviting n22_a_ninjal_mission_33 interfaces n22_a_ninjal_mission_35 have n22_a_ninjal_mission_38 been n22_a_ninjal_mission_41 * n22_a_ninjal_mission_43 developed n22_a_ninjal_mission_47 to n22_a_ninjal_mission_49 make n22_a_ninjal_mission_52 them n22_a_ninjal_mission_56 as n22_a_ninjal_mission_58 convenient n22_a_ninjal_mission_61 as n22_a_ninjal_mission_65 possible n22_a_ninjal_mission_67 . n22_a_ninjal_mission_1 IP-MAT n22_a_ninjal_mission_2 ILYR n22_a_ninjal_mission_1->n22_a_ninjal_mission_2 n22_a_ninjal_mission_66 PUNC n22_a_ninjal_mission_1->n22_a_ninjal_mission_66 n22_a_ninjal_mission_3 ILYR n22_a_ninjal_mission_2->n22_a_ninjal_mission_3 n22_a_ninjal_mission_22 PUNC n22_a_ninjal_mission_2->n22_a_ninjal_mission_22 n22_a_ninjal_mission_24 CONJP n22_a_ninjal_mission_2->n22_a_ninjal_mission_24 n22_a_ninjal_mission_4 NP-SBJ n22_a_ninjal_mission_3->n22_a_ninjal_mission_4 n22_a_ninjal_mission_15 VBP;_Tn_ n22_a_ninjal_mission_3->n22_a_ninjal_mission_15 n22_a_ninjal_mission_17 NP-OB1 n22_a_ninjal_mission_3->n22_a_ninjal_mission_17 n22_a_ninjal_mission_5 Q;_nphd_ n22_a_ninjal_mission_4->n22_a_ninjal_mission_5 n22_a_ninjal_mission_7 PP n22_a_ninjal_mission_4->n22_a_ninjal_mission_7 n22_a_ninjal_mission_5->n22_a_ninjal_mission_6 n22_a_ninjal_mission_8 P-ROLE n22_a_ninjal_mission_7->n22_a_ninjal_mission_8 n22_a_ninjal_mission_10 NP n22_a_ninjal_mission_7->n22_a_ninjal_mission_10 n22_a_ninjal_mission_8->n22_a_ninjal_mission_9 n22_a_ninjal_mission_11 D n22_a_ninjal_mission_10->n22_a_ninjal_mission_11 n22_a_ninjal_mission_13 N n22_a_ninjal_mission_10->n22_a_ninjal_mission_13 n22_a_ninjal_mission_11->n22_a_ninjal_mission_12 n22_a_ninjal_mission_13->n22_a_ninjal_mission_14 n22_a_ninjal_mission_15->n22_a_ninjal_mission_16 n22_a_ninjal_mission_18 N n22_a_ninjal_mission_17->n22_a_ninjal_mission_18 n22_a_ninjal_mission_20 N n22_a_ninjal_mission_17->n22_a_ninjal_mission_20 n22_a_ninjal_mission_18->n22_a_ninjal_mission_19 n22_a_ninjal_mission_20->n22_a_ninjal_mission_21 n22_a_ninjal_mission_22->n22_a_ninjal_mission_23 n22_a_ninjal_mission_25 CONJ n22_a_ninjal_mission_24->n22_a_ninjal_mission_25 n22_a_ninjal_mission_27 ILYR n22_a_ninjal_mission_24->n22_a_ninjal_mission_27 n22_a_ninjal_mission_25->n22_a_ninjal_mission_26 n22_a_ninjal_mission_28 NP-SBJ n22_a_ninjal_mission_27->n22_a_ninjal_mission_28 n22_a_ninjal_mission_34 HVP;_cat_Ve_ n22_a_ninjal_mission_27->n22_a_ninjal_mission_34 n22_a_ninjal_mission_36 IP-PPL-CAT n22_a_ninjal_mission_27->n22_a_ninjal_mission_36 n22_a_ninjal_mission_44 PP-SCON n22_a_ninjal_mission_27->n22_a_ninjal_mission_44 n22_a_ninjal_mission_29 ADJP n22_a_ninjal_mission_28->n22_a_ninjal_mission_29 n22_a_ninjal_mission_32 NS n22_a_ninjal_mission_28->n22_a_ninjal_mission_32 n22_a_ninjal_mission_30 ADJ n22_a_ninjal_mission_29->n22_a_ninjal_mission_30 n22_a_ninjal_mission_30->n22_a_ninjal_mission_31 n22_a_ninjal_mission_32->n22_a_ninjal_mission_33 n22_a_ninjal_mission_34->n22_a_ninjal_mission_35 n22_a_ninjal_mission_37 BEN;_cat_VePASS_ n22_a_ninjal_mission_36->n22_a_ninjal_mission_37 n22_a_ninjal_mission_39 IP-PPL-CAT n22_a_ninjal_mission_36->n22_a_ninjal_mission_39 n22_a_ninjal_mission_37->n22_a_ninjal_mission_38 n22_a_ninjal_mission_40 NP-LGS n22_a_ninjal_mission_39->n22_a_ninjal_mission_40 n22_a_ninjal_mission_42 VVN;_Tn_ n22_a_ninjal_mission_39->n22_a_ninjal_mission_42 n22_a_ninjal_mission_40->n22_a_ninjal_mission_41 n22_a_ninjal_mission_42->n22_a_ninjal_mission_43 n22_a_ninjal_mission_45 IP-INF n22_a_ninjal_mission_44->n22_a_ninjal_mission_45 n22_a_ninjal_mission_46 TO n22_a_ninjal_mission_45->n22_a_ninjal_mission_46 n22_a_ninjal_mission_48 VB;_Cn.a_ n22_a_ninjal_mission_45->n22_a_ninjal_mission_48 n22_a_ninjal_mission_50 NP-OB1 n22_a_ninjal_mission_45->n22_a_ninjal_mission_50 n22_a_ninjal_mission_53 ADJP-PRD n22_a_ninjal_mission_45->n22_a_ninjal_mission_53 n22_a_ninjal_mission_46->n22_a_ninjal_mission_47 n22_a_ninjal_mission_48->n22_a_ninjal_mission_49 n22_a_ninjal_mission_51 PRO n22_a_ninjal_mission_50->n22_a_ninjal_mission_51 n22_a_ninjal_mission_51->n22_a_ninjal_mission_52 n22_a_ninjal_mission_54 ADVP n22_a_ninjal_mission_53->n22_a_ninjal_mission_54 n22_a_ninjal_mission_57 ADJ n22_a_ninjal_mission_53->n22_a_ninjal_mission_57 n22_a_ninjal_mission_59 PP n22_a_ninjal_mission_53->n22_a_ninjal_mission_59 n22_a_ninjal_mission_55 ADV n22_a_ninjal_mission_54->n22_a_ninjal_mission_55 n22_a_ninjal_mission_55->n22_a_ninjal_mission_56 n22_a_ninjal_mission_57->n22_a_ninjal_mission_58 n22_a_ninjal_mission_60 P-ROLE n22_a_ninjal_mission_59->n22_a_ninjal_mission_60 n22_a_ninjal_mission_62 NP n22_a_ninjal_mission_59->n22_a_ninjal_mission_62 n22_a_ninjal_mission_60->n22_a_ninjal_mission_61 n22_a_ninjal_mission_63 ADJP n22_a_ninjal_mission_62->n22_a_ninjal_mission_63 n22_a_ninjal_mission_64 ADJ n22_a_ninjal_mission_63->n22_a_ninjal_mission_64 n22_a_ninjal_mission_64->n22_a_ninjal_mission_65 n22_a_ninjal_mission_66->n22_a_ninjal_mission_67 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{CORPORA} (Q;_nphd_ All;{all})
                                        (PP (P-ROLE of;{of})
                                            (NP (D these;{these})
                                                (N corpora;{corpus}))))
                      (VBP;_Tn_ allow;{allow})
                      (NP-OB1 (N precision;{precision})
                              (N searching;{searching})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (ADJP (ADJ inviting;{inviting}))
                                     (NS interfaces;{interface}))
                             (HVP;_cat_Ve_ have;{have})
                             (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;_Tn_ developed;{develop})))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_Cn.a_ make;{make})
                                              (NP-OB1;{CORPORA} (PRO them;{they}))
                                              (ADJP-PRD (ADVP (ADV as;{as}))
                                                        (ADJ convenient;{convenient})
                                                        (PP (P-ROLE as;{as})
                                                            (NP (ADJP (ADJ possible;{possible}))))))))))
          (PUNC .))
  (ID 22_a_ninjal_mission))