This paper studies the use of records and dependent types in GF (Grammatical Framework) to build a grammar for predication with an unlimited number of subcategories, also covering extraction and coordination. The grammar is implemented for Chinese, English, Finnish, and Swedish, sharing the maximum of code to identify similarities and differences between the languages. Equipped with a probabili...

Plural predications (e.g., "the boxes are heavy") are common sources of ambiguity in everyday language, allowing both distributive and collective interpretations (e.g., the boxes each are heavy vs. the boxes together are heavy). This paper investigates the role of context in the disambiguation of plural predication. We address the key phenomenon of "stubborn distributivity," whereby certain pre...

0. Introduction This paper addresses one of the linking problems involving prepositional phrases (PPs) especially those involving beneficiary for, and argues that such PPs are best analyzed as adjunct PPs. In this paper I propose that external predication is more appropriate for these PPs than Wechsler's (1995) argument-annexing approach. The argument and analysis put forth in this paper assume...

A persistent question in the SLA (second language acquisition) research concerns the status of the involvement of the native language (i.e. L1 transfer). Inquiry into the question has been made on the basis of a variety of linguistic frameworks, such as contrastive analysis (Lado, 1957), L2 (second language) generative parametric approach (Flynn, 1987; White, 1989; Schwartz, 1996), and the more...

In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in Geo...

It was proposed by Jones (1985) that the apparent influence of a word's imageability upon the probability of the word being read correctly by a deep dyslexic person could be understood in terms of an underlying semantic variable, ease of predication (also termed predicability). In a recent critique, de Mornay Davies and Funnell (2000) claim to have identified a number of problems with the ease ...

In this paper authors present Predicated Spiral Graph and Predicated Short Bridge Algorithm, that allocate registers to software pipelined loops with predication under the rotating register architectures. When using predication to execute the conditional branches, two separate variables in the pipelined kernel may share one real register, even if these overlap. Authors extend Spiral Graph to mu...

We discuss nominalizations in Portuguese formed by the suffix -ura. We have done a corpus-based description of the behavior of these nominals and proposed a type ontology to categorize them. In order to offer a rich description, we also tested all words formed by -ura in co-predication contexts to check if their types could be co-predicated. Although our main goal was to produce a corpus-based ...

Instruction predication is an attractive method for improving the throughput of a pipelined processor by eliminating the adverse side-effects of branch operations. Although it may alone help to prevent simple power analysis (SPA) type attacks by masking branch execution, predication systems can also be augmented to allow a building block for defence against more powerful cryptographic attacks. ...

This paper reformulates and decides a certain conjecture in Dunn’s ‘Relevant Predication 1: The Formal Theory’ (Journal of Philosophical Logic 16, 347-381, 1987). This conjecture of Dunn’s relates his object-language characterisation of a property’s being relevant in a variable x to certain grammatical characterisations of relevance, analogous to some given by Helman, in ‘Relevant Implication a...