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