Metalevel Representation of Analogical Inference