Assertion list
pwm signal (subgroup of signal ) → IsA
Results from Ascent++: 1
pwm signal → IsA → input 0.68