degree program subgroup of program, 6 assertions