Assertion list
daphne (primary) → IsA
Results from Ascent++: 1
daphne → IsA → nymph 0.40