Analogy for automated reasoning | lit.salon