Russian ⇄ English

прямое умозаключение stresses
math.	direct conclusion (непосредственное); direct inference (непосредственное)
прямое логическое умозаключение
automat.	forward chaining (в экспертной системе); forward inferencing (в экспертной системе)

прямое умозаключение: 5 phrases in 3 subjects

Automated equipment	2
Makarov	1
Programming	2