Assertion list
corian countertop (subgroup of countertop ) → HasA
Results from Ascent++: 1
corian countertop → HasA → solid appearance 0.16