svoid test_ai_ruleOfThree_1(IF2<S, S, S> f default lambda2 ai_ruleOfThree_solver_1) {
  testFunctionValues_twoArgs(f,
    pair("I want to fly => Verb phrase: fly", "I want to get high"),
      "Verb phrase: get high");
}