Assertion list
ambrosia (primary) → HasProperty
Results from Ascent++: 3
ambrosia → HasProperty → rosy-red 0.25
ambrosia → HasProperty → compelling 0.16
ambrosia → HasProperty → more alive 0.16