Bayesian Program Synthesis   1 Story