Assertion list
new format (subgroup of format ) → HasProperty
Results from Ascent++: 1
new format → HasProperty → simple 0.25