The project of formalizing analogical inference in terms of one or more simple formal schemata is do...