Backtracking in the 'not A until B' Construction and Translation Strategies | Synapse