Context                Previous, Next                Top


27_a_ibm_1401
Many pre-written programs are supplied by IBM, eliminating necessity of customers' staffs writing their own.

%3 r_0027_0003__programs programs r_0027_0001__Many Many r_0027_0003__programs->r_0027_0001__Many [attrib] r_0027_0002__pre__hyphen__written pre-written r_0027_0003__programs->r_0027_0002__pre__hyphen__written [attrib] r_0027_0004__are are r_0027_0005__supplied supplied r_0027_0004__are->r_0027_0005__supplied [scope] r_0027_0005__supplied->r_0027_0003__programs [arg1] r_0027_0007__IBM IBM r_0027_0005__supplied->r_0027_0007__IBM [arg0] r_0027_0009__eliminating eliminating r_0027_0010__necessity necessity r_0027_0009__eliminating->r_0027_0010__necessity [arg1] z_000_27_a_ibm_1401_25 r_0027_0009__eliminating->z_000_27_a_ibm_1401_25 [arg0] r_0027_0015__writing writing r_0027_0010__necessity->r_0027_0015__writing of r_0027_0014__staffs staffs r_0027_0015__writing->r_0027_0014__staffs [arg0] z_000_27_a_ibm_1401_45 r_0027_0015__writing->z_000_27_a_ibm_1401_45 [arg1] r_0027_0012__customers_r_0027_0013___apos_ customers ' r_0027_0014__staffs->r_0027_0012__customers_r_0027_0013___apos_ [gen] z_000_27_a_ibm_1401_46 z_000_27_a_ibm_1401_45->z_000_27_a_ibm_1401_46 [gen] z_000_27_a_ibm_1401_24 z_000_27_a_ibm_1401_24->r_0027_0004__are [scope] z_000_27_a_ibm_1401_24->r_0027_0009__eliminating [restriction] z_000_27_a_ibm_1401_46->r_0027_0014__staffs [gen] r_0027_0017__own own z_000_27_a_ibm_1401_46->r_0027_0017__own [attrib] 
arc(r_0027_0003__programs, r_0027_0001__Many, attrib3).
arc(r_0027_0003__programs, r_0027_0002__pre__hyphen__written, attrib6).
arc(r_0027_0004__are, r_0027_0005__supplied, scope).
arc(r_0027_0005__supplied, r_0027_0003__programs, arg1).
arc(r_0027_0005__supplied, r_0027_0007__IBM, arg0).
arc(r_0027_0009__eliminating, r_0027_0010__necessity, arg1).
arc(r_0027_0009__eliminating, z_000_27_a_ibm_1401_25, arg0).
arc(r_0027_0010__necessity, r_0027_0015__writing, r_0027_0011__of).
arc(r_0027_0014__staffs, r_0027_0012__customers_r_0027_0013___apos_, gen).
arc(r_0027_0015__writing, r_0027_0014__staffs, arg0).
arc(r_0027_0015__writing, z_000_27_a_ibm_1401_45, arg1).
arc(z_000_27_a_ibm_1401_24, r_0027_0004__are, scope).
arc(z_000_27_a_ibm_1401_24, r_0027_0009__eliminating, restriction).
arc(z_000_27_a_ibm_1401_45, z_000_27_a_ibm_1401_46, gen).
arc(z_000_27_a_ibm_1401_46, r_0027_0014__staffs, gen).
arc(z_000_27_a_ibm_1401_46, r_0027_0017__own, attrib50).


