Assertion list
true fresco (subgroup of fresco ) → HasA
Results from Ascent++: 1
true fresco → HasA → smooth one 0.59