actual parameter subgroup of parameter, 5 assertions