[
  {
    "id": "majority-outcome-careful-outcome-full-000",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D421, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D421, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D421, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D421).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-000"
  },
  {
    "id": "majority-outcome-careful-outcome-full-002",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D423, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D423, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D423, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D423).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-002"
  },
  {
    "id": "majority-outcome-careful-outcome-full-004",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D425, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D425, the probability-weighted mean is 21/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D425, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 21/10 units is mean-outcome(D425).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-004"
  },
  {
    "id": "majority-outcome-careful-outcome-full-006",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D427, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D427, the probability-weighted mean is 41/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D427, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 41/10 units is mean-outcome(D427).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-006"
  },
  {
    "id": "majority-outcome-careful-outcome-full-008",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D429, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D429, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D429, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D429).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-008"
  },
  {
    "id": "majority-outcome-careful-outcome-full-010",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D431, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D431, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D431, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D431).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-010"
  },
  {
    "id": "majority-outcome-careful-outcome-full-012",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D433, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D433, the probability-weighted mean is 2 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D433, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is mean-outcome(D433).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-012"
  },
  {
    "id": "majority-outcome-careful-outcome-full-014",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D435, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D435, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D435, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D435).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-014"
  },
  {
    "id": "majority-outcome-careful-outcome-full-016",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D437, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D437, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D437, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D437).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-016"
  },
  {
    "id": "majority-outcome-careful-outcome-full-018",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D439, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D439, the probability-weighted mean is 6 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D439, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is mean-outcome(D439).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "toy output",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-018"
  },
  {
    "id": "majority-outcome-careful-outcome-full-020",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D441, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D441, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D441, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D441).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-020"
  },
  {
    "id": "majority-outcome-careful-outcome-full-022",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D443, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D443, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D443, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D443).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-022"
  },
  {
    "id": "majority-outcome-careful-outcome-full-024",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D445, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D445, the probability-weighted mean is 21/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D445, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 21/10 units is mean-outcome(D445).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-024"
  },
  {
    "id": "majority-outcome-careful-outcome-full-026",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D447, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D447, the probability-weighted mean is 41/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D447, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 41/10 units is mean-outcome(D447).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-026"
  },
  {
    "id": "majority-outcome-careful-outcome-full-028",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D449, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D449, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D449, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D449).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-028"
  },
  {
    "id": "majority-outcome-careful-outcome-full-030",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D451, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D451, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D451, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D451).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-030"
  },
  {
    "id": "majority-outcome-careful-outcome-full-032",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D453, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D453, the probability-weighted mean is 2 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D453, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is mean-outcome(D453).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-032"
  },
  {
    "id": "majority-outcome-careful-outcome-full-034",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D455, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D455, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D455, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D455).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-034"
  },
  {
    "id": "majority-outcome-careful-outcome-full-036",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D457, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D457, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D457, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D457).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-036"
  },
  {
    "id": "majority-outcome-careful-outcome-full-038",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D459, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D459, the probability-weighted mean is 6 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D459, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is mean-outcome(D459).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "queue delay",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-038"
  },
  {
    "id": "majority-outcome-careful-outcome-full-040",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D461, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D461, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D461, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D461).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-040"
  },
  {
    "id": "majority-outcome-careful-outcome-full-042",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D463, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D463, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D463, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D463).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-042"
  },
  {
    "id": "majority-outcome-careful-outcome-full-044",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D465, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D465, the probability-weighted mean is 21/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D465, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 21/10 units is mean-outcome(D465).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-044"
  },
  {
    "id": "majority-outcome-careful-outcome-full-046",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D467, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D467, the probability-weighted mean is 41/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D467, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 41/10 units is mean-outcome(D467).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-046"
  },
  {
    "id": "majority-outcome-careful-outcome-full-048",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D469, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D469, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D469, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D469).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-048"
  },
  {
    "id": "majority-outcome-careful-outcome-full-050",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D471, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D471, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D471, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D471).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-050"
  },
  {
    "id": "majority-outcome-careful-outcome-full-052",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D473, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D473, the probability-weighted mean is 2 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D473, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is mean-outcome(D473).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-052"
  },
  {
    "id": "majority-outcome-careful-outcome-full-054",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D475, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D475, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D475, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D475).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-054"
  },
  {
    "id": "majority-outcome-careful-outcome-full-056",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D477, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D477, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D477, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D477).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-056"
  },
  {
    "id": "majority-outcome-careful-outcome-full-058",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D479, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D479, the probability-weighted mean is 6 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D479, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is mean-outcome(D479).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "retry count",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-058"
  },
  {
    "id": "majority-outcome-careful-outcome-full-060",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D481, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D481, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D481, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D481).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-060"
  },
  {
    "id": "majority-outcome-careful-outcome-full-062",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D483, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D483, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D483, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D483).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-062"
  },
  {
    "id": "majority-outcome-careful-outcome-full-064",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D485, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D485, the probability-weighted mean is 21/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D485, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 21/10 units is mean-outcome(D485).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-064"
  },
  {
    "id": "majority-outcome-careful-outcome-full-066",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D487, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D487, the probability-weighted mean is 41/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D487, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 41/10 units is mean-outcome(D487).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-066"
  },
  {
    "id": "majority-outcome-careful-outcome-full-068",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D489, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D489, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D489, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D489).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-068"
  },
  {
    "id": "majority-outcome-careful-outcome-full-070",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D491, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D491, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D491, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D491).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-070"
  },
  {
    "id": "majority-outcome-careful-outcome-full-072",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D493, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D493, the probability-weighted mean is 2 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D493, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is mean-outcome(D493).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-072"
  },
  {
    "id": "majority-outcome-careful-outcome-full-074",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D495, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D495, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D495, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D495).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-074"
  },
  {
    "id": "majority-outcome-careful-outcome-full-076",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D497, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D497, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D497, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D497).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-076"
  },
  {
    "id": "majority-outcome-careful-outcome-full-078",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D499, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D499, the probability-weighted mean is 6 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D499, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is mean-outcome(D499).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "resource use",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-078"
  },
  {
    "id": "majority-outcome-careful-outcome-full-080",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D501, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D501, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D501, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D501).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-080"
  },
  {
    "id": "majority-outcome-careful-outcome-full-082",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D503, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D503, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D503, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D503).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-082"
  },
  {
    "id": "majority-outcome-careful-outcome-full-084",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D505, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D505, the probability-weighted mean is 21/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D505, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 21/10 units is mean-outcome(D505).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-084"
  },
  {
    "id": "majority-outcome-careful-outcome-full-086",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D507, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D507, the probability-weighted mean is 41/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D507, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 41/10 units is mean-outcome(D507).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-086"
  },
  {
    "id": "majority-outcome-careful-outcome-full-088",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D509, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D509, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D509, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D509).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-088"
  },
  {
    "id": "majority-outcome-careful-outcome-full-090",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D511, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D511, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D511, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D511).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-090"
  },
  {
    "id": "majority-outcome-careful-outcome-full-092",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D513, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D513, the probability-weighted mean is 2 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D513, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is mean-outcome(D513).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-092"
  },
  {
    "id": "majority-outcome-careful-outcome-full-094",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D515, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D515, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D515, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D515).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-094"
  },
  {
    "id": "majority-outcome-careful-outcome-full-096",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D517, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D517, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D517, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D517).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-096"
  },
  {
    "id": "majority-outcome-careful-outcome-full-098",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D519, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D519, the probability-weighted mean is 6 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D519, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is mean-outcome(D519).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "simulated inventory",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-098"
  },
  {
    "id": "majority-outcome-careful-outcome-full-100",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D521, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D521, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D521, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D521).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-100"
  },
  {
    "id": "majority-outcome-careful-outcome-full-102",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D523, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D523, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D523, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D523).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-102"
  },
  {
    "id": "majority-outcome-careful-outcome-full-104",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D525, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D525, the probability-weighted mean is 21/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D525, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 21/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 21/10 units is mean-outcome(D525).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-104"
  },
  {
    "id": "majority-outcome-careful-outcome-full-106",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D527, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D527, the probability-weighted mean is 41/10 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D527, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 41/10 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 41/10 units is mean-outcome(D527).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "0",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-106"
  },
  {
    "id": "majority-outcome-careful-outcome-full-108",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D529, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D529, the probability-weighted mean is 3 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D529, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is mean-outcome(D529).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-108"
  },
  {
    "id": "majority-outcome-careful-outcome-full-110",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D531, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D531, the probability-weighted mean is 5 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D531, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 5 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 5 units is mean-outcome(D531).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-110"
  },
  {
    "id": "majority-outcome-careful-outcome-full-112",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D533, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D533, the probability-weighted mean is 2 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D533, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is mean-outcome(D533).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-112"
  },
  {
    "id": "majority-outcome-careful-outcome-full-114",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D535, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D535, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D535, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D535).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-114"
  },
  {
    "id": "majority-outcome-careful-outcome-full-116",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D537, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D537, the probability-weighted mean is 4 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D537, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is mean-outcome(D537).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-116"
  },
  {
    "id": "majority-outcome-careful-outcome-full-118",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D539, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D539, the probability-weighted mean is 6 units.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D539, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is mean-outcome(D539).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "mean-outcome",
    "domain": "generated batch size",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-118"
  },
  {
    "id": "majority-outcome-careful-outcome-full-120",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D541, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D541, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D541, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D541).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-120"
  },
  {
    "id": "majority-outcome-careful-outcome-full-122",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D543, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D543, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D543, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D543).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-122"
  },
  {
    "id": "majority-outcome-careful-outcome-full-124",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D545, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D545, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D545, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D545).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-124"
  },
  {
    "id": "majority-outcome-careful-outcome-full-126",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D547, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D547, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D547, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D547).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-126"
  },
  {
    "id": "majority-outcome-careful-outcome-full-128",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D549, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D549, 1 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D549, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 1 units is likeliest-outcome(D549).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-128"
  },
  {
    "id": "majority-outcome-careful-outcome-full-130",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D551, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D551, 3 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D551, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is likeliest-outcome(D551).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-130"
  },
  {
    "id": "majority-outcome-careful-outcome-full-132",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D553, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D553, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D553, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D553).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-132"
  },
  {
    "id": "majority-outcome-careful-outcome-full-134",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D555, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D555, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D555, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D555).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-134"
  },
  {
    "id": "majority-outcome-careful-outcome-full-136",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D557, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D557, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D557, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D557).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-136"
  },
  {
    "id": "majority-outcome-careful-outcome-full-138",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D559, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D559, 6 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional toy output model D559, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is likeliest-outcome(D559).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "toy output",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-138"
  },
  {
    "id": "majority-outcome-careful-outcome-full-140",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D561, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D561, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D561, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D561).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-140"
  },
  {
    "id": "majority-outcome-careful-outcome-full-142",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D563, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D563, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D563, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D563).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-142"
  },
  {
    "id": "majority-outcome-careful-outcome-full-144",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D565, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D565, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D565, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D565).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-144"
  },
  {
    "id": "majority-outcome-careful-outcome-full-146",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D567, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D567, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D567, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D567).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-146"
  },
  {
    "id": "majority-outcome-careful-outcome-full-148",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D569, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D569, 1 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D569, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 1 units is likeliest-outcome(D569).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-148"
  },
  {
    "id": "majority-outcome-careful-outcome-full-150",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D571, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D571, 3 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D571, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is likeliest-outcome(D571).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-150"
  },
  {
    "id": "majority-outcome-careful-outcome-full-152",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D573, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D573, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D573, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D573).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-152"
  },
  {
    "id": "majority-outcome-careful-outcome-full-154",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D575, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D575, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D575, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D575).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-154"
  },
  {
    "id": "majority-outcome-careful-outcome-full-156",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D577, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D577, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D577, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D577).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-156"
  },
  {
    "id": "majority-outcome-careful-outcome-full-158",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D579, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D579, 6 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional queue delay model D579, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is likeliest-outcome(D579).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "queue delay",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-158"
  },
  {
    "id": "majority-outcome-careful-outcome-full-160",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D581, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D581, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D581, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D581).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-160"
  },
  {
    "id": "majority-outcome-careful-outcome-full-162",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D583, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D583, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D583, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D583).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-162"
  },
  {
    "id": "majority-outcome-careful-outcome-full-164",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D585, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D585, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D585, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D585).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-164"
  },
  {
    "id": "majority-outcome-careful-outcome-full-166",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D587, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D587, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D587, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D587).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-166"
  },
  {
    "id": "majority-outcome-careful-outcome-full-168",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D589, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D589, 1 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D589, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 1 units is likeliest-outcome(D589).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-168"
  },
  {
    "id": "majority-outcome-careful-outcome-full-170",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D591, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D591, 3 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D591, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is likeliest-outcome(D591).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-170"
  },
  {
    "id": "majority-outcome-careful-outcome-full-172",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D593, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D593, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D593, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D593).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-172"
  },
  {
    "id": "majority-outcome-careful-outcome-full-174",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D595, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D595, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D595, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D595).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-174"
  },
  {
    "id": "majority-outcome-careful-outcome-full-176",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D597, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D597, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D597, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D597).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-176"
  },
  {
    "id": "majority-outcome-careful-outcome-full-178",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D599, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D599, 6 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional retry count model D599, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is likeliest-outcome(D599).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "retry count",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-178"
  },
  {
    "id": "majority-outcome-careful-outcome-full-180",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D601, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D601, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D601, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D601).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-180"
  },
  {
    "id": "majority-outcome-careful-outcome-full-182",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D603, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D603, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D603, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D603).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-182"
  },
  {
    "id": "majority-outcome-careful-outcome-full-184",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D605, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D605, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D605, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D605).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-184"
  },
  {
    "id": "majority-outcome-careful-outcome-full-186",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D607, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D607, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D607, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D607).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-186"
  },
  {
    "id": "majority-outcome-careful-outcome-full-188",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D609, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D609, 1 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D609, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 1 units is likeliest-outcome(D609).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-188"
  },
  {
    "id": "majority-outcome-careful-outcome-full-190",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D611, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D611, 3 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D611, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is likeliest-outcome(D611).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-190"
  },
  {
    "id": "majority-outcome-careful-outcome-full-192",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D613, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D613, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D613, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D613).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-192"
  },
  {
    "id": "majority-outcome-careful-outcome-full-194",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D615, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D615, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D615, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D615).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-194"
  },
  {
    "id": "majority-outcome-careful-outcome-full-196",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D617, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D617, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D617, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D617).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-196"
  },
  {
    "id": "majority-outcome-careful-outcome-full-198",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D619, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D619, 6 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional resource use model D619, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is likeliest-outcome(D619).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "resource use",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-198"
  },
  {
    "id": "majority-outcome-careful-outcome-full-200",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D621, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D621, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D621, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D621).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-200"
  },
  {
    "id": "majority-outcome-careful-outcome-full-202",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D623, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D623, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D623, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D623).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-202"
  },
  {
    "id": "majority-outcome-careful-outcome-full-204",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D625, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D625, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D625, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D625).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-204"
  },
  {
    "id": "majority-outcome-careful-outcome-full-206",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D627, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D627, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D627, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D627).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-206"
  },
  {
    "id": "majority-outcome-careful-outcome-full-208",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D629, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D629, 1 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D629, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 1 units is likeliest-outcome(D629).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-208"
  },
  {
    "id": "majority-outcome-careful-outcome-full-210",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D631, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D631, 3 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D631, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is likeliest-outcome(D631).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-210"
  },
  {
    "id": "majority-outcome-careful-outcome-full-212",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D633, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D633, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D633, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D633).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-212"
  },
  {
    "id": "majority-outcome-careful-outcome-full-214",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D635, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D635, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D635, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D635).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-214"
  },
  {
    "id": "majority-outcome-careful-outcome-full-216",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D637, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D637, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D637, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D637).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-216"
  },
  {
    "id": "majority-outcome-careful-outcome-full-218",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D639, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D639, 6 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional simulated inventory model D639, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is likeliest-outcome(D639).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "simulated inventory",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-218"
  },
  {
    "id": "majority-outcome-careful-outcome-full-220",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D641, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D641, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D641, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/2; value 6 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D641).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "mean-outside",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-220"
  },
  {
    "id": "majority-outcome-careful-outcome-full-222",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D643, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D643, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D643, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/2; value 8 units with mass 1/2. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D643).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "mean-outside",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-222"
  },
  {
    "id": "majority-outcome-careful-outcome-full-224",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D645, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D645, 0 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D645, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 2/5; value 2 units with mass 3/10; value 5 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 0 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 0 units is likeliest-outcome(D645).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "mode-below-half",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-224"
  },
  {
    "id": "majority-outcome-careful-outcome-full-226",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D647, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D647, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D647, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 2/5; value 4 units with mass 3/10; value 7 units with mass 3/10. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D647).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "mode-below-half",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-226"
  },
  {
    "id": "majority-outcome-careful-outcome-full-228",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D649, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D649, 1 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D649, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 1 units with mass 2/5; value 3 units with mass 2/5; value 7 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 1 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 1 units is likeliest-outcome(D649).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "tied-modes",
    "variant": 0,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-228"
  },
  {
    "id": "majority-outcome-careful-outcome-full-230",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D651, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D651, 3 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D651, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 3 units with mass 2/5; value 5 units with mass 2/5; value 9 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 3 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 3 units is likeliest-outcome(D651).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "tied-modes",
    "variant": 2,
    "oracle": {
      "mass_of_x": "2/5",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-230"
  },
  {
    "id": "majority-outcome-careful-outcome-full-232",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D653, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D653, 2 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D653, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/4; value 2 units with mass 1/2; value 4 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 2 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 2 units is likeliest-outcome(D653).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "mean-is-mode",
    "variant": 0,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-232"
  },
  {
    "id": "majority-outcome-careful-outcome-full-234",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D655, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D655, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D655, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/4; value 4 units with mass 1/2; value 6 units with mass 1/4. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D655).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "mean-is-mode",
    "variant": 2,
    "oracle": {
      "mass_of_x": "1/2",
      "majority": false,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-234"
  },
  {
    "id": "majority-outcome-careful-outcome-full-236",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D657, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D657, 4 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D657, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 0 units with mass 1/5; value 4 units with mass 3/10; value 4 units with mass 3/10; value 8 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 4 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 4 units is likeliest-outcome(D657).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "aggregate-paths",
    "variant": 0,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-236"
  },
  {
    "id": "majority-outcome-careful-outcome-full-238",
    "english": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D659, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: Under D659, 6 units has the highest outcome probability, ties allowed.",
    "ainglish": "Shared definition supplied once for this stateless question: x is mean-outcome(D) asserts that x equals the probability-weighted arithmetic mean under D. x is likeliest-outcome(D) asserts that x has the highest aggregated outcome mass under D, with ties allowed. These definitions also govern the corresponding English phrases. They do not guarantee a trial result or certify the model. Fictional generated batch size model D659, version v3 under the stated conditioning; one unit is declared. The mutually exclusive paths below are exhaustive, exact rational masses, not rounded observations: value 2 units with mass 1/5; value 6 units with mass 3/10; value 6 units with mass 3/10; value 10 units with mass 1/5. Add masses of paths with the same value. Mean is the probability-weighted arithmetic mean; most probable compares aggregated value masses and allows ties. Here x = 6 units. No claim that the model is correct or guarantees a trial is supplied. Statement: 6 units is likeliest-outcome(D659).",
    "question": "Using the exact stated distribution, is the probability of x STRICTLY greater than one half? Separately, does the statistic statement itself certify that D correctly represents reality?",
    "options": [
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: yes.",
      "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
      "Under D, probability of x exceeds one half: no; statement certifies that D models reality correctly: yes."
    ],
    "answer": "Under D, probability of x exceeds one half: yes; statement certifies that D models reality correctly: no.",
    "settlement_stratum": "likeliest-outcome",
    "domain": "generated batch size",
    "boundary": "aggregate-paths",
    "variant": 2,
    "oracle": {
      "mass_of_x": "3/5",
      "majority": true,
      "certifies_model": false
    },
    "shared_world_with": "outcome-careful-outcome-full-238"
  },
  {
    "id": "outcome-majority-careful-control-0",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-910: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-910: the collector is Ari.",
    "question": "Who collected the parcel on receipt Z-910?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Ari"
  },
  {
    "id": "outcome-majority-careful-control-1",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-911: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-911: the collector is Bela.",
    "question": "Who collected the parcel on receipt Z-911?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Bela"
  },
  {
    "id": "outcome-majority-careful-control-2",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-912: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-912: the collector is Cleo.",
    "question": "Who collected the parcel on receipt Z-912?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Cleo"
  },
  {
    "id": "outcome-majority-careful-control-3",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-913: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-913: the collector is Daru.",
    "question": "Who collected the parcel on receipt Z-913?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Daru"
  },
  {
    "id": "outcome-majority-careful-control-4",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-914: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-914: the collector is Etta.",
    "question": "Who collected the parcel on receipt Z-914?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Etta"
  },
  {
    "id": "outcome-majority-careful-control-5",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-915: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-915: the collector is Fenn.",
    "question": "Who collected the parcel on receipt Z-915?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Fenn"
  },
  {
    "id": "outcome-majority-careful-control-6",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-916: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-916: the collector is Ari.",
    "question": "Who collected the parcel on receipt Z-916?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Ari"
  },
  {
    "id": "outcome-majority-careful-control-7",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-917: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-917: the collector is Bela.",
    "question": "Who collected the parcel on receipt Z-917?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Bela"
  },
  {
    "id": "outcome-majority-careful-control-8",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-918: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-918: the collector is Cleo.",
    "question": "Who collected the parcel on receipt Z-918?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Cleo"
  },
  {
    "id": "outcome-majority-careful-control-9",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-919: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-919: the collector is Daru.",
    "question": "Who collected the parcel on receipt Z-919?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Daru"
  },
  {
    "id": "outcome-majority-careful-control-10",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-920: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-920: the collector is Etta.",
    "question": "Who collected the parcel on receipt Z-920?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Etta"
  },
  {
    "id": "outcome-majority-careful-control-11",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "resolved custody",
    "english": "Neutral receipt Z-921: the collector is not recorded.",
    "ainglish": "Neutral receipt Z-921: the collector is Fenn.",
    "question": "Who collected the parcel on receipt Z-921?",
    "options": [
      "Ari",
      "Bela",
      "Cleo",
      "Daru",
      "Etta",
      "Fenn",
      "not determined"
    ],
    "answer": "Fenn"
  }
]