Assertion list
numbat (primary) → HasProperty
Results from Ascent++: 1
numbat → HasProperty → active 0.68