Assertion list
elm (primary) → IsA
Results from Ascent++: 2
elm → IsA → tree 0.84
elm → IsA → trees of ill-omen 0.16