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_0013__profitability profitability r_0072_0012__maximum maximum r_0072_0013__profitability->r_0072_0012__maximum [attrib] r_0072_0009__systems_r_0072_0010__support systems support r_0072_0009__systems_r_0072_0010__support->r_0072_0013__profitability for r_0072_0008__total total r_0072_0009__systems_r_0072_0010__support->r_0072_0008__total [attrib] r_0072_0006__certain certain r_0072_0006__certain->r_0072_0009__systems_r_0072_0010__support of r_0072_0004__can_r_0072_0005__be can be r_0072_0004__can_r_0072_0005__be->r_0072_0006__certain [prd] r_0072_0003__you you r_0072_0004__can_r_0072_0005__be->r_0072_0003__you [arg0] r_0072_0002__IBM IBM r_0072_0004__can_r_0072_0005__be->r_0072_0002__IBM With [nim] 
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__1_1_1_1 With n72_a_ibm_1401__1_1_2_1_1 IBM n72_a_ibm_1401__1_2_1_1 you n72_a_ibm_1401__1_3_1 can n72_a_ibm_1401__1_4_1_1 be n72_a_ibm_1401__1_4_2_1_1 certain n72_a_ibm_1401__1_4_2_2_1_1 of n72_a_ibm_1401__1_4_2_2_2_1_1_1 total n72_a_ibm_1401__1_4_2_2_2_2_1 systems n72_a_ibm_1401__1_4_2_2_2_3_1 support n72_a_ibm_1401__1_4_2_2_2_4_1_1 for n72_a_ibm_1401__1_4_2_2_2_4_2_1_1_1 maximum n72_a_ibm_1401__1_4_2_2_2_4_2_2_1 profitability n72_a_ibm_1401__1_5_1 . n72_a_ibm_1401__1 IP-MAT n72_a_ibm_1401__1_1 PP-NIM n72_a_ibm_1401__1->n72_a_ibm_1401__1_1 n72_a_ibm_1401__1_2 NP-SBJ n72_a_ibm_1401__1->n72_a_ibm_1401__1_2 n72_a_ibm_1401__1_3 MD;_cat_Vi_ n72_a_ibm_1401__1->n72_a_ibm_1401__1_3 n72_a_ibm_1401__1_4 IP-INF-CAT n72_a_ibm_1401__1->n72_a_ibm_1401__1_4 n72_a_ibm_1401__1_5 PUNC n72_a_ibm_1401__1->n72_a_ibm_1401__1_5 n72_a_ibm_1401__1_1_1 P-ROLE n72_a_ibm_1401__1_1->n72_a_ibm_1401__1_1_1 n72_a_ibm_1401__1_1_2 NP n72_a_ibm_1401__1_1->n72_a_ibm_1401__1_1_2 n72_a_ibm_1401__1_1_1->n72_a_ibm_1401__1_1_1_1 n72_a_ibm_1401__1_1_2_1 NPR n72_a_ibm_1401__1_1_2->n72_a_ibm_1401__1_1_2_1 n72_a_ibm_1401__1_1_2_1->n72_a_ibm_1401__1_1_2_1_1 n72_a_ibm_1401__1_2_1 PRO n72_a_ibm_1401__1_2->n72_a_ibm_1401__1_2_1 n72_a_ibm_1401__1_2_1->n72_a_ibm_1401__1_2_1_1 n72_a_ibm_1401__1_3->n72_a_ibm_1401__1_3_1 n72_a_ibm_1401__1_4_1 BE;_La_ n72_a_ibm_1401__1_4->n72_a_ibm_1401__1_4_1 n72_a_ibm_1401__1_4_2 ADJP-PRD n72_a_ibm_1401__1_4->n72_a_ibm_1401__1_4_2 n72_a_ibm_1401__1_4_1->n72_a_ibm_1401__1_4_1_1 n72_a_ibm_1401__1_4_2_1 ADJ n72_a_ibm_1401__1_4_2->n72_a_ibm_1401__1_4_2_1 n72_a_ibm_1401__1_4_2_2 PP n72_a_ibm_1401__1_4_2->n72_a_ibm_1401__1_4_2_2 n72_a_ibm_1401__1_4_2_1->n72_a_ibm_1401__1_4_2_1_1 n72_a_ibm_1401__1_4_2_2_1 P-ROLE n72_a_ibm_1401__1_4_2_2->n72_a_ibm_1401__1_4_2_2_1 n72_a_ibm_1401__1_4_2_2_2 NP n72_a_ibm_1401__1_4_2_2->n72_a_ibm_1401__1_4_2_2_2 n72_a_ibm_1401__1_4_2_2_1->n72_a_ibm_1401__1_4_2_2_1_1 n72_a_ibm_1401__1_4_2_2_2_1 ADJP n72_a_ibm_1401__1_4_2_2_2->n72_a_ibm_1401__1_4_2_2_2_1 n72_a_ibm_1401__1_4_2_2_2_2 NS n72_a_ibm_1401__1_4_2_2_2->n72_a_ibm_1401__1_4_2_2_2_2 n72_a_ibm_1401__1_4_2_2_2_3 N n72_a_ibm_1401__1_4_2_2_2->n72_a_ibm_1401__1_4_2_2_2_3 n72_a_ibm_1401__1_4_2_2_2_4 PP n72_a_ibm_1401__1_4_2_2_2->n72_a_ibm_1401__1_4_2_2_2_4 n72_a_ibm_1401__1_4_2_2_2_1_1 ADJ n72_a_ibm_1401__1_4_2_2_2_1->n72_a_ibm_1401__1_4_2_2_2_1_1 n72_a_ibm_1401__1_4_2_2_2_1_1->n72_a_ibm_1401__1_4_2_2_2_1_1_1 n72_a_ibm_1401__1_4_2_2_2_2->n72_a_ibm_1401__1_4_2_2_2_2_1 n72_a_ibm_1401__1_4_2_2_2_3->n72_a_ibm_1401__1_4_2_2_2_3_1 n72_a_ibm_1401__1_4_2_2_2_4_1 P-ROLE n72_a_ibm_1401__1_4_2_2_2_4->n72_a_ibm_1401__1_4_2_2_2_4_1 n72_a_ibm_1401__1_4_2_2_2_4_2 NP n72_a_ibm_1401__1_4_2_2_2_4->n72_a_ibm_1401__1_4_2_2_2_4_2 n72_a_ibm_1401__1_4_2_2_2_4_1->n72_a_ibm_1401__1_4_2_2_2_4_1_1 n72_a_ibm_1401__1_4_2_2_2_4_2_1 ADJP n72_a_ibm_1401__1_4_2_2_2_4_2->n72_a_ibm_1401__1_4_2_2_2_4_2_1 n72_a_ibm_1401__1_4_2_2_2_4_2_2 N n72_a_ibm_1401__1_4_2_2_2_4_2->n72_a_ibm_1401__1_4_2_2_2_4_2_2 n72_a_ibm_1401__1_4_2_2_2_4_2_1_1 ADJ n72_a_ibm_1401__1_4_2_2_2_4_2_1->n72_a_ibm_1401__1_4_2_2_2_4_2_1_1 n72_a_ibm_1401__1_4_2_2_2_4_2_1_1->n72_a_ibm_1401__1_4_2_2_2_4_2_1_1_1 n72_a_ibm_1401__1_4_2_2_2_4_2_2->n72_a_ibm_1401__1_4_2_2_2_4_2_2_1 n72_a_ibm_1401__1_5->n72_a_ibm_1401__1_5_1 
( (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))