The research presented in the paper is interdisciplinary nature. study object includes both key aspects of English grammar and modern approaches trends teaching grammar. suggested ‘’Four-dimensional model grammar’’ based on ‘’Three-dimensional model’’ teaching, which combines syntax, semantics pragmatics, consistent with methodological principles communicative approach language teaching. fourth...

Nowadays space is considered to be a net of connections between different areas. The questions how to delineate its character and how it is possible to objectively compare two spaces is a matter under consideration. This was the reason for creating new theories about the structure of space. Space syntax analysis (SSA) or simply Space Syntax defines a number of theories and research areas devo...

Multidimensionality is a property of grammatical phenomena which describes the connection between clusters meaning and syntactic expressions. Based on principle that syntax builds meaning, following article deals with correct approach to usage seit während in DaF class, order discuss propose their equivalents Spanish. We suggest proper use seit(dem) should become relevant teaching topic, as sat...

We define a core calculus for the purpose of investigating reasoning principles of probabilistic programming languages. By using a variation of a technique called higher-order abstract syntax (HOAS), which is common in the implementation of domain-specific languages, the calculus captures the semantics of a stochastic language with observation while being agnostic to the details of its determin...

This paper presents a Unified Enterprise Modeling Language (UEML) and a set of mappings which support translating models represented under an Enterprise Modeling Language into another Enterprise Modeling Language. These mappings also permit to integrate (i.e.compose) different models represented in different enterprise modeling languages into a unique model. Additionally, UEML is a meta-model t...

Recent years have witnessed some convergence in the architecture of entity search systems driven by a knowledge graph (KG) and a corpus with annotated entity mentions. However, each specific system has some limitations. We present AQQUCN, an entity search system that combines the best design principles into a public reference implementation. AQQUCN does not depend on well-formed question syntax...

We develop a general tool to formalize and reason about languages expressed using higher-order abstract syntax in a proof-tool based on type theory (Coq). A language is specified by its signature, which consists of sets of sort and operation names and typing rules. These rules prescribe the sorts and bindings of each operation. An algebra of terms is associated to a signature, using de Bruijn n...

According to the Fundamental Difference Hypothesis (FDH) of Bley-Vroman (1989, 1990), interlanguage grammars of adult learners differ from the grammars of native speakers in a number of fundamental respects. In particular, adults are claimed to lack domain-specific learning mechanisms, including Universal Grammar (UG). This is not meant to imply that learners necessarily fail to acquire subtle ...