Assertion list
regular waffle (subgroup of waffle ) → HasProperty

Results from Ascent++: 1
regular waffleHasProperty thinner 0.68