Neg-phrases in Eton (Bantu): An HPSG-analysis

This paper presents a study of so-called neg-phrases in Eton, a negative concord language spoken in Cameroon. These phrases strongly resemble negated noun phrases that consist of a negative determiner and a noun, however, I will show that Eton neg-phrases are built differently. Reconciling the non-negative approach to negative indefinites by Penka & Zeijlstra (2005) and the negative approach by Richter & Sailer (2004a,b, 2006), I will argue that Eton neg-phrases consist of an inherently negative modifier and a non-negative indefinite derived from a noun. Embedding the analysis in Lexical Resource Semantics, I will reveal the inherent negativity of Eton neg-phrases and account for their composition by using a lexical rule based on the semantic approach to noun phrases by Beavers (2003).

The grammatical representation of expletive negation

Expletive negation refers to constructions where a negator in the complement of certain lexical items does not change the polarity of the complement proposition. Jin & Koenig (2021) show that expletive negation occurs rather widely in languages of the world and in very similar environments. They propose a language production model of why such apparently illogical uses of negation arise in language after language. But their study does not address the grammatical status and representation of expletive negation. In this paper, we argue that expletive negation is part of the lexical knowledge speakers have of their language and that the negator in expletive negation constructions contributes a negation to a non-at-issue content associated with expletive negation triggers. We provide a Lexical Resource Semantics analysis of how triggers combine in a non-standard manner with the standard semantic content of their complements: the negation (and in some cases an additional modal operator) of the content of their complement is part of the trigger’s non-at-issue content while the scope of the negation is an argument of the trigger’s MAIN content. Finally, we suggest that the expletive use of the French negator ne includes a lexical constraint that requires it to modify a verb that reverse selects for an expletive negation trigger.

A constraint-based modeling of negative polarity items in result clause constructions in Romanian

Summary The paper discusses the occurrence of emphatic negative polarity items (NPIs) in high degree result clause constructions. We will identify four distributional patterns for Romanian emphatic NPIs. These will range from NPIs that only occur occasionally in result constructions to NPIs that are bound to such constructions and even do not show any truth-conditionally relevant semantic contribution. We reformulate a scalar, pragmatic theory of NPIs in a constraint-based, representational framework, Lexical Resource Semantics. We propose a scalar extension of a standard semantics of result clauses in order to capture the high degree, i.e. intensification readings. The constraint-based, representational perspective of this paper allows for an elegant modeling of the data: (i) We can capture the four distributional patterns as a lexical property of the discussed NPIs. (ii) The semantics and pragmatics of Romanian result clause constructions is accounted for by lexical properties of the result clause complementizers. (iii) A scalar analysis of emphatic NPIs can be applied in embedded clauses and even when the NPI itself does not contribute to the at-issue content of the overall utterance.

Recursive adjectival modification in CLLRS

This paper sketches an analysis in Lexical Resource Semantics of adverbial and adjectival modification in nominal projections which is extensible to modification of other syntactic categories. It combines insights into the syntax-semantics interface of recursive modification in HPSG with underspecified semantics and type-logical meaning representations in the tradition of Montague grammar. The analysis is phrased in such a way that it receives a direct implementation in the Constraint Language of Lexical Resource Semantics as part of the TRALE system.

Ohionim of the Mother of God in poetic discourse of Taras Shevchenko

