Assertion list
fighting fish (subgroup of fish ) → HasProperty
Results from Ascent++: 1
fighting fish → HasProperty → fun 0.59