English logic datatype: tłumaczenie na inne języki