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

n22_a_ninjal_mission n22_a_ninjal_mission__1_1_1_1_1_1 All n22_a_ninjal_mission__1_1_1_1_2_1_1 of n22_a_ninjal_mission__1_1_1_1_2_2_1_1 these n22_a_ninjal_mission__1_1_1_1_2_2_2_1 corpora n22_a_ninjal_mission__1_1_1_2_1 allow n22_a_ninjal_mission__1_1_1_3_1_1 precision n22_a_ninjal_mission__1_1_1_3_2_1 searching n22_a_ninjal_mission__1_1_2_1 , n22_a_ninjal_mission__1_1_3_1_1 and n22_a_ninjal_mission__1_1_3_2_1_1_1_1 inviting n22_a_ninjal_mission__1_1_3_2_1_2_1 interfaces n22_a_ninjal_mission__1_1_3_2_2_1 have n22_a_ninjal_mission__1_1_3_2_3_1_1 been n22_a_ninjal_mission__1_1_3_2_3_2_1_1 * n22_a_ninjal_mission__1_1_3_2_3_2_2_1 developed n22_a_ninjal_mission__1_1_3_2_4_1_1_1 to n22_a_ninjal_mission__1_1_3_2_4_1_2_1 make n22_a_ninjal_mission__1_1_3_2_4_1_3_1_1 them n22_a_ninjal_mission__1_1_3_2_4_1_4_1_1_1 as n22_a_ninjal_mission__1_1_3_2_4_1_4_2_1 convenient n22_a_ninjal_mission__1_1_3_2_4_1_4_3_1_1 as n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2_1_1 possible n22_a_ninjal_mission__1_2_1 . n22_a_ninjal_mission__1 IP-MAT n22_a_ninjal_mission__1_1 ILYR n22_a_ninjal_mission__1->n22_a_ninjal_mission__1_1 n22_a_ninjal_mission__1_2 PUNC n22_a_ninjal_mission__1->n22_a_ninjal_mission__1_2 n22_a_ninjal_mission__1_1_1 ILYR n22_a_ninjal_mission__1_1->n22_a_ninjal_mission__1_1_1 n22_a_ninjal_mission__1_1_2 PUNC n22_a_ninjal_mission__1_1->n22_a_ninjal_mission__1_1_2 n22_a_ninjal_mission__1_1_3 CONJP n22_a_ninjal_mission__1_1->n22_a_ninjal_mission__1_1_3 n22_a_ninjal_mission__1_1_1_1 NP-SBJ n22_a_ninjal_mission__1_1_1->n22_a_ninjal_mission__1_1_1_1 n22_a_ninjal_mission__1_1_1_2 VBP;_Tn_ n22_a_ninjal_mission__1_1_1->n22_a_ninjal_mission__1_1_1_2 n22_a_ninjal_mission__1_1_1_3 NP-OB1 n22_a_ninjal_mission__1_1_1->n22_a_ninjal_mission__1_1_1_3 n22_a_ninjal_mission__1_1_1_1_1 Q;_nphd_ n22_a_ninjal_mission__1_1_1_1->n22_a_ninjal_mission__1_1_1_1_1 n22_a_ninjal_mission__1_1_1_1_2 PP n22_a_ninjal_mission__1_1_1_1->n22_a_ninjal_mission__1_1_1_1_2 n22_a_ninjal_mission__1_1_1_1_1->n22_a_ninjal_mission__1_1_1_1_1_1 n22_a_ninjal_mission__1_1_1_1_2_1 P-ROLE n22_a_ninjal_mission__1_1_1_1_2->n22_a_ninjal_mission__1_1_1_1_2_1 n22_a_ninjal_mission__1_1_1_1_2_2 NP n22_a_ninjal_mission__1_1_1_1_2->n22_a_ninjal_mission__1_1_1_1_2_2 n22_a_ninjal_mission__1_1_1_1_2_1->n22_a_ninjal_mission__1_1_1_1_2_1_1 n22_a_ninjal_mission__1_1_1_1_2_2_1 D n22_a_ninjal_mission__1_1_1_1_2_2->n22_a_ninjal_mission__1_1_1_1_2_2_1 n22_a_ninjal_mission__1_1_1_1_2_2_2 N n22_a_ninjal_mission__1_1_1_1_2_2->n22_a_ninjal_mission__1_1_1_1_2_2_2 n22_a_ninjal_mission__1_1_1_1_2_2_1->n22_a_ninjal_mission__1_1_1_1_2_2_1_1 n22_a_ninjal_mission__1_1_1_1_2_2_2->n22_a_ninjal_mission__1_1_1_1_2_2_2_1 n22_a_ninjal_mission__1_1_1_2->n22_a_ninjal_mission__1_1_1_2_1 n22_a_ninjal_mission__1_1_1_3_1 N n22_a_ninjal_mission__1_1_1_3->n22_a_ninjal_mission__1_1_1_3_1 n22_a_ninjal_mission__1_1_1_3_2 N n22_a_ninjal_mission__1_1_1_3->n22_a_ninjal_mission__1_1_1_3_2 n22_a_ninjal_mission__1_1_1_3_1->n22_a_ninjal_mission__1_1_1_3_1_1 n22_a_ninjal_mission__1_1_1_3_2->n22_a_ninjal_mission__1_1_1_3_2_1 n22_a_ninjal_mission__1_1_2->n22_a_ninjal_mission__1_1_2_1 n22_a_ninjal_mission__1_1_3_1 CONJ n22_a_ninjal_mission__1_1_3->n22_a_ninjal_mission__1_1_3_1 n22_a_ninjal_mission__1_1_3_2 ILYR n22_a_ninjal_mission__1_1_3->n22_a_ninjal_mission__1_1_3_2 n22_a_ninjal_mission__1_1_3_1->n22_a_ninjal_mission__1_1_3_1_1 n22_a_ninjal_mission__1_1_3_2_1 NP-SBJ n22_a_ninjal_mission__1_1_3_2->n22_a_ninjal_mission__1_1_3_2_1 n22_a_ninjal_mission__1_1_3_2_2 HVP;_cat_Ve_ n22_a_ninjal_mission__1_1_3_2->n22_a_ninjal_mission__1_1_3_2_2 n22_a_ninjal_mission__1_1_3_2_3 IP-PPL-CAT n22_a_ninjal_mission__1_1_3_2->n22_a_ninjal_mission__1_1_3_2_3 n22_a_ninjal_mission__1_1_3_2_4 PP-SCON n22_a_ninjal_mission__1_1_3_2->n22_a_ninjal_mission__1_1_3_2_4 n22_a_ninjal_mission__1_1_3_2_1_1 ADJP n22_a_ninjal_mission__1_1_3_2_1->n22_a_ninjal_mission__1_1_3_2_1_1 n22_a_ninjal_mission__1_1_3_2_1_2 NS n22_a_ninjal_mission__1_1_3_2_1->n22_a_ninjal_mission__1_1_3_2_1_2 n22_a_ninjal_mission__1_1_3_2_1_1_1 ADJ n22_a_ninjal_mission__1_1_3_2_1_1->n22_a_ninjal_mission__1_1_3_2_1_1_1 n22_a_ninjal_mission__1_1_3_2_1_1_1->n22_a_ninjal_mission__1_1_3_2_1_1_1_1 n22_a_ninjal_mission__1_1_3_2_1_2->n22_a_ninjal_mission__1_1_3_2_1_2_1 n22_a_ninjal_mission__1_1_3_2_2->n22_a_ninjal_mission__1_1_3_2_2_1 n22_a_ninjal_mission__1_1_3_2_3_1 BEN;_cat_VePASS_ n22_a_ninjal_mission__1_1_3_2_3->n22_a_ninjal_mission__1_1_3_2_3_1 n22_a_ninjal_mission__1_1_3_2_3_2 IP-PPL-CAT n22_a_ninjal_mission__1_1_3_2_3->n22_a_ninjal_mission__1_1_3_2_3_2 n22_a_ninjal_mission__1_1_3_2_3_1->n22_a_ninjal_mission__1_1_3_2_3_1_1 n22_a_ninjal_mission__1_1_3_2_3_2_1 NP-LGS n22_a_ninjal_mission__1_1_3_2_3_2->n22_a_ninjal_mission__1_1_3_2_3_2_1 n22_a_ninjal_mission__1_1_3_2_3_2_2 VVN;_Tn_ n22_a_ninjal_mission__1_1_3_2_3_2->n22_a_ninjal_mission__1_1_3_2_3_2_2 n22_a_ninjal_mission__1_1_3_2_3_2_1->n22_a_ninjal_mission__1_1_3_2_3_2_1_1 n22_a_ninjal_mission__1_1_3_2_3_2_2->n22_a_ninjal_mission__1_1_3_2_3_2_2_1 n22_a_ninjal_mission__1_1_3_2_4_1 IP-INF n22_a_ninjal_mission__1_1_3_2_4->n22_a_ninjal_mission__1_1_3_2_4_1 n22_a_ninjal_mission__1_1_3_2_4_1_1 TO n22_a_ninjal_mission__1_1_3_2_4_1->n22_a_ninjal_mission__1_1_3_2_4_1_1 n22_a_ninjal_mission__1_1_3_2_4_1_2 VB;_Cn.a_ n22_a_ninjal_mission__1_1_3_2_4_1->n22_a_ninjal_mission__1_1_3_2_4_1_2 n22_a_ninjal_mission__1_1_3_2_4_1_3 NP-OB1 n22_a_ninjal_mission__1_1_3_2_4_1->n22_a_ninjal_mission__1_1_3_2_4_1_3 n22_a_ninjal_mission__1_1_3_2_4_1_4 ADJP-PRD n22_a_ninjal_mission__1_1_3_2_4_1->n22_a_ninjal_mission__1_1_3_2_4_1_4 n22_a_ninjal_mission__1_1_3_2_4_1_1->n22_a_ninjal_mission__1_1_3_2_4_1_1_1 n22_a_ninjal_mission__1_1_3_2_4_1_2->n22_a_ninjal_mission__1_1_3_2_4_1_2_1 n22_a_ninjal_mission__1_1_3_2_4_1_3_1 PRO n22_a_ninjal_mission__1_1_3_2_4_1_3->n22_a_ninjal_mission__1_1_3_2_4_1_3_1 n22_a_ninjal_mission__1_1_3_2_4_1_3_1->n22_a_ninjal_mission__1_1_3_2_4_1_3_1_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_1 ADVP n22_a_ninjal_mission__1_1_3_2_4_1_4->n22_a_ninjal_mission__1_1_3_2_4_1_4_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_2 ADJ n22_a_ninjal_mission__1_1_3_2_4_1_4->n22_a_ninjal_mission__1_1_3_2_4_1_4_2 n22_a_ninjal_mission__1_1_3_2_4_1_4_3 PP n22_a_ninjal_mission__1_1_3_2_4_1_4->n22_a_ninjal_mission__1_1_3_2_4_1_4_3 n22_a_ninjal_mission__1_1_3_2_4_1_4_1_1 ADV n22_a_ninjal_mission__1_1_3_2_4_1_4_1->n22_a_ninjal_mission__1_1_3_2_4_1_4_1_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_1_1->n22_a_ninjal_mission__1_1_3_2_4_1_4_1_1_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_2->n22_a_ninjal_mission__1_1_3_2_4_1_4_2_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_3_1 P-ROLE n22_a_ninjal_mission__1_1_3_2_4_1_4_3->n22_a_ninjal_mission__1_1_3_2_4_1_4_3_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2 ADJP n22_a_ninjal_mission__1_1_3_2_4_1_4_3->n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2 n22_a_ninjal_mission__1_1_3_2_4_1_4_3_1->n22_a_ninjal_mission__1_1_3_2_4_1_4_3_1_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2_1 ADJ n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2->n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2_1 n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2_1->n22_a_ninjal_mission__1_1_3_2_4_1_4_3_2_1_1 n22_a_ninjal_mission__1_2->n22_a_ninjal_mission__1_2_1
( (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})
                                                            (ADJP (ADJ possible;{possible})))))))))
          (PUNC .))
  (ID 22_a_ninjal_mission))