The object of the proposed article is the Christian ohionim of the Mother of God in the poetic discourse of Taras Shevchenko. This proper name, together with the propriatives God, the Lord, forms the core of the sacredness of the studied texts. An indepth analysis of the “Kobzar” gives grounds to claim that its author was a deeply religious man who knew the Scriptures well and used it creatively in artistic practice. Evidence of this are the historical and philosophical poems “Mary” and “Neophytes”, in which biblical and secular motifs are organically intertwined, which is directly reflected in the level of verbalization (active use of Old Slavonic, God’s names, biblical expressions). On the basis of the theantropocentric approach, the peculiarities of the existence of the ohionim of the Mother of God in the texts of different genres are clarified. Up to the aim, a paradigmatic approach is used: all the names of the Mother of Jesus Christ recorded in the discourse are embedded in a nominative paradigm, each component of which (Mary, Mother, Mother of God, Mother Mary, Virgin, Immaculate, Queen of Heaven, Ever-immaculate, Good, All-Good, All-Holy, worthy, pure in wives, blessed in wives, great in wives mourning joy, holy power of all saints, our world unseen, my most glorious paradise, our beauty, world green, fragrant green lily) is characterized in terms of its semantic content and semantic specification, established correlations between them. A comparative analysis based on the semasiological procedure of the lexical resource that is part of the appellation and at the same time exists as a propriative unit was done. Special attention is paid to the connecting capabilities of the described ohionim, its ability to appear in the subjective, object, attributive function and thus to identify the features of semantic-syntactic valence. Episodes from the earthly and heavenly life of Mother Mary are clearly based on the valence pattern. The lexical-semantic compatibility of the theonym of the Mother of God with attributive modifiers in the form of agreed and uncoordinated definitions is comprehensively interpreted, their constitutive possibilities are clarified. It is proved that sacredness is one of the immanent features of Taras Shevchenko’s poetic idiostyle. Keywords: ohionim of the Mother of God, nominative paradigm, poetic discourse of Taras Shevchenko, syntagmatic resource, semantics.

A substructural epistemic resource logic: theory and modelling applications

We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents’ local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI’s resource semantics—we introduce BI and its resource semantics at some length—with epistemic agency. We illustrate the use of the logic in systems modelling by discussing some examples about access control, including semaphores, using resource tokens. We also give a labelled tableaux calculus and establish soundness and completeness with respect to the resource semantics.

Representing scales: Degree result clauses and emphaticnegative polarity items in Romanian

The paper proposes a representational re-encoding of the scalar, pragmatic accounts of NPI licensing within the framework of Lexical Resource Semantics (LRS). The analysis focuses on a less researched distribution pattern: emphatic NPIs occurring in result clause constructions that receive an intensification reading. We will provide a scalar extension of a standard semantic account of result clauses to capture the high degree interpretations. Our investigation will also offer new insights on NPI licensing in embedded clauses. We will primarily consider Romanian data.

Plural in lexical resourcesemantics

The paper shows how the plural semantic ideas of (Sternefeld, 1998) can be captured in Lexical Resource Semantics, a system of underspecied semantics. It is argued that Sternefeld's original approach, which allows for the unrestricted insertion of pluralisation into Logical Form, suffers from a problem originally pointed out by Lasersohn (1989) with respect to the analysis offered by Gillon (1987). The problem is shown to stem from repeated pluralisation of the same verbal argument and to be amenable to a simple solution in the proposed lexical analysis, which allows for restricting the pluralisations that can be inserted. The paper further develops an account of maximalisation of pluralities as needed to obtain the correct readings for sentences with quantiers that are not upward monotone. Such an account is absent in the orginal system in (Sternefeld, 1998). The present account makes crucial use of the possibility to have distinct constituents contribute identical semantic material offered by LRS and employs it in an analysis of maximalisation in terms of polyadic quantication.

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption

Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We present a configurable framework for static resource usage verification where specifications can include data size-dependent resource usage functions, expressing both lower and upper bounds. Ensuring conformance with respect to such specifications is an undecidable problem. Therefore, to statically check such specifications, our framework infers the same type of resource usage functions, which safely approximate the actual resource usage of the program, and compares them against the specification. We review how this framework supports several languages and compilation output formats by translating them to an intermediate representation based on Horn clauses and using the configurability of the framework to describe the resource semantics of the input language. We provide a detailed formalization and extend the framework so that both resource usage specification and analysis/verification output can include preconditions expressing intervals for the input data sizes for which assertions are intended to hold, proved, or disproved. Most importantly, we also extend the classes of functions that can be checked. We also report on and provide results from an implementation within the Ciao/CiaoPP framework, as well as on a practical tool built by instantiating this framework for the verification of energy consumption specifications for imperative/embedded programs. Finally, we show as an example how embedded software developers can use this tool, in particular, for determining values for program parameters that ensure meeting a given energy budget while minimizing the loss in quality of service.