אנגלית ⇄ אוקראינית איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

formal inference
.טכנול	inférence rigoureuse; déduction f; inférence valide