Assertion list
number (aspect of sequence ) → AtLocation
Results from Ascent++: 1
number → AtLocation → increasing order 0.28