Assertion list
fin (aspect of trout ) → HasProperty
Results from Ascent++: 1
fin → HasProperty → dark 0.84