Assertion list
leg (aspect of butterfly ) → HasProperty
Results from Ascent++: 3
leg → HasProperty → short 0.48
leg → HasProperty → black 0.25
leg → HasProperty → white 0.25