input signal subgroup of signal, 60 assertions