Assertion list
leg (aspect of centipede ) → HasProperty
Results from Ascent++: 2
leg → HasProperty → long 0.81
leg → HasProperty → shorter 0.36