English assertion-level logic: tłumaczenie na inne języki