Most efficient fully automated theorem provers implement proof search calculi that require the input formula to be in a clausal form, i.e. disjunctive or conjunctive normal form. The translation into clausal form introduces a significant overhead to the proof search and modifies the structure of the original formula. Translating a proof in clausal form back into a more readable non-clausal proo...

The article is devoted to the main types of motivational relations from synchronous point view in English word-formation rows with suffix -ment. Verbal, verbal-nominal, nominal, adjectival, verbal-adjectival were built. Their structure investigated help relator language applicative generative model, which results profound analysis, and detailed study rows. peculiarities semantic motivation thor...

The proposed thesis research addresses two of the main obstacles to building agents that communicate using natural language: the need for richer representations of linguistic constructions that incorporate aspects of conceptual knowledge, context and goals; and the need for a principled approach to the automatic acquisition of such structures from examples. More generally, it explores the idea ...

This paper develops a Case/case-theoretic acco unt for what Merchant (2008) calls voice mism atch in ellipsis constructions of English. Merch ant (ibid.) reports that VP ellipsis as an elision o f smaller size VP allows voice mismatch, but Ps eudogapping and Sluicing as an elision of bigge r size vP/TP do not. However, Tanaka (2011) ar gues against Merchant's dichotomy in voice mis match betwee...

We generalise DSP91]'s treatment of ellipsis to deaccenting and show that the resulting account has three main advantages. First, it predicts the interpretive similarities between ellipsis and deaccenting. Second, it captures the interaction of deaccenting and anaphora. Third, it yields a uniform treatment of sloppy identity and of its interaction with both ellipsis and deaccenting.

Several Germanic languages use correlatives to mark subordination. German is considered to be a prime example of a language realizing correlative constructions to embed finite argument clauses. This paper discusses complex clausal constructions in German that can be identified by a so-called correlative nominal element es (‘it’) and a right-peripheral full clausal argument that is linked to es....

The central claim of this dissertation is that an elliptical VP is a proform. This claim has two primary consequences: first, the elliptical VP can have no internal syntactic structure. Second, the interpretation of VP ellipsis must be governed by the same general conditions governing other proforms, such as pronouns. The basic condition governing the interpretation of a proform is that it must...

This paper presents the TagShare project and the linguistic resources and tools for the shallow processing of Portuguese developed in its scope. These resources include a 1 million token corpus that has been accurately hand annotated with a variety of linguistic information, as well as several state­of­the­art shallow processing tools capable of automatically producing that type of annotatio...

This paper deals with the underspeciied semantic representation of ellipsis and its resolution. We present an analysis to explain the the distribution of strict and sloppy readings in the interaction of verb phrase ellipsis and anaphora. The analysis is integrated into a framework that enables a uniform and underspeciied treatment of scope, anaphora and VPE. Abstract This paper deals with the u...