Assertion list
new pad (subgroup of pad ) → HasProperty
Results from Ascent++: 1
new pad → HasProperty → thicker than the old 0.68