The Design and Implementation of Probabilistic Programming Languages by Noah D. Goodman and Andreas Stuhlmüller.
If you want to sharpen the discussion of probabilistic programming languages, substitute in the pragmatics example:
‘none/some/all of the children are suicide bombers’,
The substitution raises the issue of how “certainty” can/should vary depending upon the gravity of results.
Who is a nice person?, has low stakes.
Who is a suicide bomber?, has high stakes.