Assertion list
minimum essential coverage (subgroup of coverage ) → CapableOf
Results from Ascent++: 1
minimum essential coverage → CapableOf → provide minimum value 0.25