Temporal eXpressions IDentifier (TxID)