Russian ⇄ English

часть условия правила импликации stresses
progr.	condition part of an if-then rule (множество фактов или утверждений в части "если" правила импликации ("если-то") ssn)