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

inductive assertion method
.טכנול	μέθοδος επαγωγικής απονομής παραδοχής