Assertion list
kernel (aspect of corn ) → AtLocation
Results from Ascent++: 1
kernel → AtLocation → tight rows 0.37