A demonstration of a legal reasoning system based on teleological analogies