Formal probabilistic frameworks, such as structure-mapping theory (Gentner) and Bayesian analogical ...