{ "kind": "dexagon.ainglish.role-cardinality-comprehension-carrier.v2", "proposal_revision": "one-or-more-role-exactly-one-role-does-a-reviewer-require-at", "form": "exactly-one", "comparison": "careful", "seed": 2026090307, "sha256": "7d56108498649adf9dd2c2dffa35551f60f3e6afb7fa5fd7181688454ff39076", "population": "120 operational role-cardinality items over ten roles and twelve semantic cells, plus eight construct-free calibrations", "aggregation": "form-separated paired accuracy delta; report absolute arms and all cells, never pool forms or comparator classes", "reader_calls": 0, "items": [ { "id": "role-cardinality-exactly-one-careful-001", "english": "The execution record shows that no distinct reviewer approved the release. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "The execution record shows that no distinct reviewer approved the release. Instruction: exactly-one(reviewer): approve the release.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-01", "strata": { "role": "reviewer", "voice": "active", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-002", "english": "The execution record shows that Rowan was the sole distinct reviewer who approved the release. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct reviewer who approved the release. Instruction: exactly-one(reviewer): approve the release.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-02", "strata": { "role": "reviewer", "voice": "active", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-003", "english": "The execution record shows that Rowan and Sable are distinct reviewers, and both approved the release. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct reviewers, and both approved the release. Instruction: exactly-one(reviewer): approve the release.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-03", "strata": { "role": "reviewer", "voice": "active", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-004", "english": "Rowan is a qualifying reviewer and has already approved the release. Sable is a different qualifying reviewer and is ready to do the same. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "Rowan is a qualifying reviewer and has already approved the release. Sable is a different qualifying reviewer and is ready to do the same. Instruction: exactly-one(reviewer): approve the release.", "question": "Would Sable also acting necessarily violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-04", "strata": { "role": "reviewer", "voice": "active", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-005", "english": "Rowan, a qualifying reviewer, approved the release twice. No other reviewer acted. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "Rowan, a qualifying reviewer, approved the release twice. No other reviewer acted. Instruction: exactly-one(reviewer): approve the release.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-05", "strata": { "role": "reviewer", "voice": "active", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-006", "english": "The accounts Rowan-A and Rowan-B each approved the release, but the identity ledger proves both accounts belong to the same qualifying reviewer, Rowan. No other reviewer acted. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each approved the release, but the identity ledger proves both accounts belong to the same qualifying reviewer, Rowan. No other reviewer acted. Instruction: exactly-one(reviewer): approve the release.", "question": "Do the two account names establish two distinct qualifying principals?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-06", "strata": { "role": "reviewer", "voice": "active", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-007", "english": "Rowan, a qualifying reviewer, approved the release. Two people serving only as witnesses also signed the surrounding record, but neither is a reviewer. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "Rowan, a qualifying reviewer, approved the release. Two people serving only as witnesses also signed the surrounding record, but neither is a reviewer. Instruction: exactly-one(reviewer): approve the release.", "question": "Are the witness-only signers excluded when counting principals in the named reviewer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-07", "strata": { "role": "reviewer", "voice": "active", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-008", "english": "The entire reviewer pool is Rowan and Sable. The record states that some-but-not-all(reviewers) approved the release. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "The entire reviewer pool is Rowan and Sable. The record states that some-but-not-all(reviewers) approved the release. Instruction: exactly-one(reviewer): approve the release.", "question": "Do these facts leave open whether neither or both pool members acted?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-08", "strata": { "role": "reviewer", "voice": "active", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-009", "english": "The entire reviewer pool is Rowan, Sable, and Tern. The record states that some-but-not-all(reviewers) approved the release, without identifying the subset. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "The entire reviewer pool is Rowan, Sable, and Tern. The record states that some-but-not-all(reviewers) approved the release, without identifying the subset. Instruction: exactly-one(reviewer): approve the release.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-09", "strata": { "role": "reviewer", "voice": "active", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-010", "english": "Rowan was the sole distinct reviewer who approved the release. The record says nothing about how Rowan formed the judgement. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "Rowan was the sole distinct reviewer who approved the release. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(reviewer): approve the release.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-10", "strata": { "role": "reviewer", "voice": "active", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-011", "english": "Rowan was the sole distinct reviewer who approved the release. The record says nothing about delegation. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "Rowan was the sole distinct reviewer who approved the release. The record says nothing about delegation. Instruction: exactly-one(reviewer): approve the release.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-11", "strata": { "role": "reviewer", "voice": "active", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-012", "english": "Rowan was the sole distinct reviewer who approved the release. A separate observer role exists, but its membership is not recorded. Instruction: One and only one distinct reviewer must approve the release; zero or two-or-more distinct reviewers violate this instruction.", "ainglish": "Rowan was the sole distinct reviewer who approved the release. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(reviewer): approve the release.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-01-12", "strata": { "role": "reviewer", "voice": "active", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-013", "english": "The execution record shows that no distinct auditor signed the manifest. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "The execution record shows that no distinct auditor signed the manifest. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-01", "strata": { "role": "auditor", "voice": "passive", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-014", "english": "The execution record shows that Rowan was the sole distinct auditor who signed the manifest. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct auditor who signed the manifest. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-02", "strata": { "role": "auditor", "voice": "passive", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-015", "english": "The execution record shows that Rowan and Sable are distinct auditors, and both signed the manifest. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct auditors, and both signed the manifest. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Does the recorded outcome violate the instruction?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-03", "strata": { "role": "auditor", "voice": "passive", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-016", "english": "Rowan is a qualifying auditor and has already signed the manifest. Sable is a different qualifying auditor and is ready to do the same. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "Rowan is a qualifying auditor and has already signed the manifest. Sable is a different qualifying auditor and is ready to do the same. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Could Sable also act while the instruction remains satisfied?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-04", "strata": { "role": "auditor", "voice": "passive", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-017", "english": "Rowan, a qualifying auditor, signed the manifest twice. No other auditor acted. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "Rowan, a qualifying auditor, signed the manifest twice. No other auditor acted. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Does performing the action twice by itself make the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-05", "strata": { "role": "auditor", "voice": "passive", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-018", "english": "The accounts Rowan-A and Rowan-B each signed the manifest, but the identity ledger proves both accounts belong to the same qualifying auditor, Rowan. No other auditor acted. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each signed the manifest, but the identity ledger proves both accounts belong to the same qualifying auditor, Rowan. No other auditor acted. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Does the identity ledger leave exactly one distinct qualifying principal in the recorded outcome?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-06", "strata": { "role": "auditor", "voice": "passive", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-019", "english": "Rowan, a qualifying auditor, signed the manifest. Two people serving only as witnesses also signed the surrounding record, but neither is a auditor. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "Rowan, a qualifying auditor, signed the manifest. Two people serving only as witnesses also signed the surrounding record, but neither is a auditor. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Do the witness-only signers increase the number of qualifying auditors for this instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-07", "strata": { "role": "auditor", "voice": "passive", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-020", "english": "The entire auditor pool is Rowan and Sable. The record states that some-but-not-all(auditors) signed the manifest. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "The entire auditor pool is Rowan and Sable. The record states that some-but-not-all(auditors) signed the manifest. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Do these facts establish that the action was performed by the only possible proper nonempty subset of the pool?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-08", "strata": { "role": "auditor", "voice": "passive", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-021", "english": "The entire auditor pool is Rowan, Sable, and Tern. The record states that some-but-not-all(auditors) signed the manifest, without identifying the subset. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "The entire auditor pool is Rowan, Sable, and Tern. The record states that some-but-not-all(auditors) signed the manifest, without identifying the subset. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-09", "strata": { "role": "auditor", "voice": "passive", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-022", "english": "Rowan was the sole distinct auditor who signed the manifest. The record says nothing about how Rowan formed the judgement. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "Rowan was the sole distinct auditor who signed the manifest. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-10", "strata": { "role": "auditor", "voice": "passive", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-023", "english": "Rowan was the sole distinct auditor who signed the manifest. The record says nothing about delegation. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "Rowan was the sole distinct auditor who signed the manifest. The record says nothing about delegation. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-11", "strata": { "role": "auditor", "voice": "passive", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-024", "english": "Rowan was the sole distinct auditor who signed the manifest. A separate observer role exists, but its membership is not recorded. Instruction: The manifest must be signed by one and only one distinct auditor; zero or two-or-more distinct auditors violate this instruction.", "ainglish": "Rowan was the sole distinct auditor who signed the manifest. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(auditor): the manifest must be signed.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-02-12", "strata": { "role": "auditor", "voice": "passive", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-025", "english": "The execution record shows that no distinct maintainer authorised the deployment. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "The execution record shows that no distinct maintainer authorised the deployment. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-01", "strata": { "role": "maintainer", "voice": "active", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-026", "english": "The execution record shows that Rowan was the sole distinct maintainer who authorised the deployment. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct maintainer who authorised the deployment. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-02", "strata": { "role": "maintainer", "voice": "active", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-027", "english": "The execution record shows that Rowan and Sable are distinct maintainers, and both authorised the deployment. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct maintainers, and both authorised the deployment. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-03", "strata": { "role": "maintainer", "voice": "active", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-028", "english": "Rowan is a qualifying maintainer and has already authorised the deployment. Sable is a different qualifying maintainer and is ready to do the same. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "Rowan is a qualifying maintainer and has already authorised the deployment. Sable is a different qualifying maintainer and is ready to do the same. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Would Sable also acting necessarily violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-04", "strata": { "role": "maintainer", "voice": "active", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-029", "english": "Rowan, a qualifying maintainer, authorised the deployment twice. No other maintainer acted. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "Rowan, a qualifying maintainer, authorised the deployment twice. No other maintainer acted. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-05", "strata": { "role": "maintainer", "voice": "active", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-030", "english": "The accounts Rowan-A and Rowan-B each authorised the deployment, but the identity ledger proves both accounts belong to the same qualifying maintainer, Rowan. No other maintainer acted. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each authorised the deployment, but the identity ledger proves both accounts belong to the same qualifying maintainer, Rowan. No other maintainer acted. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Do the two account names establish two distinct qualifying principals?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-06", "strata": { "role": "maintainer", "voice": "active", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-031", "english": "Rowan, a qualifying maintainer, authorised the deployment. Two people serving only as witnesses also signed the surrounding record, but neither is a maintainer. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "Rowan, a qualifying maintainer, authorised the deployment. Two people serving only as witnesses also signed the surrounding record, but neither is a maintainer. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Are the witness-only signers excluded when counting principals in the named maintainer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-07", "strata": { "role": "maintainer", "voice": "active", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-032", "english": "The entire maintainer pool is Rowan and Sable. The record states that some-but-not-all(maintainers) authorised the deployment. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "The entire maintainer pool is Rowan and Sable. The record states that some-but-not-all(maintainers) authorised the deployment. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Do these facts leave open whether neither or both pool members acted?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-08", "strata": { "role": "maintainer", "voice": "active", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-033", "english": "The entire maintainer pool is Rowan, Sable, and Tern. The record states that some-but-not-all(maintainers) authorised the deployment, without identifying the subset. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "The entire maintainer pool is Rowan, Sable, and Tern. The record states that some-but-not-all(maintainers) authorised the deployment, without identifying the subset. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-09", "strata": { "role": "maintainer", "voice": "active", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-034", "english": "Rowan was the sole distinct maintainer who authorised the deployment. The record says nothing about how Rowan formed the judgement. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "Rowan was the sole distinct maintainer who authorised the deployment. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-10", "strata": { "role": "maintainer", "voice": "active", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-035", "english": "Rowan was the sole distinct maintainer who authorised the deployment. The record says nothing about delegation. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "Rowan was the sole distinct maintainer who authorised the deployment. The record says nothing about delegation. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-11", "strata": { "role": "maintainer", "voice": "active", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-036", "english": "Rowan was the sole distinct maintainer who authorised the deployment. A separate observer role exists, but its membership is not recorded. Instruction: One and only one distinct maintainer must authorise the deployment; zero or two-or-more distinct maintainers violate this instruction.", "ainglish": "Rowan was the sole distinct maintainer who authorised the deployment. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(maintainer): authorise the deployment.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-03-12", "strata": { "role": "maintainer", "voice": "active", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-037", "english": "The execution record shows that no distinct operator activated the failover. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "The execution record shows that no distinct operator activated the failover. Instruction: exactly-one(operator): the failover must be activated.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-01", "strata": { "role": "operator", "voice": "passive", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-038", "english": "The execution record shows that Rowan was the sole distinct operator who activated the failover. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct operator who activated the failover. Instruction: exactly-one(operator): the failover must be activated.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-02", "strata": { "role": "operator", "voice": "passive", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-039", "english": "The execution record shows that Rowan and Sable are distinct operators, and both activated the failover. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct operators, and both activated the failover. Instruction: exactly-one(operator): the failover must be activated.", "question": "Does the recorded outcome violate the instruction?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-03", "strata": { "role": "operator", "voice": "passive", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-040", "english": "Rowan is a qualifying operator and has already activated the failover. Sable is a different qualifying operator and is ready to do the same. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "Rowan is a qualifying operator and has already activated the failover. Sable is a different qualifying operator and is ready to do the same. Instruction: exactly-one(operator): the failover must be activated.", "question": "Could Sable also act while the instruction remains satisfied?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-04", "strata": { "role": "operator", "voice": "passive", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-041", "english": "Rowan, a qualifying operator, activated the failover twice. No other operator acted. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "Rowan, a qualifying operator, activated the failover twice. No other operator acted. Instruction: exactly-one(operator): the failover must be activated.", "question": "Does performing the action twice by itself make the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-05", "strata": { "role": "operator", "voice": "passive", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-042", "english": "The accounts Rowan-A and Rowan-B each activated the failover, but the identity ledger proves both accounts belong to the same qualifying operator, Rowan. No other operator acted. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each activated the failover, but the identity ledger proves both accounts belong to the same qualifying operator, Rowan. No other operator acted. Instruction: exactly-one(operator): the failover must be activated.", "question": "Does the identity ledger leave exactly one distinct qualifying principal in the recorded outcome?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-06", "strata": { "role": "operator", "voice": "passive", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-043", "english": "Rowan, a qualifying operator, activated the failover. Two people serving only as witnesses also signed the surrounding record, but neither is a operator. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "Rowan, a qualifying operator, activated the failover. Two people serving only as witnesses also signed the surrounding record, but neither is a operator. Instruction: exactly-one(operator): the failover must be activated.", "question": "Do the witness-only signers increase the number of qualifying operators for this instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-07", "strata": { "role": "operator", "voice": "passive", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-044", "english": "The entire operator pool is Rowan and Sable. The record states that some-but-not-all(operators) activated the failover. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "The entire operator pool is Rowan and Sable. The record states that some-but-not-all(operators) activated the failover. Instruction: exactly-one(operator): the failover must be activated.", "question": "Do these facts establish that the action was performed by the only possible proper nonempty subset of the pool?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-08", "strata": { "role": "operator", "voice": "passive", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-045", "english": "The entire operator pool is Rowan, Sable, and Tern. The record states that some-but-not-all(operators) activated the failover, without identifying the subset. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "The entire operator pool is Rowan, Sable, and Tern. The record states that some-but-not-all(operators) activated the failover, without identifying the subset. Instruction: exactly-one(operator): the failover must be activated.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-09", "strata": { "role": "operator", "voice": "passive", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-046", "english": "Rowan was the sole distinct operator who activated the failover. The record says nothing about how Rowan formed the judgement. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "Rowan was the sole distinct operator who activated the failover. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(operator): the failover must be activated.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-10", "strata": { "role": "operator", "voice": "passive", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-047", "english": "Rowan was the sole distinct operator who activated the failover. The record says nothing about delegation. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "Rowan was the sole distinct operator who activated the failover. The record says nothing about delegation. Instruction: exactly-one(operator): the failover must be activated.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-11", "strata": { "role": "operator", "voice": "passive", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-048", "english": "Rowan was the sole distinct operator who activated the failover. A separate observer role exists, but its membership is not recorded. Instruction: The failover must be activated by one and only one distinct operator; zero or two-or-more distinct operators violate this instruction.", "ainglish": "Rowan was the sole distinct operator who activated the failover. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(operator): the failover must be activated.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-04-12", "strata": { "role": "operator", "voice": "passive", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-049", "english": "The execution record shows that no distinct moderator decided the appeal. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "The execution record shows that no distinct moderator decided the appeal. Instruction: exactly-one(moderator): decide the appeal.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-01", "strata": { "role": "moderator", "voice": "active", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-050", "english": "The execution record shows that Rowan was the sole distinct moderator who decided the appeal. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct moderator who decided the appeal. Instruction: exactly-one(moderator): decide the appeal.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-02", "strata": { "role": "moderator", "voice": "active", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-051", "english": "The execution record shows that Rowan and Sable are distinct moderators, and both decided the appeal. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct moderators, and both decided the appeal. Instruction: exactly-one(moderator): decide the appeal.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-03", "strata": { "role": "moderator", "voice": "active", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-052", "english": "Rowan is a qualifying moderator and has already decided the appeal. Sable is a different qualifying moderator and is ready to do the same. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "Rowan is a qualifying moderator and has already decided the appeal. Sable is a different qualifying moderator and is ready to do the same. Instruction: exactly-one(moderator): decide the appeal.", "question": "Would Sable also acting necessarily violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-04", "strata": { "role": "moderator", "voice": "active", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-053", "english": "Rowan, a qualifying moderator, decided the appeal twice. No other moderator acted. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "Rowan, a qualifying moderator, decided the appeal twice. No other moderator acted. Instruction: exactly-one(moderator): decide the appeal.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-05", "strata": { "role": "moderator", "voice": "active", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-054", "english": "The accounts Rowan-A and Rowan-B each decided the appeal, but the identity ledger proves both accounts belong to the same qualifying moderator, Rowan. No other moderator acted. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each decided the appeal, but the identity ledger proves both accounts belong to the same qualifying moderator, Rowan. No other moderator acted. Instruction: exactly-one(moderator): decide the appeal.", "question": "Do the two account names establish two distinct qualifying principals?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-06", "strata": { "role": "moderator", "voice": "active", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-055", "english": "Rowan, a qualifying moderator, decided the appeal. Two people serving only as witnesses also signed the surrounding record, but neither is a moderator. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "Rowan, a qualifying moderator, decided the appeal. Two people serving only as witnesses also signed the surrounding record, but neither is a moderator. Instruction: exactly-one(moderator): decide the appeal.", "question": "Are the witness-only signers excluded when counting principals in the named moderator role?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-07", "strata": { "role": "moderator", "voice": "active", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-056", "english": "The entire moderator pool is Rowan and Sable. The record states that some-but-not-all(moderators) decided the appeal. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "The entire moderator pool is Rowan and Sable. The record states that some-but-not-all(moderators) decided the appeal. Instruction: exactly-one(moderator): decide the appeal.", "question": "Do these facts leave open whether neither or both pool members acted?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-08", "strata": { "role": "moderator", "voice": "active", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-057", "english": "The entire moderator pool is Rowan, Sable, and Tern. The record states that some-but-not-all(moderators) decided the appeal, without identifying the subset. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "The entire moderator pool is Rowan, Sable, and Tern. The record states that some-but-not-all(moderators) decided the appeal, without identifying the subset. Instruction: exactly-one(moderator): decide the appeal.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-09", "strata": { "role": "moderator", "voice": "active", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-058", "english": "Rowan was the sole distinct moderator who decided the appeal. The record says nothing about how Rowan formed the judgement. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "Rowan was the sole distinct moderator who decided the appeal. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(moderator): decide the appeal.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-10", "strata": { "role": "moderator", "voice": "active", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-059", "english": "Rowan was the sole distinct moderator who decided the appeal. The record says nothing about delegation. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "Rowan was the sole distinct moderator who decided the appeal. The record says nothing about delegation. Instruction: exactly-one(moderator): decide the appeal.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-11", "strata": { "role": "moderator", "voice": "active", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-060", "english": "Rowan was the sole distinct moderator who decided the appeal. A separate observer role exists, but its membership is not recorded. Instruction: One and only one distinct moderator must decide the appeal; zero or two-or-more distinct moderators violate this instruction.", "ainglish": "Rowan was the sole distinct moderator who decided the appeal. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(moderator): decide the appeal.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-05-12", "strata": { "role": "moderator", "voice": "active", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-061", "english": "The execution record shows that no distinct custodian attested to the artifact. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "The execution record shows that no distinct custodian attested to the artifact. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-01", "strata": { "role": "custodian", "voice": "passive", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-062", "english": "The execution record shows that Rowan was the sole distinct custodian who attested to the artifact. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct custodian who attested to the artifact. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-02", "strata": { "role": "custodian", "voice": "passive", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-063", "english": "The execution record shows that Rowan and Sable are distinct custodians, and both attested to the artifact. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct custodians, and both attested to the artifact. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Does the recorded outcome violate the instruction?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-03", "strata": { "role": "custodian", "voice": "passive", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-064", "english": "Rowan is a qualifying custodian and has already attested to the artifact. Sable is a different qualifying custodian and is ready to do the same. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "Rowan is a qualifying custodian and has already attested to the artifact. Sable is a different qualifying custodian and is ready to do the same. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Could Sable also act while the instruction remains satisfied?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-04", "strata": { "role": "custodian", "voice": "passive", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-065", "english": "Rowan, a qualifying custodian, attested to the artifact twice. No other custodian acted. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "Rowan, a qualifying custodian, attested to the artifact twice. No other custodian acted. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Does performing the action twice by itself make the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-05", "strata": { "role": "custodian", "voice": "passive", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-066", "english": "The accounts Rowan-A and Rowan-B each attested to the artifact, but the identity ledger proves both accounts belong to the same qualifying custodian, Rowan. No other custodian acted. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each attested to the artifact, but the identity ledger proves both accounts belong to the same qualifying custodian, Rowan. No other custodian acted. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Does the identity ledger leave exactly one distinct qualifying principal in the recorded outcome?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-06", "strata": { "role": "custodian", "voice": "passive", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-067", "english": "Rowan, a qualifying custodian, attested to the artifact. Two people serving only as witnesses also signed the surrounding record, but neither is a custodian. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "Rowan, a qualifying custodian, attested to the artifact. Two people serving only as witnesses also signed the surrounding record, but neither is a custodian. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Do the witness-only signers increase the number of qualifying custodians for this instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-07", "strata": { "role": "custodian", "voice": "passive", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-068", "english": "The entire custodian pool is Rowan and Sable. The record states that some-but-not-all(custodians) attested to the artifact. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "The entire custodian pool is Rowan and Sable. The record states that some-but-not-all(custodians) attested to the artifact. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Do these facts establish that the action was performed by the only possible proper nonempty subset of the pool?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-08", "strata": { "role": "custodian", "voice": "passive", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-069", "english": "The entire custodian pool is Rowan, Sable, and Tern. The record states that some-but-not-all(custodians) attested to the artifact, without identifying the subset. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "The entire custodian pool is Rowan, Sable, and Tern. The record states that some-but-not-all(custodians) attested to the artifact, without identifying the subset. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-09", "strata": { "role": "custodian", "voice": "passive", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-070", "english": "Rowan was the sole distinct custodian who attested to the artifact. The record says nothing about how Rowan formed the judgement. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "Rowan was the sole distinct custodian who attested to the artifact. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-10", "strata": { "role": "custodian", "voice": "passive", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-071", "english": "Rowan was the sole distinct custodian who attested to the artifact. The record says nothing about delegation. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "Rowan was the sole distinct custodian who attested to the artifact. The record says nothing about delegation. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-11", "strata": { "role": "custodian", "voice": "passive", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-072", "english": "Rowan was the sole distinct custodian who attested to the artifact. A separate observer role exists, but its membership is not recorded. Instruction: The artifact must be attested to by one and only one distinct custodian; zero or two-or-more distinct custodians violate this instruction.", "ainglish": "Rowan was the sole distinct custodian who attested to the artifact. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(custodian): the artifact must be attested to.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-06-12", "strata": { "role": "custodian", "voice": "passive", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-073", "english": "The execution record shows that no distinct observer verified the incident. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "The execution record shows that no distinct observer verified the incident. Instruction: exactly-one(observer): verify the incident.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-01", "strata": { "role": "observer", "voice": "active", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-074", "english": "The execution record shows that Rowan was the sole distinct observer who verified the incident. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct observer who verified the incident. Instruction: exactly-one(observer): verify the incident.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-02", "strata": { "role": "observer", "voice": "active", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-075", "english": "The execution record shows that Rowan and Sable are distinct observers, and both verified the incident. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct observers, and both verified the incident. Instruction: exactly-one(observer): verify the incident.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-03", "strata": { "role": "observer", "voice": "active", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-076", "english": "Rowan is a qualifying observer and has already verified the incident. Sable is a different qualifying observer and is ready to do the same. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "Rowan is a qualifying observer and has already verified the incident. Sable is a different qualifying observer and is ready to do the same. Instruction: exactly-one(observer): verify the incident.", "question": "Would Sable also acting necessarily violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-04", "strata": { "role": "observer", "voice": "active", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-077", "english": "Rowan, a qualifying observer, verified the incident twice. No other observer acted. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "Rowan, a qualifying observer, verified the incident twice. No other observer acted. Instruction: exactly-one(observer): verify the incident.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-05", "strata": { "role": "observer", "voice": "active", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-078", "english": "The accounts Rowan-A and Rowan-B each verified the incident, but the identity ledger proves both accounts belong to the same qualifying observer, Rowan. No other observer acted. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each verified the incident, but the identity ledger proves both accounts belong to the same qualifying observer, Rowan. No other observer acted. Instruction: exactly-one(observer): verify the incident.", "question": "Do the two account names establish two distinct qualifying principals?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-06", "strata": { "role": "observer", "voice": "active", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-079", "english": "Rowan, a qualifying observer, verified the incident. Two people serving only as witnesses also signed the surrounding record, but neither is a observer. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "Rowan, a qualifying observer, verified the incident. Two people serving only as witnesses also signed the surrounding record, but neither is a observer. Instruction: exactly-one(observer): verify the incident.", "question": "Are the witness-only signers excluded when counting principals in the named observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-07", "strata": { "role": "observer", "voice": "active", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-080", "english": "The entire observer pool is Rowan and Sable. The record states that some-but-not-all(observers) verified the incident. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "The entire observer pool is Rowan and Sable. The record states that some-but-not-all(observers) verified the incident. Instruction: exactly-one(observer): verify the incident.", "question": "Do these facts leave open whether neither or both pool members acted?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-08", "strata": { "role": "observer", "voice": "active", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-081", "english": "The entire observer pool is Rowan, Sable, and Tern. The record states that some-but-not-all(observers) verified the incident, without identifying the subset. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "The entire observer pool is Rowan, Sable, and Tern. The record states that some-but-not-all(observers) verified the incident, without identifying the subset. Instruction: exactly-one(observer): verify the incident.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-09", "strata": { "role": "observer", "voice": "active", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-082", "english": "Rowan was the sole distinct observer who verified the incident. The record says nothing about how Rowan formed the judgement. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "Rowan was the sole distinct observer who verified the incident. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(observer): verify the incident.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-10", "strata": { "role": "observer", "voice": "active", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-083", "english": "Rowan was the sole distinct observer who verified the incident. The record says nothing about delegation. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "Rowan was the sole distinct observer who verified the incident. The record says nothing about delegation. Instruction: exactly-one(observer): verify the incident.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-11", "strata": { "role": "observer", "voice": "active", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-084", "english": "Rowan was the sole distinct observer who verified the incident. A separate observer role exists, but its membership is not recorded. Instruction: One and only one distinct observer must verify the incident; zero or two-or-more distinct observers violate this instruction.", "ainglish": "Rowan was the sole distinct observer who verified the incident. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(observer): verify the incident.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-07-12", "strata": { "role": "observer", "voice": "active", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-085", "english": "The execution record shows that no distinct editor published the notice. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "The execution record shows that no distinct editor published the notice. Instruction: exactly-one(editor): the notice must be published.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-01", "strata": { "role": "editor", "voice": "passive", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-086", "english": "The execution record shows that Rowan was the sole distinct editor who published the notice. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct editor who published the notice. Instruction: exactly-one(editor): the notice must be published.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-02", "strata": { "role": "editor", "voice": "passive", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-087", "english": "The execution record shows that Rowan and Sable are distinct editors, and both published the notice. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct editors, and both published the notice. Instruction: exactly-one(editor): the notice must be published.", "question": "Does the recorded outcome violate the instruction?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-03", "strata": { "role": "editor", "voice": "passive", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-088", "english": "Rowan is a qualifying editor and has already published the notice. Sable is a different qualifying editor and is ready to do the same. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "Rowan is a qualifying editor and has already published the notice. Sable is a different qualifying editor and is ready to do the same. Instruction: exactly-one(editor): the notice must be published.", "question": "Could Sable also act while the instruction remains satisfied?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-04", "strata": { "role": "editor", "voice": "passive", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-089", "english": "Rowan, a qualifying editor, published the notice twice. No other editor acted. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "Rowan, a qualifying editor, published the notice twice. No other editor acted. Instruction: exactly-one(editor): the notice must be published.", "question": "Does performing the action twice by itself make the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-05", "strata": { "role": "editor", "voice": "passive", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-090", "english": "The accounts Rowan-A and Rowan-B each published the notice, but the identity ledger proves both accounts belong to the same qualifying editor, Rowan. No other editor acted. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each published the notice, but the identity ledger proves both accounts belong to the same qualifying editor, Rowan. No other editor acted. Instruction: exactly-one(editor): the notice must be published.", "question": "Does the identity ledger leave exactly one distinct qualifying principal in the recorded outcome?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-06", "strata": { "role": "editor", "voice": "passive", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-091", "english": "Rowan, a qualifying editor, published the notice. Two people serving only as witnesses also signed the surrounding record, but neither is a editor. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "Rowan, a qualifying editor, published the notice. Two people serving only as witnesses also signed the surrounding record, but neither is a editor. Instruction: exactly-one(editor): the notice must be published.", "question": "Do the witness-only signers increase the number of qualifying editors for this instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-07", "strata": { "role": "editor", "voice": "passive", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-092", "english": "The entire editor pool is Rowan and Sable. The record states that some-but-not-all(editors) published the notice. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "The entire editor pool is Rowan and Sable. The record states that some-but-not-all(editors) published the notice. Instruction: exactly-one(editor): the notice must be published.", "question": "Do these facts establish that the action was performed by the only possible proper nonempty subset of the pool?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-08", "strata": { "role": "editor", "voice": "passive", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-093", "english": "The entire editor pool is Rowan, Sable, and Tern. The record states that some-but-not-all(editors) published the notice, without identifying the subset. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "The entire editor pool is Rowan, Sable, and Tern. The record states that some-but-not-all(editors) published the notice, without identifying the subset. Instruction: exactly-one(editor): the notice must be published.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-09", "strata": { "role": "editor", "voice": "passive", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-094", "english": "Rowan was the sole distinct editor who published the notice. The record says nothing about how Rowan formed the judgement. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "Rowan was the sole distinct editor who published the notice. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(editor): the notice must be published.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-10", "strata": { "role": "editor", "voice": "passive", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-095", "english": "Rowan was the sole distinct editor who published the notice. The record says nothing about delegation. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "Rowan was the sole distinct editor who published the notice. The record says nothing about delegation. Instruction: exactly-one(editor): the notice must be published.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-11", "strata": { "role": "editor", "voice": "passive", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-096", "english": "Rowan was the sole distinct editor who published the notice. A separate observer role exists, but its membership is not recorded. Instruction: The notice must be published by one and only one distinct editor; zero or two-or-more distinct editors violate this instruction.", "ainglish": "Rowan was the sole distinct editor who published the notice. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(editor): the notice must be published.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-08-12", "strata": { "role": "editor", "voice": "passive", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-097", "english": "The execution record shows that no distinct arbiter settled the dispute. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "The execution record shows that no distinct arbiter settled the dispute. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-01", "strata": { "role": "arbiter", "voice": "active", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-098", "english": "The execution record shows that Rowan was the sole distinct arbiter who settled the dispute. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct arbiter who settled the dispute. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-02", "strata": { "role": "arbiter", "voice": "active", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-099", "english": "The execution record shows that Rowan and Sable are distinct arbiters, and both settled the dispute. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct arbiters, and both settled the dispute. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-03", "strata": { "role": "arbiter", "voice": "active", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-100", "english": "Rowan is a qualifying arbiter and has already settled the dispute. Sable is a different qualifying arbiter and is ready to do the same. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "Rowan is a qualifying arbiter and has already settled the dispute. Sable is a different qualifying arbiter and is ready to do the same. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Would Sable also acting necessarily violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-04", "strata": { "role": "arbiter", "voice": "active", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-101", "english": "Rowan, a qualifying arbiter, settled the dispute twice. No other arbiter acted. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "Rowan, a qualifying arbiter, settled the dispute twice. No other arbiter acted. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-05", "strata": { "role": "arbiter", "voice": "active", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-102", "english": "The accounts Rowan-A and Rowan-B each settled the dispute, but the identity ledger proves both accounts belong to the same qualifying arbiter, Rowan. No other arbiter acted. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each settled the dispute, but the identity ledger proves both accounts belong to the same qualifying arbiter, Rowan. No other arbiter acted. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Do the two account names establish two distinct qualifying principals?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-06", "strata": { "role": "arbiter", "voice": "active", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-103", "english": "Rowan, a qualifying arbiter, settled the dispute. Two people serving only as witnesses also signed the surrounding record, but neither is a arbiter. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "Rowan, a qualifying arbiter, settled the dispute. Two people serving only as witnesses also signed the surrounding record, but neither is a arbiter. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Are the witness-only signers excluded when counting principals in the named arbiter role?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-07", "strata": { "role": "arbiter", "voice": "active", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-104", "english": "The entire arbiter pool is Rowan and Sable. The record states that some-but-not-all(arbiters) settled the dispute. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "The entire arbiter pool is Rowan and Sable. The record states that some-but-not-all(arbiters) settled the dispute. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Do these facts leave open whether neither or both pool members acted?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-08", "strata": { "role": "arbiter", "voice": "active", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-105", "english": "The entire arbiter pool is Rowan, Sable, and Tern. The record states that some-but-not-all(arbiters) settled the dispute, without identifying the subset. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "The entire arbiter pool is Rowan, Sable, and Tern. The record states that some-but-not-all(arbiters) settled the dispute, without identifying the subset. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-09", "strata": { "role": "arbiter", "voice": "active", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-106", "english": "Rowan was the sole distinct arbiter who settled the dispute. The record says nothing about how Rowan formed the judgement. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "Rowan was the sole distinct arbiter who settled the dispute. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-10", "strata": { "role": "arbiter", "voice": "active", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-107", "english": "Rowan was the sole distinct arbiter who settled the dispute. The record says nothing about delegation. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "Rowan was the sole distinct arbiter who settled the dispute. The record says nothing about delegation. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-11", "strata": { "role": "arbiter", "voice": "active", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-108", "english": "Rowan was the sole distinct arbiter who settled the dispute. A separate observer role exists, but its membership is not recorded. Instruction: One and only one distinct arbiter must settle the dispute; zero or two-or-more distinct arbiters violate this instruction.", "ainglish": "Rowan was the sole distinct arbiter who settled the dispute. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(arbiter): settle the dispute.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-09-12", "strata": { "role": "arbiter", "voice": "active", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-109", "english": "The execution record shows that no distinct steward accepted the dataset. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "The execution record shows that no distinct steward accepted the dataset. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Does the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-01", "strata": { "role": "steward", "voice": "passive", "cell": 0, "stratum": "zero-distinct" } }, { "id": "role-cardinality-exactly-one-careful-110", "english": "The execution record shows that Rowan was the sole distinct steward who accepted the dataset. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "The execution record shows that Rowan was the sole distinct steward who accepted the dataset. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Does the recorded outcome satisfy the instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-02", "strata": { "role": "steward", "voice": "passive", "cell": 1, "stratum": "one-distinct" } }, { "id": "role-cardinality-exactly-one-careful-111", "english": "The execution record shows that Rowan and Sable are distinct stewards, and both accepted the dataset. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "The execution record shows that Rowan and Sable are distinct stewards, and both accepted the dataset. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Does the recorded outcome violate the instruction?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-03", "strata": { "role": "steward", "voice": "passive", "cell": 2, "stratum": "two-distinct-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-112", "english": "Rowan is a qualifying steward and has already accepted the dataset. Sable is a different qualifying steward and is ready to do the same. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "Rowan is a qualifying steward and has already accepted the dataset. Sable is a different qualifying steward and is ready to do the same. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Could Sable also act while the instruction remains satisfied?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-04", "strata": { "role": "steward", "voice": "passive", "cell": 3, "stratum": "additional-principal-load-bearing" } }, { "id": "role-cardinality-exactly-one-careful-113", "english": "Rowan, a qualifying steward, accepted the dataset twice. No other steward acted. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "Rowan, a qualifying steward, accepted the dataset twice. No other steward acted. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Does performing the action twice by itself make the recorded outcome violate the instruction?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-05", "strata": { "role": "steward", "voice": "passive", "cell": 4, "stratum": "repeat-action-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-114", "english": "The accounts Rowan-A and Rowan-B each accepted the dataset, but the identity ledger proves both accounts belong to the same qualifying steward, Rowan. No other steward acted. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "The accounts Rowan-A and Rowan-B each accepted the dataset, but the identity ledger proves both accounts belong to the same qualifying steward, Rowan. No other steward acted. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Does the identity ledger leave exactly one distinct qualifying principal in the recorded outcome?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-06", "strata": { "role": "steward", "voice": "passive", "cell": 5, "stratum": "aliases-one-principal" } }, { "id": "role-cardinality-exactly-one-careful-115", "english": "Rowan, a qualifying steward, accepted the dataset. Two people serving only as witnesses also signed the surrounding record, but neither is a steward. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "Rowan, a qualifying steward, accepted the dataset. Two people serving only as witnesses also signed the surrounding record, but neither is a steward. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Do the witness-only signers increase the number of qualifying stewards for this instruction?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-07", "strata": { "role": "steward", "voice": "passive", "cell": 6, "stratum": "named-role-scope" } }, { "id": "role-cardinality-exactly-one-careful-116", "english": "The entire steward pool is Rowan and Sable. The record states that some-but-not-all(stewards) accepted the dataset. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "The entire steward pool is Rowan and Sable. The record states that some-but-not-all(stewards) accepted the dataset. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Do these facts establish that the action was performed by the only possible proper nonempty subset of the pool?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-08", "strata": { "role": "steward", "voice": "passive", "cell": 7, "stratum": "bounded-two-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-117", "english": "The entire steward pool is Rowan, Sable, and Tern. The record states that some-but-not-all(stewards) accepted the dataset, without identifying the subset. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "The entire steward pool is Rowan, Sable, and Tern. The record states that some-but-not-all(stewards) accepted the dataset, without identifying the subset. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Did the acting subset contain the lower possible number of qualifying principals?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-09", "strata": { "role": "steward", "voice": "passive", "cell": 8, "stratum": "bounded-three-person-seam" } }, { "id": "role-cardinality-exactly-one-careful-118", "english": "Rowan was the sole distinct steward who accepted the dataset. The record says nothing about how Rowan formed the judgement. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "Rowan was the sole distinct steward who accepted the dataset. The record says nothing about how Rowan formed the judgement. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Was the qualifying judgement independent of every other participant's judgement?", "options": [ "cannot tell", "yes", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-10", "strata": { "role": "steward", "voice": "passive", "cell": 9, "stratum": "independence-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-119", "english": "Rowan was the sole distinct steward who accepted the dataset. The record says nothing about delegation. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "Rowan was the sole distinct steward who accepted the dataset. The record says nothing about delegation. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Would assigning the action to a delegate have been permitted?", "options": [ "yes", "cannot tell", "no" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-11", "strata": { "role": "steward", "voice": "passive", "cell": 10, "stratum": "delegation-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-120", "english": "Rowan was the sole distinct steward who accepted the dataset. A separate observer role exists, but its membership is not recorded. Instruction: The dataset must be accepted by one and only one distinct steward; zero or two-or-more distinct stewards violate this instruction.", "ainglish": "Rowan was the sole distinct steward who accepted the dataset. A separate observer role exists, but its membership is not recorded. Instruction: exactly-one(steward): the dataset must be accepted.", "question": "Is Rowan also permitted to fill the separate observer role?", "options": [ "yes", "no", "cannot tell" ], "answer": "cannot tell", "form": "exactly-one", "comparison": "careful", "scenario_id": "role-cardinality-10-12", "strata": { "role": "steward", "voice": "passive", "cell": 11, "stratum": "cross-role-nonclaim" } }, { "id": "role-cardinality-exactly-one-careful-cal-01", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-01 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-01 says bay fourteen is open.", "question": "Is bay fourteen described as open?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "set": "construct-free literal control" }, { "id": "role-cardinality-exactly-one-careful-cal-02", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-02 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-02 says bay fourteen is closed.", "question": "Is bay fourteen described as open?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "set": "construct-free literal control" }, { "id": "role-cardinality-exactly-one-careful-cal-03", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-03 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-03 says bay fourteen is open.", "question": "Is bay fourteen described as open?", "options": [ "no", "cannot tell", "yes" ], "answer": "yes", "set": "construct-free literal control" }, { "id": "role-cardinality-exactly-one-careful-cal-04", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-04 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-04 says bay fourteen is closed.", "question": "Is bay fourteen described as open?", "options": [ "no", "yes", "cannot tell" ], "answer": "no", "set": "construct-free literal control" }, { "id": "role-cardinality-exactly-one-careful-cal-05", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-05 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-05 says bay fourteen is open.", "question": "Is bay fourteen described as open?", "options": [ "no", "yes", "cannot tell" ], "answer": "yes", "set": "construct-free literal control" }, { "id": "role-cardinality-exactly-one-careful-cal-06", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-06 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-06 says bay fourteen is closed.", "question": "Is bay fourteen described as open?", "options": [ "yes", "cannot tell", "no" ], "answer": "no", "set": "construct-free literal control" }, { "id": "role-cardinality-exactly-one-careful-cal-07", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-07 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-07 says bay fourteen is open.", "question": "Is bay fourteen described as open?", "options": [ "yes", "no", "cannot tell" ], "answer": "yes", "set": "construct-free literal control" }, { "id": "role-cardinality-exactly-one-careful-cal-08", "calibration": true, "english": "The routing note for calibration-role-cardinality-careful-08 exists, but it does not record whether bay fourteen is open or closed.", "ainglish": "The routing note for calibration-role-cardinality-careful-08 says bay fourteen is closed.", "question": "Is bay fourteen described as open?", "options": [ "yes", "no", "cannot tell" ], "answer": "no", "set": "construct-free literal control" } ], "calibration": "Eight target-independent literal controls; the English arm withholds bay status and the Ainglish-labelled experimental arm states it. These controls qualify the live instrument only and contain no proposal marker." }