Predicate transfer¶
A semantic operation that lets a predicate apply to an associated individual by shifting the predicate across a salient relation, as when a driver says 'I am parked outside' about their car.
Core Idea¶
The shift is licensed by context and association rather than lexical polysemy alone; agreement and plurality can reveal that the grammatical subject remains the person while the parking property originates with a vehicle. A predicate selects a canonical bearer, discourse supplies a salient ownership, representation or control relation to the overt subject, and interpretation composes that relation so the predication is understood indirectly. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Predicate transfer belongs to lexical semantics and pragmatics and is useful where the analyst can specify the typed lexical semantics and pragmatics carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the language and utterance, overt subject, predicate and canonical bearer, transferred property, salient relation, discourse context, grammatical agreement and number, lexical-entry assumptions, compositional analysis, acceptability evidence, competing metonymy and coercion accounts and cross-linguistic limits are explicit.
Clarity¶
The abstraction clarifies a crowded vocabulary by making the language and utterance, overt subject, predicate and canonical bearer, transferred property, salient relation, discourse context, grammatical agreement and number, lexical-entry assumptions, compositional analysis, acceptability evidence, competing metonymy and coercion accounts and cross-linguistic limits are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Predicate transfer. Predicate transfer compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: the typed lexical semantics and pragmatics carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of lexical semantics and pragmatics because they reuse the typed lexical semantics and pragmatics carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, A predicate selects a canonical bearer, discourse supplies a salient ownership, representation or control relation to the overt subject, and interpretation composes that relation so the predication is understood indirectly., and type the carrier, state every parameter and convention in the definition, test that the language and utterance, overt subject, predicate and canonical bearer, transferred property, salient relation, discourse context, grammatical agreement and number, lexical-entry assumptions, compositional analysis, acceptability evidence, competing metonymy and coercion accounts and cross-linguistic limits are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Predicate transfer Domain-specific
Parents (1) — more general patterns this builds on
-
Predicate transfer is a kind of Metonymy Prime
The proposed strict upward parent is
prime:metonymy.
Hierarchy path (1) — routes to 1 parentless root
- Predicate transfer → Metonymy → Symbolic Representation → Representation → Abstraction
Neighborhood in Abstraction Space¶
Predicate transfer sits in a crowded region of the domain-specific corpus (13th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Grammar, Reference & Linguistic Structure (30 abstractions)
Nearest neighbors
- Proposition — 0.93
- Direct reference theory — 0.92
- Denotation — 0.92
- Clause — 0.92
- Logic form — 0.92
Computed from structural-signature embeddings · 2026-09-08