Assertion list
elf (primary) → IsA
Results from Ascent++: 1
elf → IsA → fairy 0.28