svoid test_ai_ruleOfThree_1() { 
  // both of these solve the quest
  test_ai_ruleOfThree_1(
    //::ai_ruleOfThree_solver_1
    ::ai_ruleOfThree_solver_3);
}

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");
}