Assertion list
new logo (subgroup of logo ) → IsA
Results from Ascent++: 1
new logo → IsA → departure 0.25