True if Generic is unified to Specific without
It turns out that calls to this predicate almost always should have used subsumes_term/2.
Also the name is misleading. In case this is really needed, one is
adviced to follow subsumes_term/2
with an explicit unification.
Tags are associated to your profile if you are logged in