%3 r_0027_0003__programs programs r_0027_0001__Many Many r_0027_0003__programs->r_0027_0001__Many [attrib] r_0027_0002__pre__hyphen__written pre-written r_0027_0003__programs->r_0027_0002__pre__hyphen__written [attrib] r_0027_0004__are_r_0027_0005__supplied are supplied r_0027_0004__are_r_0027_0005__supplied->r_0027_0003__programs [arg1] r_0027_0007__IBM IBM r_0027_0004__are_r_0027_0005__supplied->r_0027_0007__IBM [arg0] r_0027_0009__eliminating eliminating r_0027_0010__necessity necessity r_0027_0009__eliminating->r_0027_0010__necessity [arg1] z_000_27_a_ibm_1401_25 r_0027_0009__eliminating->z_000_27_a_ibm_1401_25 [arg0] r_0027_0015__writing writing r_0027_0010__necessity->r_0027_0015__writing of r_0027_0014__staffs staffs r_0027_0015__writing->r_0027_0014__staffs [arg0] z_000_27_a_ibm_1401_45 r_0027_0015__writing->z_000_27_a_ibm_1401_45 [arg1] r_0027_0012__customers_r_0027_0013___apos_ customers ' r_0027_0014__staffs->r_0027_0012__customers_r_0027_0013___apos_ [gen] z_000_27_a_ibm_1401_46 z_000_27_a_ibm_1401_45->z_000_27_a_ibm_1401_46 [gen] z_000_27_a_ibm_1401_24 z_000_27_a_ibm_1401_24->r_0027_0004__are_r_0027_0005__supplied [conj2] z_000_27_a_ibm_1401_24->r_0027_0009__eliminating [conj1] z_000_27_a_ibm_1401_46->r_0027_0014__staffs [gen] r_0027_0017__own own z_000_27_a_ibm_1401_46->r_0027_0017__own [attrib] 
fof(formula,axiom,
    ? [Z_27_A_IBM_1401_24,R_27_9_ELIMINATING,Z_27_A_IBM_1401_25,R_27_10_NECESSITY,R_27_15_WRITING,Z_27_A_IBM_1401_45,Z_27_A_IBM_1401_46,R_27_17_OWN,R_27_14_STAFFS,R_27_12_CUSTOMERS_APOS_,R_27_4_ARE_SUPPLIED,R_27_7_IBM,R_27_3_PROGRAMS,R_27_1_MANY,R_27_2_PRE_HYPHEN_WRITTEN] :
      ( own(R_27_17_OWN)
      & customers_apos_(R_27_12_CUSTOMERS_APOS_)
      & iBM(R_27_7_IBM)
      & many(R_27_1_MANY)
      & pre_hyphen_written(R_27_2_PRE_HYPHEN_WRITTEN)
      & z_27_a_ibm_1401_24(Z_27_A_IBM_1401_24)
      & conj1(Z_27_A_IBM_1401_24,R_27_9_ELIMINATING)
      & eliminating(R_27_9_ELIMINATING,Z_27_A_IBM_1401_25,R_27_10_NECESSITY)
      & necessity(R_27_10_NECESSITY)
      & of(R_27_10_NECESSITY,R_27_15_WRITING)
      & writing(R_27_15_WRITING,R_27_14_STAFFS,Z_27_A_IBM_1401_45)
      & staffs(R_27_14_STAFFS)
      & gen(R_27_14_STAFFS,R_27_12_CUSTOMERS_APOS_)
      & z_27_a_ibm_1401_45(Z_27_A_IBM_1401_45)
      & gen(Z_27_A_IBM_1401_45,Z_27_A_IBM_1401_46)
      & z_27_a_ibm_1401_46(Z_27_A_IBM_1401_46)
      & attrib50(Z_27_A_IBM_1401_46,R_27_17_OWN)
      & gen(Z_27_A_IBM_1401_46,R_27_14_STAFFS)
      & conj2(Z_27_A_IBM_1401_24,R_27_4_ARE_SUPPLIED)
      & are_supplied(R_27_4_ARE_SUPPLIED,R_27_7_IBM,R_27_3_PROGRAMS)
      & programs(R_27_3_PROGRAMS)
      & attrib3(R_27_3_PROGRAMS,R_27_1_MANY)
      & attrib6(R_27_3_PROGRAMS,R_27_2_PRE_HYPHEN_WRITTEN) ) ).


