Context                Previous, Next                Top


79_a_ibm_1401
A library of 1401 programs will be established to aid all 1401 customers in solving specific applications, scientific as well as commercial.

%3 r_0079_0001__A_r_0079_0002__library A library r_0079_0004__1401_r_0079_0005__programs 1401 programs r_0079_0001__A_r_0079_0002__library->r_0079_0004__1401_r_0079_0005__programs of r_0079_0006__will will r_0079_0007__be be r_0079_0006__will->r_0079_0007__be [scope] r_0079_0008__established established r_0079_0007__be->r_0079_0008__established [scope] r_0079_0008__established->r_0079_0001__A_r_0079_0002__library [arg1] z_000_79_a_ibm_1401_21 r_0079_0008__established->z_000_79_a_ibm_1401_21 [arg0] r_0079_0009__to_r_0079_0010__aid to aid r_0079_0009__to_r_0079_0010__aid->r_0079_0001__A_r_0079_0002__library [arg0] r_0079_0012__1401_r_0079_0013__customers 1401 customers r_0079_0009__to_r_0079_0010__aid->r_0079_0012__1401_r_0079_0013__customers [arg1] r_0079_0015__solving solving r_0079_0009__to_r_0079_0010__aid->r_0079_0015__solving in [clr] r_0079_0017__applications applications r_0079_0015__solving->r_0079_0017__applications [arg1] z_000_79_a_ibm_1401_41 r_0079_0015__solving->z_000_79_a_ibm_1401_41 [arg0] r_0079_0016__specific specific r_0079_0017__applications->r_0079_0016__specific [attrib] z_000_79_a_ibm_1401_25 z_000_79_a_ibm_1401_25->r_0079_0006__will [scope] z_000_79_a_ibm_1401_25->r_0079_0009__to_r_0079_0010__aid [restriction] 
arc(r_0079_0001__A_r_0079_0002__library, r_0079_0004__1401_r_0079_0005__programs, r_0079_0003__of).
arc(r_0079_0006__will, r_0079_0007__be, scope).
arc(r_0079_0007__be, r_0079_0008__established, scope).
arc(r_0079_0008__established, r_0079_0001__A_r_0079_0002__library, arg1).
arc(r_0079_0008__established, z_000_79_a_ibm_1401_21, arg0).
arc(r_0079_0009__to_r_0079_0010__aid, r_0079_0001__A_r_0079_0002__library, arg0).
arc(r_0079_0009__to_r_0079_0010__aid, r_0079_0012__1401_r_0079_0013__customers, arg1).
arc(r_0079_0009__to_r_0079_0010__aid, r_0079_0015__solving, r_0079_0014__in_clr41).
arc(r_0079_0015__solving, r_0079_0017__applications, arg1).
arc(r_0079_0015__solving, z_000_79_a_ibm_1401_41, arg0).
arc(r_0079_0017__applications, r_0079_0016__specific, attrib45).
arc(z_000_79_a_ibm_1401_25, r_0079_0006__will, scope).
arc(z_000_79_a_ibm_1401_25, r_0079_0009__to_r_0079_0010__aid, restriction).


%3 r_0079_0001__A_r_0079_0002__library A library r_0079_0004__1401_r_0079_0005__programs 1401 programs r_0079_0001__A_r_0079_0002__library->r_0079_0004__1401_r_0079_0005__programs of r_0079_0006__will_r_0079_0007__be_r_0079_0008__established will be established r_0079_0006__will_r_0079_0007__be_r_0079_0008__established->r_0079_0001__A_r_0079_0002__library [arg1] z_000_79_a_ibm_1401_21 r_0079_0006__will_r_0079_0007__be_r_0079_0008__established->z_000_79_a_ibm_1401_21 [arg0] r_0079_0009__to_r_0079_0010__aid to aid r_0079_0009__to_r_0079_0010__aid->r_0079_0001__A_r_0079_0002__library [arg0] r_0079_0012__1401_r_0079_0013__customers 1401 customers r_0079_0009__to_r_0079_0010__aid->r_0079_0012__1401_r_0079_0013__customers [arg1] r_0079_0015__solving solving r_0079_0009__to_r_0079_0010__aid->r_0079_0015__solving in [clr] r_0079_0017__applications applications r_0079_0015__solving->r_0079_0017__applications [arg1] z_000_79_a_ibm_1401_41 r_0079_0015__solving->z_000_79_a_ibm_1401_41 [arg0] r_0079_0016__specific specific r_0079_0017__applications->r_0079_0016__specific [attrib] z_000_79_a_ibm_1401_25 z_000_79_a_ibm_1401_25->r_0079_0006__will_r_0079_0007__be_r_0079_0008__established [conj2] z_000_79_a_ibm_1401_25->r_0079_0009__to_r_0079_0010__aid [conj1] 
fof(formula,axiom,
    ? [Z_79_A_IBM_1401_25,R_79_9_TO_AID,R_79_12_1401_CUSTOMERS,R_79_15_SOLVING,Z_79_A_IBM_1401_41,R_79_17_APPLICATIONS,R_79_16_SPECIFIC,R_79_6_WILL_BE_ESTABLISHED,Z_79_A_IBM_1401_21,R_79_1_A_LIBRARY,R_79_4_1401_PROGRAMS] :
      ( 1401_customers(R_79_12_1401_CUSTOMERS)
      & specific(R_79_16_SPECIFIC)
      & 1401_programs(R_79_4_1401_PROGRAMS)
      & z_79_a_ibm_1401_25(Z_79_A_IBM_1401_25)
      & conj1(Z_79_A_IBM_1401_25,R_79_9_TO_AID)
      & to_aid(R_79_9_TO_AID,R_79_1_A_LIBRARY,R_79_12_1401_CUSTOMERS)
      & a_library(R_79_1_A_LIBRARY)
      & of(R_79_1_A_LIBRARY,R_79_4_1401_PROGRAMS)
      & in_clr41(R_79_9_TO_AID,R_79_15_SOLVING)
      & solving(R_79_15_SOLVING,Z_79_A_IBM_1401_41,R_79_17_APPLICATIONS)
      & applications(R_79_17_APPLICATIONS)
      & attrib45(R_79_17_APPLICATIONS,R_79_16_SPECIFIC)
      & conj2(Z_79_A_IBM_1401_25,R_79_6_WILL_BE_ESTABLISHED)
      & will_be_established(R_79_6_WILL_BE_ESTABLISHED,Z_79_A_IBM_1401_21,R_79_1_A_LIBRARY) ) ).


