Assertion list
analog signal (subgroup of signal ) → IsA

Results from Ascent++: 1
analog signalIsA input 0.43