Bayesian Predictions from the Semi-analytic Models of Galaxy Formation