Assertion list
analog signal (subgroup of signal ) → HasProperty

Results from Ascent++: 1
analog signalHasProperty continuous 0.46