half marathon subgroup of marathon, 5 assertions