Assertion list
dormouse (primary) → HasProperty
Results from Ascent++: 1
dormouse → HasProperty → asleep 0.68