A bridge between (in principle) semi-format Gherkin features and formal RSpec features