Formal Language Decomposition into Semantic Primes

+