машина обработки правил(правила представлены в структурированной, символической форме • The symbolic engine uses mathematical rules to infer solutions to problems and arrives at feasible proofs for a given geometry theorem.techcrunch.com, ultralytics.comAlex_Odeychuk)