Assertion list
minimum essential coverage (subgroup of coverage ) → HasProperty
Results from Ascent++: 1
minimum essential coverage → HasProperty → affordable 0.68