Assertion list
scale (aspect of carp ) → HasProperty
Results from Ascent++: 1
scale → HasProperty → large 0.84