Assertion list for term "correspond to local minimum".
Results from Ascent++: 1
number (aspect of sequence) → CapableOf → correspond to local minimum 0.31