Context                Previous, Next                Top


80_a_ibm_1401
These will include programs written by customers and programs written by IBM.

%3 r_0080_0002__will will r_0080_0003__include include r_0080_0002__will->r_0080_0003__include [scope] r_0080_0001__These These r_0080_0003__include->r_0080_0001__These [arg0] r_0080_0008__and and r_0080_0003__include->r_0080_0008__and [arg1] r_0080_0004__programs programs r_0080_0008__and->r_0080_0004__programs [conj1] r_0080_0009__programs programs r_0080_0008__and->r_0080_0009__programs [conj2] r_0080_0005__written written r_0080_0005__written->r_0080_0004__programs [arg1] r_0080_0007__customers customers r_0080_0005__written->r_0080_0007__customers [arg0] r_0080_0010__written written r_0080_0010__written->r_0080_0009__programs [arg1] r_0080_0012__IBM IBM r_0080_0010__written->r_0080_0012__IBM [arg0] 
arc(r_0080_0002__will, r_0080_0003__include, scope).
arc(r_0080_0003__include, r_0080_0001__These, arg0).
arc(r_0080_0003__include, r_0080_0008__and, arg1).
arc(r_0080_0005__written, r_0080_0004__programs, arg1).
arc(r_0080_0005__written, r_0080_0007__customers, arg0).
arc(r_0080_0008__and, r_0080_0004__programs, conj1).
arc(r_0080_0008__and, r_0080_0009__programs, conj2).
arc(r_0080_0010__written, r_0080_0009__programs, arg1).
arc(r_0080_0010__written, r_0080_0012__IBM, arg0).


%3 r_0080_0002__will_r_0080_0003__include will include r_0080_0001__These These r_0080_0002__will_r_0080_0003__include->r_0080_0001__These [arg0] r_0080_0008__and and r_0080_0002__will_r_0080_0003__include->r_0080_0008__and [arg1] r_0080_0004__programs programs r_0080_0008__and->r_0080_0004__programs [conj1] r_0080_0009__programs programs r_0080_0008__and->r_0080_0009__programs [conj2] r_0080_0005__written written r_0080_0005__written->r_0080_0004__programs [arg1] r_0080_0007__customers customers r_0080_0005__written->r_0080_0007__customers [arg0] r_0080_0010__written written r_0080_0010__written->r_0080_0009__programs [arg1] r_0080_0012__IBM IBM r_0080_0010__written->r_0080_0012__IBM [arg0] 
fof(formula,axiom,
    ? [R_80_2_WILL_INCLUDE,R_80_1_THESE,R_80_8_AND,R_80_5_WRITTEN,R_80_7_CUSTOMERS,R_80_4_PROGRAMS,R_80_10_WRITTEN,R_80_12_IBM,R_80_9_PROGRAMS] :
      ( these(R_80_1_THESE)
      & customers(R_80_7_CUSTOMERS)
      & programs(R_80_4_PROGRAMS)
      & iBM(R_80_12_IBM)
      & programs(R_80_9_PROGRAMS)
      & will_include(R_80_2_WILL_INCLUDE,R_80_1_THESE,R_80_8_AND)
      & and(R_80_8_AND)
      & conj1(R_80_8_AND,R_80_4_PROGRAMS)
      & conj2(R_80_8_AND,R_80_9_PROGRAMS)
      & written(R_80_5_WRITTEN,R_80_7_CUSTOMERS,R_80_4_PROGRAMS)
      & written(R_80_10_WRITTEN,R_80_12_IBM,R_80_9_PROGRAMS) ) ).


