controlled variable subgroup of variable, 4 assertions