static BasicLogicRule ai_newEngine_parseRule(S s, DeepZipTools tools) {
  BasicLogicRule rule = curryLHS_BasicLogicRule(ai_parseBasicLogicRule(s));
  ret (BasicLogicRule) tools.transform(x -> {
    if (x cast S) ret ai_newEngine_parseFunctionCallOrStatement(x);
    null;
  }, rule);
}