Assertion list
wish (primary) → IsA
Results from Ascent++: 1
wish → IsA → desire 0.30