Assertion list
live auction (subgroup of auction ) → IsA
Results from Ascent++: 2
live auction → IsA → public auctions 0.44
live auction → IsA → great way 0.25