The progressive aspect in simultaneity as and while-clauses