Correctly handle intersection as LHS of a temporal operator