Assertion list
male seahorse (subgroup of seahorse ) → HasA
Results from Ascent++: 1
male seahorse → HasA → pouch 0.25