( (IP-MAT (NP-SBJ (NPR IBM;{IBM}))
          (VBP;_Ipr_ Stands;{stand[for]})
          (PP-CLR (P-ROLE For;{for})
                  (NP (N Service;{service}))))
  (ID 73_a_ibm_1401))

arc(r_0073_0002__Stands_r_0073_0003__For,r_0073_0001__IBM,arg0).
arc(r_0073_0002__Stands_r_0073_0003__For,r_0073_0004__Service,arg1).

fof(formula,axiom,
    ? [R_0073_0001__IBM,R_0073_0004__SERVICE,R_0073_0002__STANDS_R_0073_0003__FOR] :
      ( r_0073_0001__IBM(R_0073_0001__IBM)
      & r_0073_0004__Service(R_0073_0004__SERVICE)
      & r_0073_0002__Stands_r_0073_0003__For(R_0073_0002__STANDS_R_0073_0003__FOR)
      & has_arg1(R_0073_0002__STANDS_R_0073_0003__FOR,R_0073_0004__SERVICE)
      & has_arg0(R_0073_0002__STANDS_R_0073_0003__FOR,R_0073_0001__IBM) ) ).