True if Generic is unified to Specific without changing
- 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