Assertion list
telescope goldfish (subgroup of goldfish ) → HasA
Results from Ascent++: 1
telescope goldfish → HasA → characteristic pair of protrudi… 0.68