SpatialTemporalMonitorUntil