Assertion list for term "i cor".

Results from Ascent++: 1
proof AtLocationi cor 0.25