Assertion list
countertop (primary) → HasA
Results from Ascent++: 3
countertop → HasA → seam 0.35
countertop → HasA → pattern 0.32
countertop → HasA → tiny holes 0.25