Assertion list
petrel (primary) → HasProperty
Results from Ascent++: 2
petrel → HasProperty → elegant 0.16
petrel → HasProperty → silent 0.16