English Temporal Logic Of Actions: תרגום לשפות אחרות