Assertion list
leave conditioner (subgroup of conditioner ) → HasProperty
Results from Ascent++: 1
leave conditioner → HasProperty → great 0.59