<a class="reference internal" href="termp_0.html#termp-0-depth-2"><span class="std std-ref">depth/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-ground-1"><span class="std std-ref">ground/1</span></a>  <a class="reference internal" href="termp_0.html#termp-0-new-1"><span class="std std-ref">new/1</span></a>  <a class="reference internal" href="termp_0.html#termp-0-numbervars-1"><span class="std std-ref">numbervars/1</span></a>  <a class="reference internal" href="termp_0.html#ter