The Gettier counter-example to the definition of knowledge employs the claim that d) entails e):
(d) Jones is the man who will get the job, and Jones has ten coins in his pocket.
(e) The man who will get the job has ten coins in his pocket.
See Gettier, Edmund: Is Justified True Belief Knowledge? Analysis, 23 (1966).
How does d) entail e) in a formalized language - probably using predicate calculus?