Assertion list
fin (aspect of goldfish ) → HasProperty
Results from Ascent++: 2
fin → HasProperty → long 0.81
fin → HasProperty → short 0.43