NTH-SON : UNIFOPNTH-SON is an unification command.
Go to the nth descendant of the current-topnode. Instead of
using this command, you can simply type n on the unification top level to
go to the nth descendant. It has no effect if the current-topnode has
NTH-SON is a unification tree moving command.
TPS documentation homepage