Assertion list
beluga (primary) → HasProperty
Results from Ascent++: 2
beluga → HasProperty → rare 0.25
beluga → HasProperty → white 0.25