You are correct, that is the slicing syntax. We to carefully interpret the ":" in the right way. For example:
sort(l, lambda A:F1(A)) doesn't invoke
Sheet1[10:20] just returns the 10 to 20s row of that sheet, which I think is the most reasonable thing to do here