add back in parseEnglishToLTL's ability to parse group editing operators, from UKR branch