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

automated logical inference
.טכנול	inférence logique automatisée