Assertion list
size (aspect of elephant ) → HasProperty
Results from Ascent++: 3
size → HasProperty → impressive 0.75
size → HasProperty → relative 0.68
size → HasProperty → small 0.25