Temporal Ensemble Logic