Context                Previous, Next                Top


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

%3 r_0072_0004__can can r_0072_0002__IBM IBM r_0072_0004__can->r_0072_0002__IBM With [nim] r_0072_0005__be be r_0072_0004__can->r_0072_0005__be [scope] r_0072_0003__you you r_0072_0005__be->r_0072_0003__you [arg0] r_0072_0006__certain certain r_0072_0005__be->r_0072_0006__certain [prd] r_0072_0009__systems_r_0072_0010__support systems support r_0072_0006__certain->r_0072_0009__systems_r_0072_0010__support of r_0072_0008__total total r_0072_0009__systems_r_0072_0010__support->r_0072_0008__total [attrib] r_0072_0013__profitability profitability r_0072_0009__systems_r_0072_0010__support->r_0072_0013__profitability for r_0072_0012__maximum maximum r_0072_0013__profitability->r_0072_0012__maximum [attrib] 
arc(r_0072_0004__can, r_0072_0002__IBM, r_0072_0001__With_nim5).
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, attrib23).
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, attrib34).


%3 r_0072_0004__can_r_0072_0005__be can be r_0072_0002__IBM IBM r_0072_0004__can_r_0072_0005__be->r_0072_0002__IBM With [nim] r_0072_0003__you you r_0072_0004__can_r_0072_0005__be->r_0072_0003__you [arg0] r_0072_0006__certain certain r_0072_0004__can_r_0072_0005__be->r_0072_0006__certain [prd] r_0072_0009__systems_r_0072_0010__support systems support r_0072_0006__certain->r_0072_0009__systems_r_0072_0010__support of r_0072_0008__total total r_0072_0009__systems_r_0072_0010__support->r_0072_0008__total [attrib] r_0072_0013__profitability profitability r_0072_0009__systems_r_0072_0010__support->r_0072_0013__profitability for r_0072_0012__maximum maximum r_0072_0013__profitability->r_0072_0012__maximum [attrib] 
fof(formula,axiom,
    ? [R_72_4_CAN_BE,R_72_3_YOU,R_72_6_CERTAIN,R_72_9_SYSTEMS_SUPPORT,R_72_8_TOTAL,R_72_13_PROFITABILITY,R_72_12_MAXIMUM,R_72_2_IBM] :
      ( you(R_72_3_YOU)
      & total(R_72_8_TOTAL)
      & maximum(R_72_12_MAXIMUM)
      & iBM(R_72_2_IBM)
      & can_be(R_72_4_CAN_BE,R_72_3_YOU,R_72_6_CERTAIN)
      & certain(R_72_6_CERTAIN)
      & of(R_72_6_CERTAIN,R_72_9_SYSTEMS_SUPPORT)
      & systems_support(R_72_9_SYSTEMS_SUPPORT)
      & attrib23(R_72_9_SYSTEMS_SUPPORT,R_72_8_TOTAL)
      & for(R_72_9_SYSTEMS_SUPPORT,R_72_13_PROFITABILITY)
      & profitability(R_72_13_PROFITABILITY)
      & attrib34(R_72_13_PROFITABILITY,R_72_12_MAXIMUM)
      & with_nim5(R_72_4_CAN_BE,R_72_2_IBM) ) ).


