Assertion list
shape (aspect of sponge ) → HasProperty
Results from Ascent++: 1
shape → HasProperty → perfect 0.59