Assertion list
wooden puzzle (subgroup of puzzle ) → HasProperty

Results from Ascent++: 1
wooden puzzleHasProperty expensive 0.59