I don't know the answer to this, but I thought lucid dreaming still counted as getting rest as far as your brain was concerned. I lucid dream about once a month, and I never felt tired after it or like I was missing sleep.