Assertion list
vanilla (primary) → IsA
Results from Ascent++: 1
vanilla → IsA → orchid 0.52