How to sample ordered variables with different distributions in turing

Specific Domains Probabilistic Programming
, ,
3 
chain = sample(demo(), SMC(), 1_000; progress = true);

Seems to return non-violating samples.