n27_a_ibm_1401 n27_a_ibm_1401_5 Many n27_a_ibm_1401_8 pre-written n27_a_ibm_1401_10 programs n27_a_ibm_1401_12 are n27_a_ibm_1401_15 supplied n27_a_ibm_1401_18 by n27_a_ibm_1401_21 IBM n27_a_ibm_1401_23 , n27_a_ibm_1401_27 eliminating n27_a_ibm_1401_30 necessity n27_a_ibm_1401_33 of n27_a_ibm_1401_38 customers n27_a_ibm_1401_40 ' n27_a_ibm_1401_42 staffs n27_a_ibm_1401_44 writing n27_a_ibm_1401_49 their n27_a_ibm_1401_52 own n27_a_ibm_1401_54 . n27_a_ibm_1401_1 IP-MAT n27_a_ibm_1401_2 NP-SBJ n27_a_ibm_1401_1->n27_a_ibm_1401_2 n27_a_ibm_1401_11 BEP;_cat_VePASS_ n27_a_ibm_1401_1->n27_a_ibm_1401_11 n27_a_ibm_1401_13 IP-PPL-CAT n27_a_ibm_1401_1->n27_a_ibm_1401_13 n27_a_ibm_1401_22 PUNC n27_a_ibm_1401_1->n27_a_ibm_1401_22 n27_a_ibm_1401_24 PP-SCON n27_a_ibm_1401_1->n27_a_ibm_1401_24 n27_a_ibm_1401_53 PUNC n27_a_ibm_1401_1->n27_a_ibm_1401_53 n27_a_ibm_1401_3 ADJP n27_a_ibm_1401_2->n27_a_ibm_1401_3 n27_a_ibm_1401_6 ADJP n27_a_ibm_1401_2->n27_a_ibm_1401_6 n27_a_ibm_1401_9 NS n27_a_ibm_1401_2->n27_a_ibm_1401_9 n27_a_ibm_1401_4 ADJ n27_a_ibm_1401_3->n27_a_ibm_1401_4 n27_a_ibm_1401_4->n27_a_ibm_1401_5 n27_a_ibm_1401_7 ADJ n27_a_ibm_1401_6->n27_a_ibm_1401_7 n27_a_ibm_1401_7->n27_a_ibm_1401_8 n27_a_ibm_1401_9->n27_a_ibm_1401_10 n27_a_ibm_1401_11->n27_a_ibm_1401_12 n27_a_ibm_1401_14 VVN;_Tn_ n27_a_ibm_1401_13->n27_a_ibm_1401_14 n27_a_ibm_1401_16 PP-LGS n27_a_ibm_1401_13->n27_a_ibm_1401_16 n27_a_ibm_1401_14->n27_a_ibm_1401_15 n27_a_ibm_1401_17 P-ROLE;_lgs_ n27_a_ibm_1401_16->n27_a_ibm_1401_17 n27_a_ibm_1401_19 NP n27_a_ibm_1401_16->n27_a_ibm_1401_19 n27_a_ibm_1401_17->n27_a_ibm_1401_18 n27_a_ibm_1401_20 NPR n27_a_ibm_1401_19->n27_a_ibm_1401_20 n27_a_ibm_1401_20->n27_a_ibm_1401_21 n27_a_ibm_1401_22->n27_a_ibm_1401_23 n27_a_ibm_1401_25 IP-PPL3 n27_a_ibm_1401_24->n27_a_ibm_1401_25 n27_a_ibm_1401_26 VAG;_Tn_ n27_a_ibm_1401_25->n27_a_ibm_1401_26 n27_a_ibm_1401_28 NP-OB1 n27_a_ibm_1401_25->n27_a_ibm_1401_28 n27_a_ibm_1401_26->n27_a_ibm_1401_27 n27_a_ibm_1401_29 N n27_a_ibm_1401_28->n27_a_ibm_1401_29 n27_a_ibm_1401_31 PP n27_a_ibm_1401_28->n27_a_ibm_1401_31 n27_a_ibm_1401_29->n27_a_ibm_1401_30 n27_a_ibm_1401_32 P-ROLE n27_a_ibm_1401_31->n27_a_ibm_1401_32 n27_a_ibm_1401_34 IP-PPL n27_a_ibm_1401_31->n27_a_ibm_1401_34 n27_a_ibm_1401_32->n27_a_ibm_1401_33 n27_a_ibm_1401_35 NP-SBJ n27_a_ibm_1401_34->n27_a_ibm_1401_35 n27_a_ibm_1401_43 VAG;_Tn_ n27_a_ibm_1401_34->n27_a_ibm_1401_43 n27_a_ibm_1401_45 NP-OB1 n27_a_ibm_1401_34->n27_a_ibm_1401_45 n27_a_ibm_1401_36 NP-GEN n27_a_ibm_1401_35->n27_a_ibm_1401_36 n27_a_ibm_1401_41 NS n27_a_ibm_1401_35->n27_a_ibm_1401_41 n27_a_ibm_1401_37 NS n27_a_ibm_1401_36->n27_a_ibm_1401_37 n27_a_ibm_1401_39 GENM n27_a_ibm_1401_36->n27_a_ibm_1401_39 n27_a_ibm_1401_37->n27_a_ibm_1401_38 n27_a_ibm_1401_39->n27_a_ibm_1401_40 n27_a_ibm_1401_41->n27_a_ibm_1401_42 n27_a_ibm_1401_43->n27_a_ibm_1401_44 n27_a_ibm_1401_46 NP-GEN n27_a_ibm_1401_45->n27_a_ibm_1401_46 n27_a_ibm_1401_47 NP-GEN n27_a_ibm_1401_46->n27_a_ibm_1401_47 n27_a_ibm_1401_50 ADJP n27_a_ibm_1401_46->n27_a_ibm_1401_50 n27_a_ibm_1401_48 PRO;_genm_ n27_a_ibm_1401_47->n27_a_ibm_1401_48 n27_a_ibm_1401_48->n27_a_ibm_1401_49 n27_a_ibm_1401_51 ADJ n27_a_ibm_1401_50->n27_a_ibm_1401_51 n27_a_ibm_1401_51->n27_a_ibm_1401_52 n27_a_ibm_1401_53->n27_a_ibm_1401_54 
( (IP-MAT (NP-SBJ (ADJP (ADJ Many;{many}))
                  (ADJP (ADJ pre_<hyphen>_written;{pre_written}))
                  (NS programs;{program}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (VVN;_Tn_ supplied;{supply})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NPR IBM;{IBM}))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (VAG;_Tn_ eliminating;{eliminate})
                            (NP-OB1 (N necessity;{necessity})
                                    (PP (P-ROLE of;{of})
                                        (IP-PPL (NP-SBJ;{STAFFS} (NP-GEN (NS customers;{customer})
                                                                         (GENM <apos>))
                                                                 (NS staffs;{staff}))
                                                (VAG;_Tn_ writing;{write})
                                                (NP-OB1 (NP-GEN (NP-GEN;{STAFFS} (PRO;_genm_ their;{their}))
                                                                (ADJP (ADJ own;{own})))))))))
          (PUNC .))
  (ID 27_a_ibm_1401))