n72_a_ibm_1401 n72_a_ibm_1401_4 With n72_a_ibm_1401_7 IBM n72_a_ibm_1401_10 you n72_a_ibm_1401_12 can n72_a_ibm_1401_15 be n72_a_ibm_1401_18 certain n72_a_ibm_1401_21 of n72_a_ibm_1401_25 total n72_a_ibm_1401_27 systems n72_a_ibm_1401_29 support n72_a_ibm_1401_32 for n72_a_ibm_1401_36 maximum n72_a_ibm_1401_38 profitability n72_a_ibm_1401_40 . n72_a_ibm_1401_1 IP-MAT n72_a_ibm_1401_2 PP-NIM n72_a_ibm_1401_1->n72_a_ibm_1401_2 n72_a_ibm_1401_8 NP-SBJ n72_a_ibm_1401_1->n72_a_ibm_1401_8 n72_a_ibm_1401_11 MD;_cat_Vi_ n72_a_ibm_1401_1->n72_a_ibm_1401_11 n72_a_ibm_1401_13 IP-INF-CAT n72_a_ibm_1401_1->n72_a_ibm_1401_13 n72_a_ibm_1401_39 PUNC n72_a_ibm_1401_1->n72_a_ibm_1401_39 n72_a_ibm_1401_3 P-ROLE n72_a_ibm_1401_2->n72_a_ibm_1401_3 n72_a_ibm_1401_5 NP n72_a_ibm_1401_2->n72_a_ibm_1401_5 n72_a_ibm_1401_3->n72_a_ibm_1401_4 n72_a_ibm_1401_6 NPR n72_a_ibm_1401_5->n72_a_ibm_1401_6 n72_a_ibm_1401_6->n72_a_ibm_1401_7 n72_a_ibm_1401_9 PRO n72_a_ibm_1401_8->n72_a_ibm_1401_9 n72_a_ibm_1401_9->n72_a_ibm_1401_10 n72_a_ibm_1401_11->n72_a_ibm_1401_12 n72_a_ibm_1401_14 BE;_La_ n72_a_ibm_1401_13->n72_a_ibm_1401_14 n72_a_ibm_1401_16 ADJP-PRD n72_a_ibm_1401_13->n72_a_ibm_1401_16 n72_a_ibm_1401_14->n72_a_ibm_1401_15 n72_a_ibm_1401_17 ADJ n72_a_ibm_1401_16->n72_a_ibm_1401_17 n72_a_ibm_1401_19 PP n72_a_ibm_1401_16->n72_a_ibm_1401_19 n72_a_ibm_1401_17->n72_a_ibm_1401_18 n72_a_ibm_1401_20 P-ROLE n72_a_ibm_1401_19->n72_a_ibm_1401_20 n72_a_ibm_1401_22 NP n72_a_ibm_1401_19->n72_a_ibm_1401_22 n72_a_ibm_1401_20->n72_a_ibm_1401_21 n72_a_ibm_1401_23 ADJP n72_a_ibm_1401_22->n72_a_ibm_1401_23 n72_a_ibm_1401_26 NS n72_a_ibm_1401_22->n72_a_ibm_1401_26 n72_a_ibm_1401_28 N n72_a_ibm_1401_22->n72_a_ibm_1401_28 n72_a_ibm_1401_30 PP n72_a_ibm_1401_22->n72_a_ibm_1401_30 n72_a_ibm_1401_24 ADJ n72_a_ibm_1401_23->n72_a_ibm_1401_24 n72_a_ibm_1401_24->n72_a_ibm_1401_25 n72_a_ibm_1401_26->n72_a_ibm_1401_27 n72_a_ibm_1401_28->n72_a_ibm_1401_29 n72_a_ibm_1401_31 P-ROLE n72_a_ibm_1401_30->n72_a_ibm_1401_31 n72_a_ibm_1401_33 NP n72_a_ibm_1401_30->n72_a_ibm_1401_33 n72_a_ibm_1401_31->n72_a_ibm_1401_32 n72_a_ibm_1401_34 ADJP n72_a_ibm_1401_33->n72_a_ibm_1401_34 n72_a_ibm_1401_37 N n72_a_ibm_1401_33->n72_a_ibm_1401_37 n72_a_ibm_1401_35 ADJ n72_a_ibm_1401_34->n72_a_ibm_1401_35 n72_a_ibm_1401_35->n72_a_ibm_1401_36 n72_a_ibm_1401_37->n72_a_ibm_1401_38 n72_a_ibm_1401_39->n72_a_ibm_1401_40 
( (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))