Assertion list
concrete countertop (subgroup of countertop ) → ReceivesAction
Results from Ascent++: 2
concrete countertop → ReceivesAction → made 0.59
concrete countertop → ReceivesAction → sealed 0.51