This is done by setting u to be a set of indicator variables that correspond to the labels assigned to arguments.
let u 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).