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