Assertion: sample's distribution | /r/HasProperty | specified as probabilistic programs
Facets:
Source sentences:
text: Church is free software for performing Gibbs inference over arbitrary distributions that are specified as probabilistic programs.