I rescued one test automation attempt in Sahi Pro, its implementation was so bad and messy (and costly too, even with a runtime license). After converting to raw Selenium + RSpec, the customer was so happy that the solution was so simple and so quickly done. Moreover, Selenium WebDriver + RSpec, being much much better, easier, faster, more reliable, more readable, more maintainable, better supported, fully-featured, quicker-to-learn (one-day), ...., is completely FREE. Really, don't waste time on others, just stick with the WebDriver standard.

I vaguely remember the testing lead told me the main reason for choosing Sahi Pro, "can resume for debugging...". Anyway, this can be achieved in a simpler and more effective way in TestWise, even in free mode.

On Karate DSL, check out my article on "Given-When-Then' article,

https://medium.com/swlh/why-gerkin-cucumber-specflow-always-failed-with-ui-test-automation-c85a8030c07d