This dataset contains examples of implementing Monte Carlo and first-order second moment method from the srr ontology.