ACME doesn't understand analogy
All ACME does is take algebraic sentences in predicate logic notaiton and compare them. For example, it only understands that 'Socrates is like a midwife' to the extent that it understands that '(a(b)), (c(d)) is similar to (A(B)), (C(D)).
73
David Chalmers, Robert French & Douglas Hofstadter, 1995