potential output subgroup of output, 1 assertions