year program subgroup of program, 3 assertions