Assertion list
stone countertop (subgroup of countertop ) → ReceivesAction
Results from Ascent++: 1
stone countertop → ReceivesAction → sealed 0.25