n80_a_ibm_1401 n80_a_ibm_1401_4 These n80_a_ibm_1401_6 will n80_a_ibm_1401_9 include n80_a_ibm_1401_14 programs n80_a_ibm_1401_17 written n80_a_ibm_1401_20 by n80_a_ibm_1401_23 customers n80_a_ibm_1401_26 and n80_a_ibm_1401_29 programs n80_a_ibm_1401_32 written n80_a_ibm_1401_35 by n80_a_ibm_1401_38 IBM n80_a_ibm_1401_40 . n80_a_ibm_1401_1 IP-MAT n80_a_ibm_1401_2 NP-SBJ n80_a_ibm_1401_1->n80_a_ibm_1401_2 n80_a_ibm_1401_5 MD;_cat_Vi_ n80_a_ibm_1401_1->n80_a_ibm_1401_5 n80_a_ibm_1401_7 IP-INF-CAT n80_a_ibm_1401_1->n80_a_ibm_1401_7 n80_a_ibm_1401_39 PUNC n80_a_ibm_1401_1->n80_a_ibm_1401_39 n80_a_ibm_1401_3 D;_nphd_ n80_a_ibm_1401_2->n80_a_ibm_1401_3 n80_a_ibm_1401_3->n80_a_ibm_1401_4 n80_a_ibm_1401_5->n80_a_ibm_1401_6 n80_a_ibm_1401_8 VB;_Tn_ n80_a_ibm_1401_7->n80_a_ibm_1401_8 n80_a_ibm_1401_10 NP-OB1 n80_a_ibm_1401_7->n80_a_ibm_1401_10 n80_a_ibm_1401_8->n80_a_ibm_1401_9 n80_a_ibm_1401_11 NLYR n80_a_ibm_1401_10->n80_a_ibm_1401_11 n80_a_ibm_1401_12 NLYR n80_a_ibm_1401_11->n80_a_ibm_1401_12 n80_a_ibm_1401_24 CONJP n80_a_ibm_1401_11->n80_a_ibm_1401_24 n80_a_ibm_1401_13 NS n80_a_ibm_1401_12->n80_a_ibm_1401_13 n80_a_ibm_1401_15 IP-PPL n80_a_ibm_1401_12->n80_a_ibm_1401_15 n80_a_ibm_1401_13->n80_a_ibm_1401_14 n80_a_ibm_1401_16 VVN;_Tn_ n80_a_ibm_1401_15->n80_a_ibm_1401_16 n80_a_ibm_1401_18 PP-LGS n80_a_ibm_1401_15->n80_a_ibm_1401_18 n80_a_ibm_1401_16->n80_a_ibm_1401_17 n80_a_ibm_1401_19 P-ROLE;_lgs_ n80_a_ibm_1401_18->n80_a_ibm_1401_19 n80_a_ibm_1401_21 NP n80_a_ibm_1401_18->n80_a_ibm_1401_21 n80_a_ibm_1401_19->n80_a_ibm_1401_20 n80_a_ibm_1401_22 NS n80_a_ibm_1401_21->n80_a_ibm_1401_22 n80_a_ibm_1401_22->n80_a_ibm_1401_23 n80_a_ibm_1401_25 CONJ n80_a_ibm_1401_24->n80_a_ibm_1401_25 n80_a_ibm_1401_27 NLYR n80_a_ibm_1401_24->n80_a_ibm_1401_27 n80_a_ibm_1401_25->n80_a_ibm_1401_26 n80_a_ibm_1401_28 NS n80_a_ibm_1401_27->n80_a_ibm_1401_28 n80_a_ibm_1401_30 IP-PPL n80_a_ibm_1401_27->n80_a_ibm_1401_30 n80_a_ibm_1401_28->n80_a_ibm_1401_29 n80_a_ibm_1401_31 VVN;_Tn_ n80_a_ibm_1401_30->n80_a_ibm_1401_31 n80_a_ibm_1401_33 PP-LGS n80_a_ibm_1401_30->n80_a_ibm_1401_33 n80_a_ibm_1401_31->n80_a_ibm_1401_32 n80_a_ibm_1401_34 P-ROLE;_lgs_ n80_a_ibm_1401_33->n80_a_ibm_1401_34 n80_a_ibm_1401_36 NP n80_a_ibm_1401_33->n80_a_ibm_1401_36 n80_a_ibm_1401_34->n80_a_ibm_1401_35 n80_a_ibm_1401_37 NPR n80_a_ibm_1401_36->n80_a_ibm_1401_37 n80_a_ibm_1401_37->n80_a_ibm_1401_38 n80_a_ibm_1401_39->n80_a_ibm_1401_40 
( (IP-MAT (NP-SBJ;{LIBRARY_PROGRAMS} (D;_nphd_ These;{these}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ include;{include})
                      (NP-OB1 (NLYR (NLYR (NS programs;{program})
                                          (IP-PPL (VVN;_Tn_ written;{write})
                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                          (NP (NS customers;{customer})))))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NS programs;{program})
                                                 (IP-PPL (VVN;_Tn_ written;{write})
                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                 (NP (NPR IBM;{IBM})))))))))
          (PUNC .))
  (ID 80_a_ibm_1401))