Assertion list
head (aspect of elk ) → CapableOf
Results from Ascent++: 2
head → CapableOf → outscore the widest 0.68
head → CapableOf → go behind tree 0.25