A promising method is to use rejection sampling by uniform sampling from the whole space, and only keep the synonymous ones judged by crowdworkers.
this is not practical either, as the synonymous pairs are sparse in the whole space, resulting in low efficiency.