Domains for Reasoning by Analogy