The Boolean input u is converted to a Property output y according to the following table:
Boolean u = Property y = true Satisfied false Violated
This block is demonstrated with example Conversions.