The main graph matching algorithm. Based on the "neural-net"-style
ABSURDIST method described in this paper:
Robert L. Goldstone, Brian J. Rogosky, "Using relations within
conceptual systems to translate across conceptual
systems". Cognition 84 (2002), 295-320.