Assertion list
compression format (subgroup of format ) → HasProperty
Results from Ascent++: 1
compression format → HasProperty → lossless 0.68