Assertion list
design (aspect of stadium ) → HasProperty

Results from Ascent++: 1
designHasProperty unique 0.38