A predicative expression (or just predicative) is part of a clause predicate, and is an expression that typically follows a copula or linking verb, e.g. be, seem, appear, or that appears as a second complement of a certain type of verb, e.g. call, make, name, etc. The most frequently acknowledged types of predicative expressions are predicative adjectives (also predicate adjectives) and predicative nominals (also predicate nominals). The main trait of all predicative expressions is that they serve to express a property that is assigned to a "subject", whereby this subject is usually the clause subject, but at times it can be the clause object. A primary distinction is drawn between predicative (also predicate) and attributive expressions. Further, predicative expressions are typically not clause arguments, and they are also typically not clause adjuncts. There is hence a three-way distinction between predicative expressions, arguments, and adjuncts.
The terms predicative expression on the one hand, and subject complement and object complement on the other hand overlap in meaning to a large extent.
The most widely acknowledged predicative expressions are adjectives and nominals:
The idea was ridiculous. — Predicative adjective over the subject.
He seems nice. — Predicative adjective over the subject.
Bob is a postman. — Predicative nominal over the subject.
They were all happy campers. — Predicative nominal over the subject.
That shrimp dish made him sick. — Predicative adjective over the object.
We painted the door white. — Predicative adjective over the object.
They elected him president. — Predicative nominal over the object.
They called Jill a thief. — Predicative nominal over the object.
The formulations "over the subject" and "over the object" indicate that the predicative expression is expressing a property that is assigned to the subject or to the object. For example, the predicative expression a thief in the last sentence serves to assign to Jill the property of being a thief.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In grammar, a complement is a word, phrase, or clause that is necessary to complete the meaning of a given expression. Complements are often also arguments (expressions that help complete the meaning of a predicate). In many non-theoretical grammars, the terms subject complement (also called a predicative of the subject) and object complement are employed to denote the predicative expressions (predicative complements), such as predicative adjectives and nominals (also called a predicative nominative or predicate nominative), that serve to assign a property to a subject or an object: Ryan is upset.
In grammatical terminology, a subject complement is a predicative expression that follows a linking verb (copula) and that complements the subject of a clause by either renaming or describing it. It completes the meaning of the subject. In the former case, a renaming noun phrase such as a noun or pronoun is called a predicative nominal. An adjective following the copula and describing the subject is called a predicative adjective. In either case the predicative complement in effect mirrors the subject.
A predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). For the simple sentence "John [is yellow]", John acts as the subject, and is yellow acts as the predicate, a subsequent description of the subject headed with a verb. In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the expressions "is yellow" or "is like broccoli" are true of those things that are yellow or like broccoli, respectively.
We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...