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

formal inference
.טכנול	deduktion