אנגלית ⇄ רוסית +

predicate logic with equality מתח
.הִגָי	логика предикатов с равенством (Alex_Odeychuk)