Assertion list
complete separation (subgroup of separation ) → HasProperty
Results from Ascent++: 1
complete separation → HasProperty → possible 0.68