Assertion list
natural sponge (subgroup of sponge ) → HasProperty
Results from Ascent++: 1
natural sponge → HasProperty → more durable 0.59