trying to see if an algorithm can learn temporal formulas