ABSURDIST II: A Graph Matching Algorithm and its Application to Conceptual System Translation