Names inside Quotes

Consider

Lois believes that Superman can fly

But we don't really want:

believes(Lois, { CanFly(Superman) } )
Superman = ClarkKent
----------
believes(Lois, { CanFly(ClarkKent) } )

The correct folq expression is:

exists x (
   believes(Lois, { CanFly(x) & name(x, "Superman") } )
)
Superman = ClarkKent
------------
nothing

This delabeling makes the name-relation explicit and subject to normal inference rules. The URIRef name relation is key to the Web, but out of scope here.