main body subgroup of body, 19 assertions