# \#subsumes\_term **URL:** https://swi-prolog.discourse.group/tag/subsumes-term/170.md [Latest](https://swi-prolog.discourse.group/latest.md) · [Categories](https://swi-prolog.discourse.group/categories.md) · [Tags](https://swi-prolog.discourse.group/tags.md) --- ## [Declarative meaning of \`more generic than\`?](https://swi-prolog.discourse.group/t/declarative-meaning-of-more-generic-than/6888)
**Author:** [@kuniaki.mukai](https://swi-prolog.discourse.group/u/kuniaki.mukai)\ **Replies:** 23\ **Last updated:** [October 20, 2023, 9:29am UTC](https://swi-prolog.discourse.group/t/declarative-meaning-of-more-generic-than/6888 "2023-10-20T09:29:37Z")
With a hope to decrease the number of occurrences of my uses of the cut like “a(…):-!, …” I started a late learning on recent SSU (=\>) features. As an initial step, I check the subsumes\_term/2, though I am not sure …