The sentence, *The Current King of France is ill*, presupposes the existence of an extant French king. That sentence translates to, ∃!x(Kx ⋀ Ix), which is false. 

Similarly, the sentence, *The Wolverine has an Adamantium Skeleton*, translates to ∃!x(Wx ⋀ Ax), which is true. 

Similarly, the sentence, *Socrates had a beard*, translates to ∃!x(Sx ⋀ Bx), which is true. However, for all I know , *Socrates* could also reference a fiction. 

**How does logic reference fictional characters?**