The Integer input u is converted to a Property output y according to the following table:
Integer u = Property y = 1 Violated 2 Undecided 3 Satisfied
An assert is triggered if the input is not 1, 2 or 3.
This block is demonstrated with example Conversions.