Assertion list
scorpionfish (primary) → HasProperty
Results from Ascent++: 1
scorpionfish → HasProperty → common 0.68