Assertion list
leg (aspect of spider ) → HasA
Results from Ascent++: 2
leg → HasA → seven segments 0.25
leg → HasA → short hairs 0.25