Assertion list
new casino (subgroup of casino ) → HasA
Results from Ascent++: 1
new casino → HasA → upper hand 0.25