Assertion list
aardwolf (primary) → HasProperty
Results from Ascent++: 2
aardwolf → HasProperty → nocturnal 0.62
aardwolf → HasProperty → smaller 0.49