%3 z_0022_5009 r_0022_0016__make make z_0022_5009->r_0022_0016__make [restriction] r_0022_0012__have have z_0022_5009->r_0022_0012__have [scope] z_0022_5004 r_0022_0016__make->z_0022_5004 [arg1] r_0022_0019__convenient convenient r_0022_0016__make->r_0022_0019__convenient [prd] r_0022_0011__interfaces interfaces r_0022_0016__make->r_0022_0011__interfaces [arg0] r_0022_0013__been been r_0022_0012__have->r_0022_0013__been [scope] r_0022_0003__these_r_0022_0004__corpora these corpora z_0022_5004->r_0022_0003__these_r_0022_0004__corpora of r_0022_0021__possible possible r_0022_0019__convenient->r_0022_0021__possible as r_0022_0018__as as r_0022_0019__convenient->r_0022_0018__as [qual] r_0022_0010__inviting inviting r_0022_0011__interfaces->r_0022_0010__inviting [attrib] r_0022_0014__developed developed r_0022_0014__developed->r_0022_0011__interfaces [arg1] z_0022_5018___star_ * r_0022_0014__developed->z_0022_5018___star_ [arg0] r_0022_0013__been->r_0022_0014__developed [scope] r_0022_0009__and and r_0022_0009__and->z_0022_5009 [conj2] r_0022_0001__All__quant All [quant] r_0022_0009__and->r_0022_0001__All__quant [conj1] r_0022_0001__All__quant->z_0022_5004 [restriction] r_0022_0005__allow allow r_0022_0001__All__quant->r_0022_0005__allow [scope] r_0022_0005__allow->z_0022_5004 [arg0] r_0022_0006__precision_r_0022_0007__searching precision searching r_0022_0005__allow->r_0022_0006__precision_r_0022_0007__searching [arg1]
arc(r_0022_0001__All__quant,r_0022_0005__allow,scope).
arc(r_0022_0001__All__quant,z_0022_5004,restriction).
arc(r_0022_0005__allow,r_0022_0006__precision_r_0022_0007__searching,arg1).
arc(r_0022_0005__allow,z_0022_5004,arg0).
arc(r_0022_0009__and,r_0022_0001__All__quant,conj1).
arc(r_0022_0009__and,z_0022_5009,conj2).
arc(r_0022_0011__interfaces,r_0022_0010__inviting,attrib).
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_0022_5018___star_,arg0).
arc(r_0022_0016__make,r_0022_0011__interfaces,arg0).
arc(r_0022_0016__make,r_0022_0019__convenient,prd).
arc(r_0022_0016__make,z_0022_5004,arg1).
arc(r_0022_0019__convenient,r_0022_0018__as,qual).
arc(r_0022_0019__convenient,r_0022_0021__possible,r_0022_0020__as).
arc(z_0022_5004,r_0022_0003__these_r_0022_0004__corpora,r_0022_0002__of).
arc(z_0022_5009,r_0022_0012__have,scope).
arc(z_0022_5009,r_0022_0016__make,restriction).



