Assertion list
mix (primary) → IsA
Results from Ascent++: 1
mix → IsA → the combination 0.24