Assertion list
shrinkage (primary) → HasProperty
Results from Ascent++: 5
shrinkage → HasProperty → minimal 0.68
shrinkage → HasProperty → uniform 0.62
shrinkage → HasProperty → higher 0.58
shrinkage → HasProperty → large 0.49
shrinkage → HasProperty → inevitable 0.43