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_0010__written written r_0080_0012__IBM IBM r_0080_0010__written->r_0080_0012__IBM [arg0] r_0080_0009__programs programs r_0080_0010__written->r_0080_0009__programs [arg1] r_0080_0008__and and r_0080_0008__and->r_0080_0009__programs [conj2] r_0080_0004__programs programs r_0080_0008__and->r_0080_0004__programs [conj1] 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_0002__will_r_0080_0003__include will include r_0080_0002__will_r_0080_0003__include->r_0080_0008__and [arg1] r_0080_0001__These These r_0080_0002__will_r_0080_0003__include->r_0080_0001__These [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__1_1_1_1 These n80_a_ibm_1401__1_2_1 will n80_a_ibm_1401__1_3_1_1 include n80_a_ibm_1401__1_3_2_1_1_1_1 programs n80_a_ibm_1401__1_3_2_1_1_2_1_1 written n80_a_ibm_1401__1_3_2_1_1_2_2_1_1 by n80_a_ibm_1401__1_3_2_1_1_2_2_2_1_1 customers n80_a_ibm_1401__1_3_2_1_2_1_1 and n80_a_ibm_1401__1_3_2_1_2_2_1_1 programs n80_a_ibm_1401__1_3_2_1_2_2_2_1_1 written n80_a_ibm_1401__1_3_2_1_2_2_2_2_1_1 by n80_a_ibm_1401__1_3_2_1_2_2_2_2_2_1_1 IBM n80_a_ibm_1401__1_4_1 . n80_a_ibm_1401__1 IP-MAT n80_a_ibm_1401__1_1 NP-SBJ n80_a_ibm_1401__1->n80_a_ibm_1401__1_1 n80_a_ibm_1401__1_2 MD;_cat_Vi_ n80_a_ibm_1401__1->n80_a_ibm_1401__1_2 n80_a_ibm_1401__1_3 IP-INF-CAT n80_a_ibm_1401__1->n80_a_ibm_1401__1_3 n80_a_ibm_1401__1_4 PUNC n80_a_ibm_1401__1->n80_a_ibm_1401__1_4 n80_a_ibm_1401__1_1_1 D;_nphd_ n80_a_ibm_1401__1_1->n80_a_ibm_1401__1_1_1 n80_a_ibm_1401__1_1_1->n80_a_ibm_1401__1_1_1_1 n80_a_ibm_1401__1_2->n80_a_ibm_1401__1_2_1 n80_a_ibm_1401__1_3_1 VB;_Tn_ n80_a_ibm_1401__1_3->n80_a_ibm_1401__1_3_1 n80_a_ibm_1401__1_3_2 NP-OB1 n80_a_ibm_1401__1_3->n80_a_ibm_1401__1_3_2 n80_a_ibm_1401__1_3_1->n80_a_ibm_1401__1_3_1_1 n80_a_ibm_1401__1_3_2_1 NLYR n80_a_ibm_1401__1_3_2->n80_a_ibm_1401__1_3_2_1 n80_a_ibm_1401__1_3_2_1_1 NLYR n80_a_ibm_1401__1_3_2_1->n80_a_ibm_1401__1_3_2_1_1 n80_a_ibm_1401__1_3_2_1_2 CONJP n80_a_ibm_1401__1_3_2_1->n80_a_ibm_1401__1_3_2_1_2 n80_a_ibm_1401__1_3_2_1_1_1 NS n80_a_ibm_1401__1_3_2_1_1->n80_a_ibm_1401__1_3_2_1_1_1 n80_a_ibm_1401__1_3_2_1_1_2 IP-PPL n80_a_ibm_1401__1_3_2_1_1->n80_a_ibm_1401__1_3_2_1_1_2 n80_a_ibm_1401__1_3_2_1_1_1->n80_a_ibm_1401__1_3_2_1_1_1_1 n80_a_ibm_1401__1_3_2_1_1_2_1 VVN;_Tn_ n80_a_ibm_1401__1_3_2_1_1_2->n80_a_ibm_1401__1_3_2_1_1_2_1 n80_a_ibm_1401__1_3_2_1_1_2_2 PP-LGS n80_a_ibm_1401__1_3_2_1_1_2->n80_a_ibm_1401__1_3_2_1_1_2_2 n80_a_ibm_1401__1_3_2_1_1_2_1->n80_a_ibm_1401__1_3_2_1_1_2_1_1 n80_a_ibm_1401__1_3_2_1_1_2_2_1 P-ROLE;_lgs_ n80_a_ibm_1401__1_3_2_1_1_2_2->n80_a_ibm_1401__1_3_2_1_1_2_2_1 n80_a_ibm_1401__1_3_2_1_1_2_2_2 NP n80_a_ibm_1401__1_3_2_1_1_2_2->n80_a_ibm_1401__1_3_2_1_1_2_2_2 n80_a_ibm_1401__1_3_2_1_1_2_2_1->n80_a_ibm_1401__1_3_2_1_1_2_2_1_1 n80_a_ibm_1401__1_3_2_1_1_2_2_2_1 NS n80_a_ibm_1401__1_3_2_1_1_2_2_2->n80_a_ibm_1401__1_3_2_1_1_2_2_2_1 n80_a_ibm_1401__1_3_2_1_1_2_2_2_1->n80_a_ibm_1401__1_3_2_1_1_2_2_2_1_1 n80_a_ibm_1401__1_3_2_1_2_1 CONJ n80_a_ibm_1401__1_3_2_1_2->n80_a_ibm_1401__1_3_2_1_2_1 n80_a_ibm_1401__1_3_2_1_2_2 NLYR n80_a_ibm_1401__1_3_2_1_2->n80_a_ibm_1401__1_3_2_1_2_2 n80_a_ibm_1401__1_3_2_1_2_1->n80_a_ibm_1401__1_3_2_1_2_1_1 n80_a_ibm_1401__1_3_2_1_2_2_1 NS n80_a_ibm_1401__1_3_2_1_2_2->n80_a_ibm_1401__1_3_2_1_2_2_1 n80_a_ibm_1401__1_3_2_1_2_2_2 IP-PPL n80_a_ibm_1401__1_3_2_1_2_2->n80_a_ibm_1401__1_3_2_1_2_2_2 n80_a_ibm_1401__1_3_2_1_2_2_1->n80_a_ibm_1401__1_3_2_1_2_2_1_1 n80_a_ibm_1401__1_3_2_1_2_2_2_1 VVN;_Tn_ n80_a_ibm_1401__1_3_2_1_2_2_2->n80_a_ibm_1401__1_3_2_1_2_2_2_1 n80_a_ibm_1401__1_3_2_1_2_2_2_2 PP-LGS n80_a_ibm_1401__1_3_2_1_2_2_2->n80_a_ibm_1401__1_3_2_1_2_2_2_2 n80_a_ibm_1401__1_3_2_1_2_2_2_1->n80_a_ibm_1401__1_3_2_1_2_2_2_1_1 n80_a_ibm_1401__1_3_2_1_2_2_2_2_1 P-ROLE;_lgs_ n80_a_ibm_1401__1_3_2_1_2_2_2_2->n80_a_ibm_1401__1_3_2_1_2_2_2_2_1 n80_a_ibm_1401__1_3_2_1_2_2_2_2_2 NP n80_a_ibm_1401__1_3_2_1_2_2_2_2->n80_a_ibm_1401__1_3_2_1_2_2_2_2_2 n80_a_ibm_1401__1_3_2_1_2_2_2_2_1->n80_a_ibm_1401__1_3_2_1_2_2_2_2_1_1 n80_a_ibm_1401__1_3_2_1_2_2_2_2_2_1 NPR n80_a_ibm_1401__1_3_2_1_2_2_2_2_2->n80_a_ibm_1401__1_3_2_1_2_2_2_2_2_1 n80_a_ibm_1401__1_3_2_1_2_2_2_2_2_1->n80_a_ibm_1401__1_3_2_1_2_2_2_2_2_1_1 n80_a_ibm_1401__1_4->n80_a_ibm_1401__1_4_1 
( (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))