Assertion list
kgb (primary) → HasProperty
Results from Ascent++: 1
kgb → HasProperty → active 0.25