Assertion list
insomniac (primary) → HasProperty
Results from Ascent++: 1
insomniac → HasProperty → awake 0.28