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_4, r_0022_0003__these_r_0022_0004__corpora, r_0022_0002__of).
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_62, r_0022_0021__possible, attrib63).

fof(formula,axiom,
    ? [R_0022_0010__INVITING,R_0022_0011__INTERFACES,Z_000_22_A_NINJAL_MISSION_40,R_0022_0012__HAVE_R_0022_0013__BEEN_R_0022_0014__DEVELOPED,R_0022_0017__THEM,R_0022_0018__AS,R_0022_0021__POSSIBLE,Z_000_22_A_NINJAL_MISSION_62,R_0022_0019__CONVENIENT,R_0022_0015__TO_R_0022_0016__MAKE,Z_000_22_A_NINJAL_MISSION_44,R_0022_0009__AND] :
      ( r_0022_0010__inviting(R_0022_0010__INVITING)
      & r_0022_0017__them(R_0022_0017__THEM)
      & r_0022_0018__as(R_0022_0018__AS)
      & r_0022_0021__possible(R_0022_0021__POSSIBLE)
      & z_000_22_a_ninjal_mission_40(Z_000_22_A_NINJAL_MISSION_40)
      & r_0022_0009__and(R_0022_0009__AND)
      & has_conj2(R_0022_0009__AND,Z_000_22_A_NINJAL_MISSION_44)
      & z_000_22_a_ninjal_mission_44(Z_000_22_A_NINJAL_MISSION_44)
      & has_conj1(Z_000_22_A_NINJAL_MISSION_44,R_0022_0015__TO_R_0022_0016__MAKE)
      & r_0022_0015__to_r_0022_0016__make(R_0022_0015__TO_R_0022_0016__MAKE)
      & has_prd(R_0022_0015__TO_R_0022_0016__MAKE,R_0022_0019__CONVENIENT)
      & r_0022_0019__convenient(R_0022_0019__CONVENIENT)
      & has_r_0022_0020__as(R_0022_0019__CONVENIENT,Z_000_22_A_NINJAL_MISSION_62)
      & z_000_22_a_ninjal_mission_62(Z_000_22_A_NINJAL_MISSION_62)
      & has_attrib63(Z_000_22_A_NINJAL_MISSION_62,R_0022_0021__POSSIBLE)
      & has_qual54(R_0022_0019__CONVENIENT,R_0022_0018__AS)
      & has_arg1(R_0022_0015__TO_R_0022_0016__MAKE,R_0022_0017__THEM)
      & has_arg0(R_0022_0015__TO_R_0022_0016__MAKE,R_0022_0011__INTERFACES)
      & r_0022_0011__interfaces(R_0022_0011__INTERFACES)
      & has_attrib29(R_0022_0011__INTERFACES,R_0022_0010__INVITING)
      & has_conj2(Z_000_22_A_NINJAL_MISSION_44,R_0022_0012__HAVE_R_0022_0013__BEEN_R_0022_0014__DEVELOPED)
      & r_0022_0012__have_r_0022_0013__been_r_0022_0014__developed(R_0022_0012__HAVE_R_0022_0013__BEEN_R_0022_0014__DEVELOPED)
      & has_arg0(R_0022_0012__HAVE_R_0022_0013__BEEN_R_0022_0014__DEVELOPED,Z_000_22_A_NINJAL_MISSION_40)
      & has_arg1(R_0022_0012__HAVE_R_0022_0013__BEEN_R_0022_0014__DEVELOPED,R_0022_0011__INTERFACES)
      & ! [Z_000_22_A_NINJAL_MISSION_4,R_0022_0003__THESE_R_0022_0004__CORPORA] :
          ( ( r_0022_0003__these_r_0022_0004__corpora(R_0022_0003__THESE_R_0022_0004__CORPORA)
            & z_000_22_a_ninjal_mission_4(Z_000_22_A_NINJAL_MISSION_4)
            & has_r_0022_0002__of(Z_000_22_A_NINJAL_MISSION_4,R_0022_0003__THESE_R_0022_0004__CORPORA) )
         => ? [R_0022_0006__PRECISION_R_0022_0007__SEARCHING,R_0022_0005__ALLOW] :
              ( r_0022_0006__precision_r_0022_0007__searching(R_0022_0006__PRECISION_R_0022_0007__SEARCHING)
              & r_0022_0005__allow(R_0022_0005__ALLOW)
              & has_arg0(R_0022_0005__ALLOW,Z_000_22_A_NINJAL_MISSION_4)
              & has_arg1(R_0022_0005__ALLOW,R_0022_0006__PRECISION_R_0022_0007__SEARCHING) ) ) ) ).

( (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))