TSPC 80_a_ibm

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

( (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))

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,inv_arg1).
arc(r_0080_0005__written,r_0080_0007__customers,r_0080_0006__by_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,inv_arg1).
arc(r_0080_0010__written,r_0080_0012__IBM,r_0080_0011__by_arg0).

fof(formula,axiom,
    ? [R_0080_0001__THESE,R_0080_0007__CUSTOMERS,R_0080_0005__WRITTEN,R_0080_0004__PROGRAMS,R_0080_0012__IBM,R_0080_0010__WRITTEN,R_0080_0009__PROGRAMS,R_0080_0008__AND,R_0080_0002__WILL_R_0080_0003__INCLUDE] :
      ( r_0080_0001__These(R_0080_0001__THESE)
      & r_0080_0007__customers(R_0080_0007__CUSTOMERS)
      & r_0080_0012__IBM(R_0080_0012__IBM)
      & r_0080_0002__will_r_0080_0003__include(R_0080_0002__WILL_R_0080_0003__INCLUDE)
      & has_arg1(R_0080_0002__WILL_R_0080_0003__INCLUDE,R_0080_0008__AND)
      & r_0080_0008__and(R_0080_0008__AND)
      & has_conj2(R_0080_0008__AND,R_0080_0009__PROGRAMS)
      & r_0080_0009__programs(R_0080_0009__PROGRAMS)
      & has_inv_arg1(R_0080_0009__PROGRAMS,R_0080_0010__WRITTEN)
      & r_0080_0010__written(R_0080_0010__WRITTEN)
      & has_r_0080_0011__by_arg0(R_0080_0010__WRITTEN,R_0080_0012__IBM)
      & has_conj1(R_0080_0008__AND,R_0080_0004__PROGRAMS)
      & r_0080_0004__programs(R_0080_0004__PROGRAMS)
      & has_inv_arg1(R_0080_0004__PROGRAMS,R_0080_0005__WRITTEN)
      & r_0080_0005__written(R_0080_0005__WRITTEN)
      & has_r_0080_0006__by_arg0(R_0080_0005__WRITTEN,R_0080_0007__CUSTOMERS)
      & has_arg0(R_0080_0002__WILL_R_0080_0003__INCLUDE,R_0080_0001__THESE) ) ).