The Concurrency Complexity for the Horn Fragment of Linear Logic