Assertion list
capacity (aspect of stadium ) → HasProperty
Results from Ascent++: 2
capacity → HasProperty → small 0.41
capacity → HasProperty → huge 0.25