Reduced Transition Probability Language