Assertion list
power nap (subgroup of nap ) → HasProperty
Results from Ascent++: 2
power nap → HasProperty → short 0.68
power nap → HasProperty → beneficial 0.59