Assertion list
fin (aspect of shark ) → HasProperty
Results from Ascent++: 2
fin → HasProperty → large 0.25
fin → HasProperty → tasteless 0.24