testing and fixing PLN temporal reasoning