Assertion list
kitchen countertop (subgroup of countertop ) → MadeOf
Results from Ascent++: 1
kitchen countertop → MadeOf → granite 0.45