temporal conditional rules