Context                Previous, Next                Top


77_a_ibm_1401
Other services available to every IBM customer:

%3 r_0077_0002__services services r_0077_0001__Other Other r_0077_0002__services->r_0077_0001__Other [attrib] r_0077_0003__available available r_0077_0002__services->r_0077_0003__available [attrib] r_0077_0006__IBM_r_0077_0007__customer IBM customer r_0077_0003__available->r_0077_0006__IBM_r_0077_0007__customer to z_000_77_a_ibm_1401_1 z_000_77_a_ibm_1401_1->r_0077_0002__services [nim] 
arc(r_0077_0002__services, r_0077_0001__Other, attrib3).
arc(r_0077_0002__services, r_0077_0003__available, attrib8).
arc(r_0077_0003__available, r_0077_0006__IBM_r_0077_0007__customer, r_0077_0004__to).
arc(z_000_77_a_ibm_1401_1, r_0077_0002__services, nim2).


%3 r_0077_0002__services services r_0077_0001__Other Other r_0077_0002__services->r_0077_0001__Other [attrib] r_0077_0003__available available r_0077_0002__services->r_0077_0003__available [attrib] r_0077_0006__IBM_r_0077_0007__customer IBM customer r_0077_0003__available->r_0077_0006__IBM_r_0077_0007__customer to z_000_77_a_ibm_1401_1 z_000_77_a_ibm_1401_1->r_0077_0002__services [nim] 
fof(formula,axiom,
    ? [Z_77_A_IBM_1401_1,R_77_2_SERVICES,R_77_1_OTHER,R_77_3_AVAILABLE,R_77_6_IBM_CUSTOMER] :
      ( other(R_77_1_OTHER)
      & iBM_customer(R_77_6_IBM_CUSTOMER)
      & z_77_a_ibm_1401_1(Z_77_A_IBM_1401_1)
      & nim2(Z_77_A_IBM_1401_1,R_77_2_SERVICES)
      & services(R_77_2_SERVICES)
      & attrib3(R_77_2_SERVICES,R_77_1_OTHER)
      & attrib8(R_77_2_SERVICES,R_77_3_AVAILABLE)
      & available(R_77_3_AVAILABLE)
      & to(R_77_3_AVAILABLE,R_77_6_IBM_CUSTOMER) ) ).


n77_a_ibm_1401 n77_a_ibm_1401_5 Other n77_a_ibm_1401_7 services n77_a_ibm_1401_10 available n77_a_ibm_1401_13 to n77_a_ibm_1401_16 every n77_a_ibm_1401_18 IBM n77_a_ibm_1401_20 customer n77_a_ibm_1401_22 : n77_a_ibm_1401_1 FRAG n77_a_ibm_1401_2 NP n77_a_ibm_1401_1->n77_a_ibm_1401_2 n77_a_ibm_1401_21 PUNC n77_a_ibm_1401_1->n77_a_ibm_1401_21 n77_a_ibm_1401_3 ADJP n77_a_ibm_1401_2->n77_a_ibm_1401_3 n77_a_ibm_1401_6 NS n77_a_ibm_1401_2->n77_a_ibm_1401_6 n77_a_ibm_1401_8 ADJP n77_a_ibm_1401_2->n77_a_ibm_1401_8 n77_a_ibm_1401_4 ADJ n77_a_ibm_1401_3->n77_a_ibm_1401_4 n77_a_ibm_1401_4->n77_a_ibm_1401_5 n77_a_ibm_1401_6->n77_a_ibm_1401_7 n77_a_ibm_1401_9 ADJ n77_a_ibm_1401_8->n77_a_ibm_1401_9 n77_a_ibm_1401_11 PP n77_a_ibm_1401_8->n77_a_ibm_1401_11 n77_a_ibm_1401_9->n77_a_ibm_1401_10 n77_a_ibm_1401_12 P-ROLE n77_a_ibm_1401_11->n77_a_ibm_1401_12 n77_a_ibm_1401_14 NP n77_a_ibm_1401_11->n77_a_ibm_1401_14 n77_a_ibm_1401_12->n77_a_ibm_1401_13 n77_a_ibm_1401_15 Q n77_a_ibm_1401_14->n77_a_ibm_1401_15 n77_a_ibm_1401_17 NPR n77_a_ibm_1401_14->n77_a_ibm_1401_17 n77_a_ibm_1401_19 N n77_a_ibm_1401_14->n77_a_ibm_1401_19 n77_a_ibm_1401_15->n77_a_ibm_1401_16 n77_a_ibm_1401_17->n77_a_ibm_1401_18 n77_a_ibm_1401_19->n77_a_ibm_1401_20 n77_a_ibm_1401_21->n77_a_ibm_1401_22 
( (FRAG (NP (ADJP (ADJ Other;{other}))
            (NS services;{service})
            (ADJP (ADJ available;{available})
                  (PP (P-ROLE to;{to})
                      (NP (Q every;{every})
                          (NPR IBM;{IBM})
                          (N customer;{customer})))))
        (PUNC :))
  (ID 77_a_ibm_1401))