Assertion list
head (aspect of hedgehog ) → CapableOf
Results from Ascent++: 1
head → CapableOf → stuck in tin 0.59