Structure Transfer: an Inference-Based Calculus for the Transformation of Representations