Assertion list
pika (primary) → HasProperty
Results from Ascent++: 1
pika → HasProperty → active 0.38