Every human being has the same vision for colors. On other hand, idioms –as an embodiment of expression experience, can certainly be a medium expressing universal meaning possessed by humans across cultures, including Through colors term in idioms, universality mind known. Natural Semantic Metalanguage is approach that tries to see language. By using six-color Morris Swadesh word list, this stu...

A framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized programs can be staged into composition-time code generation (stage 1) and run-time execution (stage 2). By extending composition synthesis to encompass both object language (L1) and metalanguage (L2) combinators, composition synthesis becomes a powerful and flexibl...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

Nowadays one of the most common formats for storing information is XML. The size of XML documents can be rather large, and they may contain redundant attributes which can be calculated from others. The main idea behind our paper is based on a relationship between XML documents and attribute grammars. Using this relationship it is possible to define semantic rules for XML attributes using a meta...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

Natural disasters, such as what are known in English ‘floods’ and ‘wildfires’, increasingly a topic of concern due to the climate emergency, their vocabulary public discourses hold much be explored through linguistics. This article inaugurates examination discourse about extreme weather events semantically-enhanced studies, an approach which is based on Semantic Metalanguage (NSM) developed her...

We describe a recently launched project whose objective is to develop an advanced converter of natural language text to semantic structures. The project basically consists in enriching the ETAP-3 linguistic processor, developed by the Institute for Information Transmission Problems, Russian Academy of Sciences, with a new module – that of semantic analysis. An important feature of this module i...