This is done by setting z to a set of indicator variables.
let z ic = [S i = c] be the indicator variable that represents whether or not the argument type c is assigned to S i , and let p ic = score(S i = c).