Assertion list
display ad (subgroup of ad ) → HasProperty
Results from Ascent++: 3
display ad → HasProperty → effective 0.38
display ad → HasProperty → great 0.16
display ad → HasProperty → perfect 0.16