eyelang 1.2.2 → 1.3.0

package/examples/proof/epidemic-policy.pl

@@ -1,774 +0,0 @@
-status(no_mandate, insufficient_control).
-why(
-  status(no_mandate, insufficient_control),
-  proof(
-    goal(status(no_mandate, insufficient_control)),
-    by(rule("epidemic-policy.pl", clause(25))),
-    bindings([binding("P", no_mandate), binding("R", 1.3999999999999999)]),
-    uses([
-      proof(
-        goal(policy(no_mandate)),
-        by(fact("epidemic-policy.pl", clause(6)))
-      ),
-      proof(
-        goal(risk_score(no_mandate, 1.3999999999999999)),
-        by(rule("epidemic-policy.pl", clause(23))),
-        bindings([binding("P", no_mandate), binding("R", 1.3999999999999999), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 1.00), binding("A", 1.3999999999999999)]),
-        uses([
-          proof(
-            goal(base_risk(1.40)),
-            by(fact("epidemic-policy.pl", clause(10)))
-          ),
-          proof(
-            goal(vaccination_factor(no_mandate, 1.00)),
-            by(fact("epidemic-policy.pl", clause(11)))
-          ),
-          proof(
-            goal(mask_factor(no_mandate, 1.00)),
-            by(fact("epidemic-policy.pl", clause(15)))
-          ),
-          proof(
-            goal(mul(1.40, 1.00, 1.3999999999999999)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(1.3999999999999999, 1.00, 1.3999999999999999)),
-            by(builtin(mul, 3))
-          )
-        ])
-      ),
-      proof(
-        goal(gt(1.3999999999999999, 0.75)),
-        by(builtin(gt, 2))
-      )
-    ])
-  )
-).
-
-status(vaccination_campaign, insufficient_control).
-why(
-  status(vaccination_campaign, insufficient_control),
-  proof(
-    goal(status(vaccination_campaign, insufficient_control)),
-    by(rule("epidemic-policy.pl", clause(25))),
-    bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002)]),
-    uses([
-      proof(
-        goal(policy(vaccination_campaign)),
-        by(fact("epidemic-policy.pl", clause(7)))
-      ),
-      proof(
-        goal(risk_score(vaccination_campaign, 0.77000000000000002)),
-        by(rule("epidemic-policy.pl", clause(23))),
-        bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 1.00), binding("A", 0.77000000000000002)]),
-        uses([
-          proof(
-            goal(base_risk(1.40)),
-            by(fact("epidemic-policy.pl", clause(10)))
-          ),
-          proof(
-            goal(vaccination_factor(vaccination_campaign, 0.55)),
-            by(fact("epidemic-policy.pl", clause(12)))
-          ),
-          proof(
-            goal(mask_factor(vaccination_campaign, 1.00)),
-            by(fact("epidemic-policy.pl", clause(16)))
-          ),
-          proof(
-            goal(mul(1.40, 0.55, 0.77000000000000002)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(0.77000000000000002, 1.00, 0.77000000000000002)),
-            by(builtin(mul, 3))
-          )
-        ])
-      ),
-      proof(
-        goal(gt(0.77000000000000002, 0.75)),
-        by(builtin(gt, 2))
-      )
-    ])
-  )
-).
-
-status(indoor_masks, insufficient_control).
-why(
-  status(indoor_masks, insufficient_control),
-  proof(
-    goal(status(indoor_masks, insufficient_control)),
-    by(rule("epidemic-policy.pl", clause(25))),
-    bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992)]),
-    uses([
-      proof(
-        goal(policy(indoor_masks)),
-        by(fact("epidemic-policy.pl", clause(8)))
-      ),
-      proof(
-        goal(risk_score(indoor_masks, 0.90999999999999992)),
-        by(rule("epidemic-policy.pl", clause(23))),
-        bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 0.65), binding("A", 1.3999999999999999)]),
-        uses([
-          proof(
-            goal(base_risk(1.40)),
-            by(fact("epidemic-policy.pl", clause(10)))
-          ),
-          proof(
-            goal(vaccination_factor(indoor_masks, 1.00)),
-            by(fact("epidemic-policy.pl", clause(13)))
-          ),
-          proof(
-            goal(mask_factor(indoor_masks, 0.65)),
-            by(fact("epidemic-policy.pl", clause(17)))
-          ),
-          proof(
-            goal(mul(1.40, 1.00, 1.3999999999999999)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(1.3999999999999999, 0.65, 0.90999999999999992)),
-            by(builtin(mul, 3))
-          )
-        ])
-      ),
-      proof(
-        goal(gt(0.90999999999999992, 0.75)),
-        by(builtin(gt, 2))
-      )
-    ])
-  )
-).
-
-status(vaccination_and_masks, acceptable_control).
-why(
-  status(vaccination_and_masks, acceptable_control),
-  proof(
-    goal(status(vaccination_and_masks, acceptable_control)),
-    by(rule("epidemic-policy.pl", clause(26))),
-    bindings([binding("P", vaccination_and_masks)]),
-    uses([
-      proof(
-        goal(acceptable(vaccination_and_masks)),
-        by(rule("epidemic-policy.pl", clause(24))),
-        bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006)]),
-        uses([
-          proof(
-            goal(risk_score(vaccination_and_masks, 0.50050000000000006)),
-            by(rule("epidemic-policy.pl", clause(23))),
-            bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 0.65), binding("A", 0.77000000000000002)]),
-            uses([
-              proof(
-                goal(base_risk(1.40)),
-                by(fact("epidemic-policy.pl", clause(10)))
-              ),
-              proof(
-                goal(vaccination_factor(vaccination_and_masks, 0.55)),
-                by(fact("epidemic-policy.pl", clause(14)))
-              ),
-              proof(
-                goal(mask_factor(vaccination_and_masks, 0.65)),
-                by(fact("epidemic-policy.pl", clause(18)))
-              ),
-              proof(
-                goal(mul(1.40, 0.55, 0.77000000000000002)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(0.77000000000000002, 0.65, 0.50050000000000006)),
-                by(builtin(mul, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(le(0.50050000000000006, 0.75)),
-            by(builtin(le, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
-riskScore(no_mandate, 1.3999999999999999).
-why(
-  riskScore(no_mandate, 1.3999999999999999),
-  proof(
-    goal(riskScore(no_mandate, 1.3999999999999999)),
-    by(rule("epidemic-policy.pl", clause(28))),
-    bindings([binding("P", no_mandate), binding("R", 1.3999999999999999)]),
-    uses([
-      proof(
-        goal(risk_score(no_mandate, 1.3999999999999999)),
-        by(rule("epidemic-policy.pl", clause(23))),
-        bindings([binding("P", no_mandate), binding("R", 1.3999999999999999), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 1.00), binding("A", 1.3999999999999999)]),
-        uses([
-          proof(
-            goal(base_risk(1.40)),
-            by(fact("epidemic-policy.pl", clause(10)))
-          ),
-          proof(
-            goal(vaccination_factor(no_mandate, 1.00)),
-            by(fact("epidemic-policy.pl", clause(11)))
-          ),
-          proof(
-            goal(mask_factor(no_mandate, 1.00)),
-            by(fact("epidemic-policy.pl", clause(15)))
-          ),
-          proof(
-            goal(mul(1.40, 1.00, 1.3999999999999999)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(1.3999999999999999, 1.00, 1.3999999999999999)),
-            by(builtin(mul, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
-riskScore(vaccination_campaign, 0.77000000000000002).
-why(
-  riskScore(vaccination_campaign, 0.77000000000000002),
-  proof(
-    goal(riskScore(vaccination_campaign, 0.77000000000000002)),
-    by(rule("epidemic-policy.pl", clause(28))),
-    bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002)]),
-    uses([
-      proof(
-        goal(risk_score(vaccination_campaign, 0.77000000000000002)),
-        by(rule("epidemic-policy.pl", clause(23))),
-        bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 1.00), binding("A", 0.77000000000000002)]),
-        uses([
-          proof(
-            goal(base_risk(1.40)),
-            by(fact("epidemic-policy.pl", clause(10)))
-          ),
-          proof(
-            goal(vaccination_factor(vaccination_campaign, 0.55)),
-            by(fact("epidemic-policy.pl", clause(12)))
-          ),
-          proof(
-            goal(mask_factor(vaccination_campaign, 1.00)),
-            by(fact("epidemic-policy.pl", clause(16)))
-          ),
-          proof(
-            goal(mul(1.40, 0.55, 0.77000000000000002)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(0.77000000000000002, 1.00, 0.77000000000000002)),
-            by(builtin(mul, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
-riskScore(indoor_masks, 0.90999999999999992).
-why(
-  riskScore(indoor_masks, 0.90999999999999992),
-  proof(
-    goal(riskScore(indoor_masks, 0.90999999999999992)),
-    by(rule("epidemic-policy.pl", clause(28))),
-    bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992)]),
-    uses([
-      proof(
-        goal(risk_score(indoor_masks, 0.90999999999999992)),
-        by(rule("epidemic-policy.pl", clause(23))),
-        bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 0.65), binding("A", 1.3999999999999999)]),
-        uses([
-          proof(
-            goal(base_risk(1.40)),
-            by(fact("epidemic-policy.pl", clause(10)))
-          ),
-          proof(
-            goal(vaccination_factor(indoor_masks, 1.00)),
-            by(fact("epidemic-policy.pl", clause(13)))
-          ),
-          proof(
-            goal(mask_factor(indoor_masks, 0.65)),
-            by(fact("epidemic-policy.pl", clause(17)))
-          ),
-          proof(
-            goal(mul(1.40, 1.00, 1.3999999999999999)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(1.3999999999999999, 0.65, 0.90999999999999992)),
-            by(builtin(mul, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
-riskScore(vaccination_and_masks, 0.50050000000000006).
-why(
-  riskScore(vaccination_and_masks, 0.50050000000000006),
-  proof(
-    goal(riskScore(vaccination_and_masks, 0.50050000000000006)),
-    by(rule("epidemic-policy.pl", clause(28))),
-    bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006)]),
-    uses([
-      proof(
-        goal(risk_score(vaccination_and_masks, 0.50050000000000006)),
-        by(rule("epidemic-policy.pl", clause(23))),
-        bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 0.65), binding("A", 0.77000000000000002)]),
-        uses([
-          proof(
-            goal(base_risk(1.40)),
-            by(fact("epidemic-policy.pl", clause(10)))
-          ),
-          proof(
-            goal(vaccination_factor(vaccination_and_masks, 0.55)),
-            by(fact("epidemic-policy.pl", clause(14)))
-          ),
-          proof(
-            goal(mask_factor(vaccination_and_masks, 0.65)),
-            by(fact("epidemic-policy.pl", clause(18)))
-          ),
-          proof(
-            goal(mul(1.40, 0.55, 0.77000000000000002)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(0.77000000000000002, 0.65, 0.50050000000000006)),
-            by(builtin(mul, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
-cost(no_mandate, 0).
-why(
-  cost(no_mandate, 0),
-  proof(
-    goal(cost(no_mandate, 0)),
-    by(rule("epidemic-policy.pl", clause(29))),
-    bindings([binding("P", no_mandate), binding("C", 0)]),
-    uses([
-      proof(
-        goal(policy_cost(no_mandate, 0)),
-        by(fact("epidemic-policy.pl", clause(19)))
-      )
-    ])
-  )
-).
-
-cost(vaccination_campaign, 3).
-why(
-  cost(vaccination_campaign, 3),
-  proof(
-    goal(cost(vaccination_campaign, 3)),
-    by(rule("epidemic-policy.pl", clause(29))),
-    bindings([binding("P", vaccination_campaign), binding("C", 3)]),
-    uses([
-      proof(
-        goal(policy_cost(vaccination_campaign, 3)),
-        by(fact("epidemic-policy.pl", clause(20)))
-      )
-    ])
-  )
-).
-
-cost(indoor_masks, 2).
-why(
-  cost(indoor_masks, 2),
-  proof(
-    goal(cost(indoor_masks, 2)),
-    by(rule("epidemic-policy.pl", clause(29))),
-    bindings([binding("P", indoor_masks), binding("C", 2)]),
-    uses([
-      proof(
-        goal(policy_cost(indoor_masks, 2)),
-        by(fact("epidemic-policy.pl", clause(21)))
-      )
-    ])
-  )
-).
-
-cost(vaccination_and_masks, 5).
-why(
-  cost(vaccination_and_masks, 5),
-  proof(
-    goal(cost(vaccination_and_masks, 5)),
-    by(rule("epidemic-policy.pl", clause(29))),
-    bindings([binding("P", vaccination_and_masks), binding("C", 5)]),
-    uses([
-      proof(
-        goal(policy_cost(vaccination_and_masks, 5)),
-        by(fact("epidemic-policy.pl", clause(22)))
-      )
-    ])
-  )
-).
-
-recommendedPolicy(epidemic_policy, vaccination_and_masks).
-why(
-  recommendedPolicy(epidemic_policy, vaccination_and_masks),
-  proof(
-    goal(recommendedPolicy(epidemic_policy, vaccination_and_masks)),
-    by(rule("epidemic-policy.pl", clause(30))),
-    bindings([binding("P", vaccination_and_masks)]),
-    uses([
-      proof(
-        goal(recommended(vaccination_and_masks)),
-        by(rule("epidemic-policy.pl", clause(27))),
-        uses([
-          proof(
-            goal(acceptable(vaccination_and_masks)),
-            by(rule("epidemic-policy.pl", clause(24))),
-            bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006)]),
-            uses([
-              proof(
-                goal(risk_score(vaccination_and_masks, 0.50050000000000006)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 0.65), binding("A", 0.77000000000000002)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(vaccination_and_masks, 0.55)),
-                    by(fact("epidemic-policy.pl", clause(14)))
-                  ),
-                  proof(
-                    goal(mask_factor(vaccination_and_masks, 0.65)),
-                    by(fact("epidemic-policy.pl", clause(18)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 0.55, 0.77000000000000002)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(0.77000000000000002, 0.65, 0.50050000000000006)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(le(0.50050000000000006, 0.75)),
-                by(builtin(le, 2))
-              )
-            ])
-          ),
-          proof(
-            goal(status(no_mandate, insufficient_control)),
-            by(rule("epidemic-policy.pl", clause(25))),
-            bindings([binding("P", no_mandate), binding("R", 1.3999999999999999)]),
-            uses([
-              proof(
-                goal(policy(no_mandate)),
-                by(fact("epidemic-policy.pl", clause(6)))
-              ),
-              proof(
-                goal(risk_score(no_mandate, 1.3999999999999999)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", no_mandate), binding("R", 1.3999999999999999), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 1.00), binding("A", 1.3999999999999999)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(no_mandate, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(11)))
-                  ),
-                  proof(
-                    goal(mask_factor(no_mandate, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(15)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 1.00, 1.3999999999999999)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(1.3999999999999999, 1.00, 1.3999999999999999)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(gt(1.3999999999999999, 0.75)),
-                by(builtin(gt, 2))
-              )
-            ])
-          ),
-          proof(
-            goal(status(vaccination_campaign, insufficient_control)),
-            by(rule("epidemic-policy.pl", clause(25))),
-            bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002)]),
-            uses([
-              proof(
-                goal(policy(vaccination_campaign)),
-                by(fact("epidemic-policy.pl", clause(7)))
-              ),
-              proof(
-                goal(risk_score(vaccination_campaign, 0.77000000000000002)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 1.00), binding("A", 0.77000000000000002)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(vaccination_campaign, 0.55)),
-                    by(fact("epidemic-policy.pl", clause(12)))
-                  ),
-                  proof(
-                    goal(mask_factor(vaccination_campaign, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(16)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 0.55, 0.77000000000000002)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(0.77000000000000002, 1.00, 0.77000000000000002)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(gt(0.77000000000000002, 0.75)),
-                by(builtin(gt, 2))
-              )
-            ])
-          ),
-          proof(
-            goal(status(indoor_masks, insufficient_control)),
-            by(rule("epidemic-policy.pl", clause(25))),
-            bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992)]),
-            uses([
-              proof(
-                goal(policy(indoor_masks)),
-                by(fact("epidemic-policy.pl", clause(8)))
-              ),
-              proof(
-                goal(risk_score(indoor_masks, 0.90999999999999992)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 0.65), binding("A", 1.3999999999999999)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(indoor_masks, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(13)))
-                  ),
-                  proof(
-                    goal(mask_factor(indoor_masks, 0.65)),
-                    by(fact("epidemic-policy.pl", clause(17)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 1.00, 1.3999999999999999)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(1.3999999999999999, 0.65, 0.90999999999999992)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(gt(0.90999999999999992, 0.75)),
-                by(builtin(gt, 2))
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
-reason(epidemic_policy, "combined vaccination and indoor masks are the only policy below the outbreak threshold").
-why(
-  reason(epidemic_policy, "combined vaccination and indoor masks are the only policy below the outbreak threshold"),
-  proof(
-    goal(reason(epidemic_policy, "combined vaccination and indoor masks are the only policy below the outbreak threshold")),
-    by(rule("epidemic-policy.pl", clause(31))),
-    uses([
-      proof(
-        goal(recommended(vaccination_and_masks)),
-        by(rule("epidemic-policy.pl", clause(27))),
-        uses([
-          proof(
-            goal(acceptable(vaccination_and_masks)),
-            by(rule("epidemic-policy.pl", clause(24))),
-            bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006)]),
-            uses([
-              proof(
-                goal(risk_score(vaccination_and_masks, 0.50050000000000006)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", vaccination_and_masks), binding("R", 0.50050000000000006), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 0.65), binding("A", 0.77000000000000002)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(vaccination_and_masks, 0.55)),
-                    by(fact("epidemic-policy.pl", clause(14)))
-                  ),
-                  proof(
-                    goal(mask_factor(vaccination_and_masks, 0.65)),
-                    by(fact("epidemic-policy.pl", clause(18)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 0.55, 0.77000000000000002)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(0.77000000000000002, 0.65, 0.50050000000000006)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(le(0.50050000000000006, 0.75)),
-                by(builtin(le, 2))
-              )
-            ])
-          ),
-          proof(
-            goal(status(no_mandate, insufficient_control)),
-            by(rule("epidemic-policy.pl", clause(25))),
-            bindings([binding("P", no_mandate), binding("R", 1.3999999999999999)]),
-            uses([
-              proof(
-                goal(policy(no_mandate)),
-                by(fact("epidemic-policy.pl", clause(6)))
-              ),
-              proof(
-                goal(risk_score(no_mandate, 1.3999999999999999)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", no_mandate), binding("R", 1.3999999999999999), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 1.00), binding("A", 1.3999999999999999)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(no_mandate, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(11)))
-                  ),
-                  proof(
-                    goal(mask_factor(no_mandate, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(15)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 1.00, 1.3999999999999999)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(1.3999999999999999, 1.00, 1.3999999999999999)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(gt(1.3999999999999999, 0.75)),
-                by(builtin(gt, 2))
-              )
-            ])
-          ),
-          proof(
-            goal(status(vaccination_campaign, insufficient_control)),
-            by(rule("epidemic-policy.pl", clause(25))),
-            bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002)]),
-            uses([
-              proof(
-                goal(policy(vaccination_campaign)),
-                by(fact("epidemic-policy.pl", clause(7)))
-              ),
-              proof(
-                goal(risk_score(vaccination_campaign, 0.77000000000000002)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", vaccination_campaign), binding("R", 0.77000000000000002), binding("Base", 1.40), binding("VF", 0.55), binding("MF", 1.00), binding("A", 0.77000000000000002)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(vaccination_campaign, 0.55)),
-                    by(fact("epidemic-policy.pl", clause(12)))
-                  ),
-                  proof(
-                    goal(mask_factor(vaccination_campaign, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(16)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 0.55, 0.77000000000000002)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(0.77000000000000002, 1.00, 0.77000000000000002)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(gt(0.77000000000000002, 0.75)),
-                by(builtin(gt, 2))
-              )
-            ])
-          ),
-          proof(
-            goal(status(indoor_masks, insufficient_control)),
-            by(rule("epidemic-policy.pl", clause(25))),
-            bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992)]),
-            uses([
-              proof(
-                goal(policy(indoor_masks)),
-                by(fact("epidemic-policy.pl", clause(8)))
-              ),
-              proof(
-                goal(risk_score(indoor_masks, 0.90999999999999992)),
-                by(rule("epidemic-policy.pl", clause(23))),
-                bindings([binding("P", indoor_masks), binding("R", 0.90999999999999992), binding("Base", 1.40), binding("VF", 1.00), binding("MF", 0.65), binding("A", 1.3999999999999999)]),
-                uses([
-                  proof(
-                    goal(base_risk(1.40)),
-                    by(fact("epidemic-policy.pl", clause(10)))
-                  ),
-                  proof(
-                    goal(vaccination_factor(indoor_masks, 1.00)),
-                    by(fact("epidemic-policy.pl", clause(13)))
-                  ),
-                  proof(
-                    goal(mask_factor(indoor_masks, 0.65)),
-                    by(fact("epidemic-policy.pl", clause(17)))
-                  ),
-                  proof(
-                    goal(mul(1.40, 1.00, 1.3999999999999999)),
-                    by(builtin(mul, 3))
-                  ),
-                  proof(
-                    goal(mul(1.3999999999999999, 0.65, 0.90999999999999992)),
-                    by(builtin(mul, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(gt(0.90999999999999992, 0.75)),
-                by(builtin(gt, 2))
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-