Formalization of natural language metaphors is a notorious problem in artificial intelligence and in other overlapping domains. It is semantic vagueness that makes metaphors resistant to formulaic or algorithmic descriptions. ...