Assertion list
albacore (primary) → HasProperty
Results from Ascent++: 2
albacore → HasProperty → younger 0.36
albacore → HasProperty → simple 0.25