{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.
(Nth-Domain@Frame-Ontology Nthrest 3 List) (Nth-Domain@Frame-Ontology Nthrest 2 Natural) (Nth-Domain@Frame-Ontology Nthrest 1 List)