%3 r_0022_0001__All__quant All [quant] r_0022_0005__allow allow r_0022_0001__All__quant->r_0022_0005__allow [scope] r_0022_0009__and and r_0022_0001__All__quant->r_0022_0009__and [restriction] r_0022_0006__precision_r_0022_0007__searching precision searching r_0022_0005__allow->r_0022_0006__precision_r_0022_0007__searching [arg1] z_0022_5004 r_0022_0005__allow->z_0022_5004 [arg0] r_0022_0009__and->r_0022_0001__All__quant [conj1] z_0022_5009 r_0022_0009__and->z_0022_5009 [conj2] r_0022_0003__these_r_0022_0004__corpora these corpora z_0022_5004->r_0022_0003__these_r_0022_0004__corpora of r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed have been developed z_0022_5009->r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed [conj2] r_0022_0016__make make z_0022_5009->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_0022_5018___star_ * r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed->z_0022_5018___star_ [arg0] r_0022_0016__make->z_0022_5004 [arg1] r_0022_0016__make->r_0022_0011__interfaces [arg0] r_0022_0019__convenient convenient r_0022_0016__make->r_0022_0019__convenient [prd] r_0022_0018__as as r_0022_0019__convenient->r_0022_0018__as [qual] r_0022_0021__possible possible r_0022_0019__convenient->r_0022_0021__possible as
fof(formula,axiom,
    true ).