English property-specification language: tłumaczenie na inne języki