n79_a_ibm_1401 n79_a_ibm_1401_4 A n79_a_ibm_1401_6 library n79_a_ibm_1401_9 of n79_a_ibm_1401_12 1401 n79_a_ibm_1401_14 programs n79_a_ibm_1401_16 will n79_a_ibm_1401_19 be n79_a_ibm_1401_22 * n79_a_ibm_1401_24 established n79_a_ibm_1401_28 to n79_a_ibm_1401_30 aid n79_a_ibm_1401_33 all n79_a_ibm_1401_35 1401 n79_a_ibm_1401_37 customers n79_a_ibm_1401_40 in n79_a_ibm_1401_43 solving n79_a_ibm_1401_47 specific n79_a_ibm_1401_49 applications n79_a_ibm_1401_51 , n79_a_ibm_1401_57 scientific n79_a_ibm_1401_60 as_well_as n79_a_ibm_1401_63 commercial n79_a_ibm_1401_65 . n79_a_ibm_1401_1 IP-MAT n79_a_ibm_1401_2 NP-SBJ n79_a_ibm_1401_1->n79_a_ibm_1401_2 n79_a_ibm_1401_15 MD;_cat_Vi_ n79_a_ibm_1401_1->n79_a_ibm_1401_15 n79_a_ibm_1401_17 IP-INF-CAT n79_a_ibm_1401_1->n79_a_ibm_1401_17 n79_a_ibm_1401_25 PP-SCON n79_a_ibm_1401_1->n79_a_ibm_1401_25 n79_a_ibm_1401_64 PUNC n79_a_ibm_1401_1->n79_a_ibm_1401_64 n79_a_ibm_1401_3 D n79_a_ibm_1401_2->n79_a_ibm_1401_3 n79_a_ibm_1401_5 N n79_a_ibm_1401_2->n79_a_ibm_1401_5 n79_a_ibm_1401_7 PP n79_a_ibm_1401_2->n79_a_ibm_1401_7 n79_a_ibm_1401_3->n79_a_ibm_1401_4 n79_a_ibm_1401_5->n79_a_ibm_1401_6 n79_a_ibm_1401_8 P-ROLE n79_a_ibm_1401_7->n79_a_ibm_1401_8 n79_a_ibm_1401_10 NP n79_a_ibm_1401_7->n79_a_ibm_1401_10 n79_a_ibm_1401_8->n79_a_ibm_1401_9 n79_a_ibm_1401_11 NPR n79_a_ibm_1401_10->n79_a_ibm_1401_11 n79_a_ibm_1401_13 NS n79_a_ibm_1401_10->n79_a_ibm_1401_13 n79_a_ibm_1401_11->n79_a_ibm_1401_12 n79_a_ibm_1401_13->n79_a_ibm_1401_14 n79_a_ibm_1401_15->n79_a_ibm_1401_16 n79_a_ibm_1401_18 BE;_cat_VePASS_ n79_a_ibm_1401_17->n79_a_ibm_1401_18 n79_a_ibm_1401_20 IP-PPL-CAT n79_a_ibm_1401_17->n79_a_ibm_1401_20 n79_a_ibm_1401_18->n79_a_ibm_1401_19 n79_a_ibm_1401_21 NP-LGS n79_a_ibm_1401_20->n79_a_ibm_1401_21 n79_a_ibm_1401_23 VVN;_Tn_ n79_a_ibm_1401_20->n79_a_ibm_1401_23 n79_a_ibm_1401_21->n79_a_ibm_1401_22 n79_a_ibm_1401_23->n79_a_ibm_1401_24 n79_a_ibm_1401_26 IP-INF n79_a_ibm_1401_25->n79_a_ibm_1401_26 n79_a_ibm_1401_27 TO n79_a_ibm_1401_26->n79_a_ibm_1401_27 n79_a_ibm_1401_29 VB;_Tn.pr_ n79_a_ibm_1401_26->n79_a_ibm_1401_29 n79_a_ibm_1401_31 NP-OB1 n79_a_ibm_1401_26->n79_a_ibm_1401_31 n79_a_ibm_1401_38 PP-CLR n79_a_ibm_1401_26->n79_a_ibm_1401_38 n79_a_ibm_1401_27->n79_a_ibm_1401_28 n79_a_ibm_1401_29->n79_a_ibm_1401_30 n79_a_ibm_1401_32 Q n79_a_ibm_1401_31->n79_a_ibm_1401_32 n79_a_ibm_1401_34 NPR n79_a_ibm_1401_31->n79_a_ibm_1401_34 n79_a_ibm_1401_36 NS n79_a_ibm_1401_31->n79_a_ibm_1401_36 n79_a_ibm_1401_32->n79_a_ibm_1401_33 n79_a_ibm_1401_34->n79_a_ibm_1401_35 n79_a_ibm_1401_36->n79_a_ibm_1401_37 n79_a_ibm_1401_39 P-ROLE n79_a_ibm_1401_38->n79_a_ibm_1401_39 n79_a_ibm_1401_41 IP-PPL n79_a_ibm_1401_38->n79_a_ibm_1401_41 n79_a_ibm_1401_39->n79_a_ibm_1401_40 n79_a_ibm_1401_42 VAG;_Tn_ n79_a_ibm_1401_41->n79_a_ibm_1401_42 n79_a_ibm_1401_44 NP-OB1 n79_a_ibm_1401_41->n79_a_ibm_1401_44 n79_a_ibm_1401_42->n79_a_ibm_1401_43 n79_a_ibm_1401_45 ADJP n79_a_ibm_1401_44->n79_a_ibm_1401_45 n79_a_ibm_1401_48 NS n79_a_ibm_1401_44->n79_a_ibm_1401_48 n79_a_ibm_1401_50 PUNC n79_a_ibm_1401_44->n79_a_ibm_1401_50 n79_a_ibm_1401_52 PRN n79_a_ibm_1401_44->n79_a_ibm_1401_52 n79_a_ibm_1401_46 ADJ n79_a_ibm_1401_45->n79_a_ibm_1401_46 n79_a_ibm_1401_46->n79_a_ibm_1401_47 n79_a_ibm_1401_48->n79_a_ibm_1401_49 n79_a_ibm_1401_50->n79_a_ibm_1401_51 n79_a_ibm_1401_53 ADJP n79_a_ibm_1401_52->n79_a_ibm_1401_53 n79_a_ibm_1401_54 AJLYR n79_a_ibm_1401_53->n79_a_ibm_1401_54 n79_a_ibm_1401_55 AJLYR n79_a_ibm_1401_54->n79_a_ibm_1401_55 n79_a_ibm_1401_58 CONJP n79_a_ibm_1401_54->n79_a_ibm_1401_58 n79_a_ibm_1401_56 ADJ n79_a_ibm_1401_55->n79_a_ibm_1401_56 n79_a_ibm_1401_56->n79_a_ibm_1401_57 n79_a_ibm_1401_59 CONJ n79_a_ibm_1401_58->n79_a_ibm_1401_59 n79_a_ibm_1401_61 AJLYR n79_a_ibm_1401_58->n79_a_ibm_1401_61 n79_a_ibm_1401_59->n79_a_ibm_1401_60 n79_a_ibm_1401_62 ADJ n79_a_ibm_1401_61->n79_a_ibm_1401_62 n79_a_ibm_1401_62->n79_a_ibm_1401_63 n79_a_ibm_1401_64->n79_a_ibm_1401_65 
( (IP-MAT (NP-SBJ (D A;{a})
                  (N library;{library})
                  (PP (P-ROLE of;{of})
                      (NP;{LIBRARY_PROGRAMS} (NPR 1401)
                                             (NS programs;{program}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ established;{establish})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn.pr_ aid;{aid[in]})
                           (NP-OB1 (Q all;{all})
                                   (NPR 1401)
                                   (NS customers;{customer}))
                           (PP-CLR (P-ROLE in;{in})
                                   (IP-PPL (VAG;_Tn_ solving;{solve})
                                           (NP-OB1 (ADJP (ADJ specific;{specific}))
                                                   (NS applications;{application})
                                                   (PUNC ,)
                                                   (PRN (ADJP (AJLYR (AJLYR (ADJ scientific;{scientific}))
                                                                     (CONJP (CONJ as_well_as;{as_well_as})
                                                                            (AJLYR (ADJ commercial;{commercial})))))))))))
          (PUNC .))
  (ID 79_a_ibm_1401))