Assertion list
wedge anchor (subgroup of anchor ) → ReceivesAction
Results from Ascent++: 2
wedge anchor → ReceivesAction → hammered into the hole 0.68
wedge anchor → ReceivesAction → embedded into the concrete 0.25