English Computation Tree Logic: תרגום לשפות אחרות