**Defined in theory: Kif-lists****Source code: kif-lists.lisp**

**Documentation:**{tt nthrest} returns the list specified as its first argument

minus the first $n$ items, where $n$ is the number specified as its second argument.**Arity:**3

(Nth-Domain Nthrest 3 List) (Nth-Domain Nthrest 2 Natural) (Nth-Domain Nthrest 1 List) (=> (Nthrest ?List ?N ?New-List) (= ?New-List (Cond ((= ?N 0) (If (List ?List) ?List)) ((Positive ?N) (Nthrest (Rest ?List) (1- ?N))))))