Assertion list
leg (aspect of scorpion ) → HasProperty
Results from Ascent++: 1
leg → HasProperty → thin 0.68