Assertion list
natural pool (subgroup of pool ) → HasProperty
Results from Ascent++: 1
natural pool → HasProperty → perfect 0.59