Assertion list
roof (aspect of stadium ) → HasProperty
Results from Ascent++: 4
roof → HasProperty → open 0.68
roof → HasProperty → retractable 0.41
roof → HasProperty → operational 0.25
roof → HasProperty → unique 0.16