Assertion list
alder (primary) → HasProperty
Results from Ascent++: 2
alder → HasProperty → white 0.29
alder → HasProperty → common 0.25