Assertion list
seating capacity (aspect of stadium ) → HasProperty
Results from Ascent++: 1
seating capacity → HasProperty → small 0.16