Assertion list
quartz countertop (subgroup of countertop ) → IsA
Results from Ascent++: 1
quartz countertop → IsA → stain 0.16