If counterpart relations are context-sensitive and sortal-governed, then the substitution failure is pragmatic and context-relative, not a feature of the semantic structure of essence predicates themselves.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Counterpart relations(different rules for matching objects across possible worlds): The different ways we can decide which alternate-world versions of something 'count as' the same thing for purposes of understanding what could be true about it.
Essence predicates(as used in metaphysics and logic): Words or phrases that describe what something *essentially* is—the core properties that make it what it is (for example, 'is a triangle' is an essence predicate for the shape).
Pragmatic(as used in philosophy of language and meaning): Focused on practical, real-world effects and usefulness rather than just abstract theory.
Sortal-governed(as used in logic and metaphysics): Controlled or determined by the *kind* or *category* of thing you're talking about (like whether something is a person, object, or animal matters for how you interpret it).

Based on where you are in your exploration