SRL for [poststenotic]: This procedure will give the user three set of values , one set that is prestenotic , one that is [poststenotic] and finally one set that gives the post implanted values .
R-ARG-1: that | ARG-1: one