The Property input u is converted to an Integer output y according to the following table:
Property u = Integer y = Violated 1 Undecided 2 Satisfied 3
This block is demonstrated with example Conversions.