mp-0-numbervars-3"><span class="std std-ref">numbervars/3</span></a>  <a class="reference internal" href="termp_0.html#termp-0-occurs-2"><span class="std std-ref">occurs/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-singletons-2"><span class="std std-ref">singletons/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-subsumes-2"><span class="std std-ref">subsumes/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-subterm-2"><span class="std