Abstract: Predicate complement constructions are a rich source of semantic problems. A system for testing the semantic properties (presuppositions and entailments) of predicate complement ...

The five patterns illustrated below provide the basis for all other sentence structures: that is, other kinds of sentences are transformations of these basic patterns. Though the above sentences are ...

Abstract: The formalism of program logics is the main instrument for software verification. Many such logics reflecting different properties of software systems were proposed. Floyd-Hoare logic and ...

ABSTRACT: Core Functional Categories are defined to be v0, T0, C0. They differ in that T0 is not treated as a phase head, while C0 and v0 are assumed to be phase heads: 1) a) [+ phase]: C0, v(*). b) [ ...