TSPC 72_a_ibm

72_a_ibm_1401
With IBM you can be certain of total systems support for maximum profitability.

( (IP-MAT (PP-NIM (P-ROLE With;{with})
                  (NP (NPR IBM;{IBM})))
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ certain;{certain})
                                (PP (P-ROLE of;{of})
                                    (NP (ADJP (ADJ total;{total}))
                                        (NS systems;{system})
                                        (N support;{support})
                                        (PP (P-ROLE for;{for})
                                            (NP (ADJP (ADJ maximum;{maximum}))
                                                (N profitability;{profitability})))))))
          (PUNC .))
  (ID 72_a_ibm_1401))

arc(r_0072_0004__can,r_0072_0002__IBM,r_0072_0001__With__nim).
arc(r_0072_0004__can,r_0072_0005__be,scope).
arc(r_0072_0005__be,r_0072_0003__you,arg0).
arc(r_0072_0005__be,r_0072_0006__certain,prd).
arc(r_0072_0006__certain,r_0072_0009__systems_r_0072_0010__support,r_0072_0007__of).
arc(r_0072_0009__systems_r_0072_0010__support,r_0072_0008__total,attrib).
arc(r_0072_0009__systems_r_0072_0010__support,r_0072_0013__profitability,r_0072_0011__for).
arc(r_0072_0013__profitability,r_0072_0012__maximum,attrib).

fof(formula,axiom,
    ? [R_0072_0002__IBM,R_0072_0003__YOU,R_0072_0008__TOTAL,R_0072_0012__MAXIMUM,R_0072_0013__PROFITABILITY,R_0072_0009__SYSTEMS_R_0072_0010__SUPPORT,R_0072_0006__CERTAIN,R_0072_0004__CAN_R_0072_0005__BE] :
      ( r_0072_0002__IBM(R_0072_0002__IBM)
      & r_0072_0003__you(R_0072_0003__YOU)
      & r_0072_0008__total(R_0072_0008__TOTAL)
      & r_0072_0012__maximum(R_0072_0012__MAXIMUM)
      & r_0072_0004__can_r_0072_0005__be(R_0072_0004__CAN_R_0072_0005__BE)
      & has_prd(R_0072_0004__CAN_R_0072_0005__BE,R_0072_0006__CERTAIN)
      & r_0072_0006__certain(R_0072_0006__CERTAIN)
      & has_r_0072_0007__of(R_0072_0006__CERTAIN,R_0072_0009__SYSTEMS_R_0072_0010__SUPPORT)
      & r_0072_0009__systems_r_0072_0010__support(R_0072_0009__SYSTEMS_R_0072_0010__SUPPORT)
      & has_r_0072_0011__for(R_0072_0009__SYSTEMS_R_0072_0010__SUPPORT,R_0072_0013__PROFITABILITY)
      & r_0072_0013__profitability(R_0072_0013__PROFITABILITY)
      & has_attrib(R_0072_0013__PROFITABILITY,R_0072_0012__MAXIMUM)
      & has_attrib(R_0072_0009__SYSTEMS_R_0072_0010__SUPPORT,R_0072_0008__TOTAL)
      & has_arg0(R_0072_0004__CAN_R_0072_0005__BE,R_0072_0003__YOU)
      & has_r_0072_0001__With__nim(R_0072_0004__CAN_R_0072_0005__BE,R_0072_0002__IBM) ) ).