Assertion list
live auction (subgroup of auction ) → HasProperty
Results from Ascent++: 2
live auction → HasProperty → exciting 0.32
live auction → HasProperty → open 0.25