Assertion list
pons (primary) → HasProperty
Results from Ascent++: 2
pons → HasProperty → right 0.43
pons → HasProperty → unharmed 0.25