Assertion list
new tower (subgroup of tower ) → IsA
Results from Ascent++: 1
new tower → IsA → taller than the old tower 0.29