svoid test_ai_ruleOfThree_1() { 
  test_ai_ruleOfThree_1(lambda2 ai_ruleOfThree_solver_1);
}

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