Assertion list
axolotl (primary) → HasA
Results from Ascent++: 1
axolotl → HasA → feathery gills 0.25