Assertion list
hump (aspect of camel ) → HasProperty
Results from Ascent++: 1
hump → HasProperty → fat 0.72