subsumes_term(Generic, Specific) is true if and only if Generic can be turn into Specific just by binding Generic's variables.