We consider noninterference formulations of security policies [7] in which the “interferes” relation is intransitive. Such policies provide a formal basis for several real security concerns, such as channel control [17, 18], and assured pipelines [4]. We show that the appropriate formulation of noninterference for the intransitive case is that developed by Haigh and Young for “multidomain secur...

............................................................................................................................... 1 1 Introducing inanimate unergatives ...................................................................................... 2 1.1 The domain of intransitive verbs ..................................................................................... 2 1.2 The domain of...

Theories of aspectual composltlon assume that accomplishments arise when a transitive verb has an incremental theme argument which is realized as a quantized NP-foremost, an NP which is not a mass noun or a bare plural-in direct object position. A problem confronting this assumption is the ]arge number of intransitive, unergative verbs in Getman and English that occur in accomplishment expressi...

In this paper, I lay out the workings of the rather unusual system of positional verbs found in Nen, a language of the Morehead-Maro family in Morehead district, Western Province, Papua New Guinea. Nen is unusual in its lexicalization patterns: it has very few verbs that are intransitive, with most verbs that tend to be intransitive cross-linguistically realized as morphologically middle verbs,...

Abstract Traditionally, lexical typology has to a large extent been interested in categorization of various cognitive domains (e. g., colour , perception body) i. e., how these are cut up by the most important words language, and motivation or formal relatedness, whether for certain concepts completely unrelated related others via polysemy derivation intransitive vs. transitive verbs, ‘day’ ‘su...

This paper deals with Serbian dialectal neuter gender nouns the suffix -ije. The focus is not on Church Slavonic borrowings, but domestic formed according to a word-formation model. They can be derived from verbs of various types (perfect and imperfect, transitive intransitive, reflexive non-reflexive), in most cases they do have counterparts. These are classified into several semantic groups: ...

This paper describes the types of thematic role categories verbal clause arguments in Toba Batak language (BBT). syntactic study is conducted through a qualitative approach with listening technique collecting oral and written data. Then data processed commensurate 'agih' methods, which are described distributional informal methods. The results show that category clauses BBT divided into two par...