Assertion list
arithmetic sequence (subgroup of sequence ) → IsA
Results from Ascent++: 1
arithmetic sequence → IsA → a sequence of numbers 0.68