TSPC 77_a_ibm

77_a_ibm_1401
Other services available to every IBM customer:

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

arc(r_0077_0002__services,r_0077_0001__Other,attrib).
arc(r_0077_0002__services,r_0077_0003__available,attrib).
arc(r_0077_0003__available,r_0077_0006__IBM_r_0077_0007__customer,r_0077_0004__to).
arc(r_0077_0005__every__quant,r_0077_0003__available,scope).
arc(r_0077_0005__every__quant,r_0077_0006__IBM_r_0077_0007__customer,restriction).
arc(z_0077_5008,r_0077_0002__services,z_0077_5002).

fof(formula,axiom,
    ! [R_0077_0006__IBM_R_0077_0007__CUSTOMER] :
      ( r_0077_0006__IBM_r_0077_0007__customer(R_0077_0006__IBM_R_0077_0007__CUSTOMER)
     => ? [R_0077_0001__OTHER,R_0077_0003__AVAILABLE,R_0077_0002__SERVICES,Z_0077_5008] :
          ( r_0077_0001__Other(R_0077_0001__OTHER)
          & z_0077_5008(Z_0077_5008)
          & has_z_0077_5002(Z_0077_5008,R_0077_0002__SERVICES)
          & r_0077_0002__services(R_0077_0002__SERVICES)
          & has_attrib(R_0077_0002__SERVICES,R_0077_0003__AVAILABLE)
          & r_0077_0003__available(R_0077_0003__AVAILABLE)
          & has_r_0077_0004__to(R_0077_0003__AVAILABLE,R_0077_0006__IBM_R_0077_0007__CUSTOMER)
          & has_attrib(R_0077_0002__SERVICES,R_0077_0001__OTHER) ) ) ).