English ⇄ Russian +

semantically valid stresses
logic	семантически допустимый (i.e., truth preserving — т.е. сохраняющий истинность Alex_Odeychuk)