My pleasure. I’m glad I could help. Now I’m wondering what the problems I was seeing were all about and why you weren’t seeing the error in the logs when using SL about unsupported axioms. I’ll have to have to give it a try with 4.2.4 and see what happens.