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

automated logical inference
.טכנול	automatización de la inferencia lógica