SRL for [installed]: Digital , however , does n't expect to displace IBM mainframes that are already [installed] at big companies .
ARG-M-TMP: already | ARG-1: IBM mainframes | R-ARG-1: that | ARG-2: at big companies