Assertion list
display ad (subgroup of ad ) → IsA
Results from Ascent++: 1
display ad → IsA → banner ads 0.31