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 z_000_27_a_ibm_1401_46 r_0027_0017__own own z_000_27_a_ibm_1401_46->r_0027_0017__own [attrib] r_0027_0014__staffs staffs z_000_27_a_ibm_1401_46->r_0027_0014__staffs [gen] 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_45 z_000_27_a_ibm_1401_45->z_000_27_a_ibm_1401_46 [gen] z_000_27_a_ibm_1401_24 r_0027_0009__eliminating eliminating z_000_27_a_ibm_1401_24->r_0027_0009__eliminating [conj1] r_0027_0004__are_r_0027_0005__supplied are supplied z_000_27_a_ibm_1401_24->r_0027_0004__are_r_0027_0005__supplied [conj2] 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_0007__IBM IBM r_0027_0004__are_r_0027_0005__supplied->r_0027_0007__IBM [arg0] r_0027_0003__programs programs r_0027_0004__are_r_0027_0005__supplied->r_0027_0003__programs [arg1] r_0027_0015__writing writing r_0027_0015__writing->r_0027_0014__staffs [arg0] r_0027_0015__writing->z_000_27_a_ibm_1401_45 [arg1] r_0027_0010__necessity->r_0027_0015__writing of r_0027_0002__pre__hyphen__written pre-written r_0027_0003__programs->r_0027_0002__pre__hyphen__written [attrib] r_0027_0001__Many Many r_0027_0003__programs->r_0027_0001__Many [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__1_1_1_1_1 Many n27_a_ibm_1401__1_1_2_1_1 pre-written n27_a_ibm_1401__1_1_3_1 programs n27_a_ibm_1401__1_2_1 are n27_a_ibm_1401__1_3_1_1 supplied n27_a_ibm_1401__1_3_2_1_1 by n27_a_ibm_1401__1_3_2_2_1_1 IBM n27_a_ibm_1401__1_4_1 , n27_a_ibm_1401__1_5_1_1_1 eliminating n27_a_ibm_1401__1_5_1_2_1_1 necessity n27_a_ibm_1401__1_5_1_2_2_1_1 of n27_a_ibm_1401__1_5_1_2_2_2_1_1_1_1 customers n27_a_ibm_1401__1_5_1_2_2_2_1_1_2_1 ' n27_a_ibm_1401__1_5_1_2_2_2_1_2_1 staffs n27_a_ibm_1401__1_5_1_2_2_2_2_1 writing n27_a_ibm_1401__1_5_1_2_2_2_3_1_1_1_1 their n27_a_ibm_1401__1_5_1_2_2_2_3_1_2_1_1 own n27_a_ibm_1401__1_6_1 . n27_a_ibm_1401__1 IP-MAT n27_a_ibm_1401__1_1 NP-SBJ n27_a_ibm_1401__1->n27_a_ibm_1401__1_1 n27_a_ibm_1401__1_2 BEP;_cat_VePASS_ n27_a_ibm_1401__1->n27_a_ibm_1401__1_2 n27_a_ibm_1401__1_3 IP-PPL-CAT n27_a_ibm_1401__1->n27_a_ibm_1401__1_3 n27_a_ibm_1401__1_4 PUNC n27_a_ibm_1401__1->n27_a_ibm_1401__1_4 n27_a_ibm_1401__1_5 PP-SCON n27_a_ibm_1401__1->n27_a_ibm_1401__1_5 n27_a_ibm_1401__1_6 PUNC n27_a_ibm_1401__1->n27_a_ibm_1401__1_6 n27_a_ibm_1401__1_1_1 ADJP n27_a_ibm_1401__1_1->n27_a_ibm_1401__1_1_1 n27_a_ibm_1401__1_1_2 ADJP n27_a_ibm_1401__1_1->n27_a_ibm_1401__1_1_2 n27_a_ibm_1401__1_1_3 NS n27_a_ibm_1401__1_1->n27_a_ibm_1401__1_1_3 n27_a_ibm_1401__1_1_1_1 ADJ n27_a_ibm_1401__1_1_1->n27_a_ibm_1401__1_1_1_1 n27_a_ibm_1401__1_1_1_1->n27_a_ibm_1401__1_1_1_1_1 n27_a_ibm_1401__1_1_2_1 ADJ n27_a_ibm_1401__1_1_2->n27_a_ibm_1401__1_1_2_1 n27_a_ibm_1401__1_1_2_1->n27_a_ibm_1401__1_1_2_1_1 n27_a_ibm_1401__1_1_3->n27_a_ibm_1401__1_1_3_1 n27_a_ibm_1401__1_2->n27_a_ibm_1401__1_2_1 n27_a_ibm_1401__1_3_1 VVN;_Tn_ n27_a_ibm_1401__1_3->n27_a_ibm_1401__1_3_1 n27_a_ibm_1401__1_3_2 PP-LGS n27_a_ibm_1401__1_3->n27_a_ibm_1401__1_3_2 n27_a_ibm_1401__1_3_1->n27_a_ibm_1401__1_3_1_1 n27_a_ibm_1401__1_3_2_1 P-ROLE;_lgs_ n27_a_ibm_1401__1_3_2->n27_a_ibm_1401__1_3_2_1 n27_a_ibm_1401__1_3_2_2 NP n27_a_ibm_1401__1_3_2->n27_a_ibm_1401__1_3_2_2 n27_a_ibm_1401__1_3_2_1->n27_a_ibm_1401__1_3_2_1_1 n27_a_ibm_1401__1_3_2_2_1 NPR n27_a_ibm_1401__1_3_2_2->n27_a_ibm_1401__1_3_2_2_1 n27_a_ibm_1401__1_3_2_2_1->n27_a_ibm_1401__1_3_2_2_1_1 n27_a_ibm_1401__1_4->n27_a_ibm_1401__1_4_1 n27_a_ibm_1401__1_5_1 IP-PPL3 n27_a_ibm_1401__1_5->n27_a_ibm_1401__1_5_1 n27_a_ibm_1401__1_5_1_1 VAG;_Tn_ n27_a_ibm_1401__1_5_1->n27_a_ibm_1401__1_5_1_1 n27_a_ibm_1401__1_5_1_2 NP-OB1 n27_a_ibm_1401__1_5_1->n27_a_ibm_1401__1_5_1_2 n27_a_ibm_1401__1_5_1_1->n27_a_ibm_1401__1_5_1_1_1 n27_a_ibm_1401__1_5_1_2_1 N n27_a_ibm_1401__1_5_1_2->n27_a_ibm_1401__1_5_1_2_1 n27_a_ibm_1401__1_5_1_2_2 PP n27_a_ibm_1401__1_5_1_2->n27_a_ibm_1401__1_5_1_2_2 n27_a_ibm_1401__1_5_1_2_1->n27_a_ibm_1401__1_5_1_2_1_1 n27_a_ibm_1401__1_5_1_2_2_1 P-ROLE n27_a_ibm_1401__1_5_1_2_2->n27_a_ibm_1401__1_5_1_2_2_1 n27_a_ibm_1401__1_5_1_2_2_2 IP-PPL3 n27_a_ibm_1401__1_5_1_2_2->n27_a_ibm_1401__1_5_1_2_2_2 n27_a_ibm_1401__1_5_1_2_2_1->n27_a_ibm_1401__1_5_1_2_2_1_1 n27_a_ibm_1401__1_5_1_2_2_2_1 NP-SBJ n27_a_ibm_1401__1_5_1_2_2_2->n27_a_ibm_1401__1_5_1_2_2_2_1 n27_a_ibm_1401__1_5_1_2_2_2_2 VAG;_Tn_ n27_a_ibm_1401__1_5_1_2_2_2->n27_a_ibm_1401__1_5_1_2_2_2_2 n27_a_ibm_1401__1_5_1_2_2_2_3 NP-OB1 n27_a_ibm_1401__1_5_1_2_2_2->n27_a_ibm_1401__1_5_1_2_2_2_3 n27_a_ibm_1401__1_5_1_2_2_2_1_1 NP-GEN n27_a_ibm_1401__1_5_1_2_2_2_1->n27_a_ibm_1401__1_5_1_2_2_2_1_1 n27_a_ibm_1401__1_5_1_2_2_2_1_2 NS n27_a_ibm_1401__1_5_1_2_2_2_1->n27_a_ibm_1401__1_5_1_2_2_2_1_2 n27_a_ibm_1401__1_5_1_2_2_2_1_1_1 NS n27_a_ibm_1401__1_5_1_2_2_2_1_1->n27_a_ibm_1401__1_5_1_2_2_2_1_1_1 n27_a_ibm_1401__1_5_1_2_2_2_1_1_2 GENM n27_a_ibm_1401__1_5_1_2_2_2_1_1->n27_a_ibm_1401__1_5_1_2_2_2_1_1_2 n27_a_ibm_1401__1_5_1_2_2_2_1_1_1->n27_a_ibm_1401__1_5_1_2_2_2_1_1_1_1 n27_a_ibm_1401__1_5_1_2_2_2_1_1_2->n27_a_ibm_1401__1_5_1_2_2_2_1_1_2_1 n27_a_ibm_1401__1_5_1_2_2_2_1_2->n27_a_ibm_1401__1_5_1_2_2_2_1_2_1 n27_a_ibm_1401__1_5_1_2_2_2_2->n27_a_ibm_1401__1_5_1_2_2_2_2_1 n27_a_ibm_1401__1_5_1_2_2_2_3_1 NP-GEN n27_a_ibm_1401__1_5_1_2_2_2_3->n27_a_ibm_1401__1_5_1_2_2_2_3_1 n27_a_ibm_1401__1_5_1_2_2_2_3_1_1 NP-GEN n27_a_ibm_1401__1_5_1_2_2_2_3_1->n27_a_ibm_1401__1_5_1_2_2_2_3_1_1 n27_a_ibm_1401__1_5_1_2_2_2_3_1_2 ADJP n27_a_ibm_1401__1_5_1_2_2_2_3_1->n27_a_ibm_1401__1_5_1_2_2_2_3_1_2 n27_a_ibm_1401__1_5_1_2_2_2_3_1_1_1 PRO;_genm_ n27_a_ibm_1401__1_5_1_2_2_2_3_1_1->n27_a_ibm_1401__1_5_1_2_2_2_3_1_1_1 n27_a_ibm_1401__1_5_1_2_2_2_3_1_1_1->n27_a_ibm_1401__1_5_1_2_2_2_3_1_1_1_1 n27_a_ibm_1401__1_5_1_2_2_2_3_1_2_1 ADJ n27_a_ibm_1401__1_5_1_2_2_2_3_1_2->n27_a_ibm_1401__1_5_1_2_2_2_3_1_2_1 n27_a_ibm_1401__1_5_1_2_2_2_3_1_2_1->n27_a_ibm_1401__1_5_1_2_2_2_3_1_2_1_1 n27_a_ibm_1401__1_6->n27_a_ibm_1401__1_6_1 
( (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-PPL3 (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))