contract template subgroup of template, 3 assertions