Assertion list
beauty contest (subgroup of contest ) → IsA

Results from Ascent++: 1
beauty contestIsA competition 0.68