Assertion list
tree swing (subgroup of swing ) → HasProperty
Results from Ascent++: 1
tree swing → HasProperty → perfect 0.23