English property-specification language: תרגום לשפות אחרות