intr: rest
tr (refl): rest oneself
nn m S, rest