Assertion list
new stadium (subgroup of stadium ) → HasProperty
Results from Ascent++: 3
new stadium → HasProperty → suitable 0.33
new stadium → HasProperty → open 0.33
new stadium → HasProperty → second 0.19