Assertion list
head (aspect of worm ) → CapableOf
Results from Ascent++: 1
head → CapableOf → start at the eye 0.25