There is not enough time left to call service http://www.mathweb.org/owl/analyse/TSTPAnalyserService.owl!

For problem Golog Executor.