A study of the general area of problem solving with a digital computer has revealed characteristics of data that are essentially ignored or suppressed in conventional systems. In an attempt to increase the capability and flexibility of a digital system, a new, high-level language, which utilizes these data characteristics has been defined. A machine organization, which implements this language as a machine language and yet imposes no restrictions on the use of the language has been proposed. This paper presents a general description of the philosophy and structure of the language.