{ "kind": "dexagon.ainglish.dispute-settlement-carrier.v1", "proposal_public_id": "a-f9x2xwcjxp01xhtd", "proposal_revision": "different-from-ref-by-key-different-across-group-by-key", "construct": "different-from / different-across", "replicates_hash": "15bb5a3cc90f945b71752bdae3d93d2702a4cd67af6ea2859948e65d044f33f4", "comparator": { "kind": "complete-careful-english-v1" }, "items": [ { "id": "difference-ref-01-01", "english": "Every artifact selected by members of validators-group-71-7 must have a checksum unequal to reference-artifact-61-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-71-7, artifact) different-from(reference-artifact-61-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-01", "english": "The artifacts selected for distinct members of validators-group-71-7 must have pairwise-unequal checksums; matching the external reference-artifact-61-5's checksum is allowed.", "ainglish": "select(validators-group-71-7, artifact) different-across(validators-group-71-7, by=checksum); external-ref=reference-artifact-61-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-02", "english": "Every draft selected by members of editors-group-71-8 must have a revision-id unequal to reference-draft-61-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-71-8, draft) different-from(reference-draft-61-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-02", "english": "The drafts selected for distinct members of editors-group-71-8 must have pairwise-unequal revision-ids; matching the external reference-draft-61-6's revision-id is allowed.", "ainglish": "select(editors-group-71-8, draft) different-across(editors-group-71-8, by=revision-id); external-ref=reference-draft-61-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-03", "english": "Every sensor selected by members of labs-group-71-9 must have a serial-number unequal to reference-sensor-61-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-71-9, sensor) different-from(reference-sensor-61-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-03", "english": "The sensors selected for distinct members of labs-group-71-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-61-7's serial-number is allowed.", "ainglish": "select(labs-group-71-9, sensor) different-across(labs-group-71-9, by=serial-number); external-ref=reference-sensor-61-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-04", "english": "Every dataset selected by members of agents-group-71-10 must have a dataset-id unequal to reference-dataset-61-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-71-10, dataset) different-from(reference-dataset-61-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-04", "english": "The datasets selected for distinct members of agents-group-71-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-61-8's dataset-id is allowed.", "ainglish": "select(agents-group-71-10, dataset) different-across(agents-group-71-10, by=dataset-id); external-ref=reference-dataset-61-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-05", "english": "Every package selected by members of branches-group-71-11 must have a build-hash unequal to reference-package-61-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-71-11, package) different-from(reference-package-61-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-05", "english": "The packages selected for distinct members of branches-group-71-11 must have pairwise-unequal build-hashs; matching the external reference-package-61-9's build-hash is allowed.", "ainglish": "select(branches-group-71-11, package) different-across(branches-group-71-11, by=build-hash); external-ref=reference-package-61-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-06", "english": "Every supplier selected by members of regions-group-71-12 must have a company-id unequal to reference-supplier-61-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-71-12, supplier) different-from(reference-supplier-61-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-06", "english": "The suppliers selected for distinct members of regions-group-71-12 must have pairwise-unequal company-ids; matching the external reference-supplier-61-10's company-id is allowed.", "ainglish": "select(regions-group-71-12, supplier) different-across(regions-group-71-12, by=company-id); external-ref=reference-supplier-61-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-07", "english": "Every model selected by members of reviewers-group-71-13 must have a model-id unequal to reference-model-61-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-71-13, model) different-from(reference-model-61-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-07", "english": "The models selected for distinct members of reviewers-group-71-13 must have pairwise-unequal model-ids; matching the external reference-model-61-11's model-id is allowed.", "ainglish": "select(reviewers-group-71-13, model) different-across(reviewers-group-71-13, by=model-id); external-ref=reference-model-61-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-08", "english": "Every mirror selected by members of workers-group-71-14 must have a snapshot-id unequal to reference-mirror-61-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-71-14, mirror) different-from(reference-mirror-61-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-08", "english": "The mirrors selected for distinct members of workers-group-71-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-61-12's snapshot-id is allowed.", "ainglish": "select(workers-group-71-14, mirror) different-across(workers-group-71-14, by=snapshot-id); external-ref=reference-mirror-61-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-09", "english": "Every ledger selected by members of auditors-group-71-15 must have a ledger-hash unequal to reference-ledger-61-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-71-15, ledger) different-from(reference-ledger-61-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-09", "english": "The ledgers selected for distinct members of auditors-group-71-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-61-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-71-15, ledger) different-across(auditors-group-71-15, by=ledger-hash); external-ref=reference-ledger-61-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-01-10", "english": "Every route selected by members of teams-group-71-16 must have a route-id unequal to reference-route-61-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-71-16, route) different-from(reference-route-61-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-01-10", "english": "The routes selected for distinct members of teams-group-71-16 must have pairwise-unequal route-ids; matching the external reference-route-61-14's route-id is allowed.", "ainglish": "select(teams-group-71-16, route) different-across(teams-group-71-16, by=route-id); external-ref=reference-route-61-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-01", "english": "Every artifact selected by members of validators-group-72-7 must have a checksum unequal to reference-artifact-62-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-72-7, artifact) different-from(reference-artifact-62-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-01", "english": "The artifacts selected for distinct members of validators-group-72-7 must have pairwise-unequal checksums; matching the external reference-artifact-62-5's checksum is allowed.", "ainglish": "select(validators-group-72-7, artifact) different-across(validators-group-72-7, by=checksum); external-ref=reference-artifact-62-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-02", "english": "Every draft selected by members of editors-group-72-8 must have a revision-id unequal to reference-draft-62-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-72-8, draft) different-from(reference-draft-62-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-02", "english": "The drafts selected for distinct members of editors-group-72-8 must have pairwise-unequal revision-ids; matching the external reference-draft-62-6's revision-id is allowed.", "ainglish": "select(editors-group-72-8, draft) different-across(editors-group-72-8, by=revision-id); external-ref=reference-draft-62-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-03", "english": "Every sensor selected by members of labs-group-72-9 must have a serial-number unequal to reference-sensor-62-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-72-9, sensor) different-from(reference-sensor-62-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-03", "english": "The sensors selected for distinct members of labs-group-72-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-62-7's serial-number is allowed.", "ainglish": "select(labs-group-72-9, sensor) different-across(labs-group-72-9, by=serial-number); external-ref=reference-sensor-62-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-04", "english": "Every dataset selected by members of agents-group-72-10 must have a dataset-id unequal to reference-dataset-62-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-72-10, dataset) different-from(reference-dataset-62-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-04", "english": "The datasets selected for distinct members of agents-group-72-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-62-8's dataset-id is allowed.", "ainglish": "select(agents-group-72-10, dataset) different-across(agents-group-72-10, by=dataset-id); external-ref=reference-dataset-62-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-05", "english": "Every package selected by members of branches-group-72-11 must have a build-hash unequal to reference-package-62-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-72-11, package) different-from(reference-package-62-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-05", "english": "The packages selected for distinct members of branches-group-72-11 must have pairwise-unequal build-hashs; matching the external reference-package-62-9's build-hash is allowed.", "ainglish": "select(branches-group-72-11, package) different-across(branches-group-72-11, by=build-hash); external-ref=reference-package-62-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-06", "english": "Every supplier selected by members of regions-group-72-12 must have a company-id unequal to reference-supplier-62-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-72-12, supplier) different-from(reference-supplier-62-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-06", "english": "The suppliers selected for distinct members of regions-group-72-12 must have pairwise-unequal company-ids; matching the external reference-supplier-62-10's company-id is allowed.", "ainglish": "select(regions-group-72-12, supplier) different-across(regions-group-72-12, by=company-id); external-ref=reference-supplier-62-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-07", "english": "Every model selected by members of reviewers-group-72-13 must have a model-id unequal to reference-model-62-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-72-13, model) different-from(reference-model-62-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-07", "english": "The models selected for distinct members of reviewers-group-72-13 must have pairwise-unequal model-ids; matching the external reference-model-62-11's model-id is allowed.", "ainglish": "select(reviewers-group-72-13, model) different-across(reviewers-group-72-13, by=model-id); external-ref=reference-model-62-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-08", "english": "Every mirror selected by members of workers-group-72-14 must have a snapshot-id unequal to reference-mirror-62-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-72-14, mirror) different-from(reference-mirror-62-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-08", "english": "The mirrors selected for distinct members of workers-group-72-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-62-12's snapshot-id is allowed.", "ainglish": "select(workers-group-72-14, mirror) different-across(workers-group-72-14, by=snapshot-id); external-ref=reference-mirror-62-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-09", "english": "Every ledger selected by members of auditors-group-72-15 must have a ledger-hash unequal to reference-ledger-62-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-72-15, ledger) different-from(reference-ledger-62-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-09", "english": "The ledgers selected for distinct members of auditors-group-72-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-62-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-72-15, ledger) different-across(auditors-group-72-15, by=ledger-hash); external-ref=reference-ledger-62-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-02-10", "english": "Every route selected by members of teams-group-72-16 must have a route-id unequal to reference-route-62-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-72-16, route) different-from(reference-route-62-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-02-10", "english": "The routes selected for distinct members of teams-group-72-16 must have pairwise-unequal route-ids; matching the external reference-route-62-14's route-id is allowed.", "ainglish": "select(teams-group-72-16, route) different-across(teams-group-72-16, by=route-id); external-ref=reference-route-62-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-01", "english": "Every artifact selected by members of validators-group-73-7 must have a checksum unequal to reference-artifact-63-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-73-7, artifact) different-from(reference-artifact-63-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-01", "english": "The artifacts selected for distinct members of validators-group-73-7 must have pairwise-unequal checksums; matching the external reference-artifact-63-5's checksum is allowed.", "ainglish": "select(validators-group-73-7, artifact) different-across(validators-group-73-7, by=checksum); external-ref=reference-artifact-63-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-02", "english": "Every draft selected by members of editors-group-73-8 must have a revision-id unequal to reference-draft-63-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-73-8, draft) different-from(reference-draft-63-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-02", "english": "The drafts selected for distinct members of editors-group-73-8 must have pairwise-unequal revision-ids; matching the external reference-draft-63-6's revision-id is allowed.", "ainglish": "select(editors-group-73-8, draft) different-across(editors-group-73-8, by=revision-id); external-ref=reference-draft-63-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-03", "english": "Every sensor selected by members of labs-group-73-9 must have a serial-number unequal to reference-sensor-63-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-73-9, sensor) different-from(reference-sensor-63-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-03", "english": "The sensors selected for distinct members of labs-group-73-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-63-7's serial-number is allowed.", "ainglish": "select(labs-group-73-9, sensor) different-across(labs-group-73-9, by=serial-number); external-ref=reference-sensor-63-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-04", "english": "Every dataset selected by members of agents-group-73-10 must have a dataset-id unequal to reference-dataset-63-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-73-10, dataset) different-from(reference-dataset-63-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-04", "english": "The datasets selected for distinct members of agents-group-73-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-63-8's dataset-id is allowed.", "ainglish": "select(agents-group-73-10, dataset) different-across(agents-group-73-10, by=dataset-id); external-ref=reference-dataset-63-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-05", "english": "Every package selected by members of branches-group-73-11 must have a build-hash unequal to reference-package-63-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-73-11, package) different-from(reference-package-63-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-05", "english": "The packages selected for distinct members of branches-group-73-11 must have pairwise-unequal build-hashs; matching the external reference-package-63-9's build-hash is allowed.", "ainglish": "select(branches-group-73-11, package) different-across(branches-group-73-11, by=build-hash); external-ref=reference-package-63-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-06", "english": "Every supplier selected by members of regions-group-73-12 must have a company-id unequal to reference-supplier-63-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-73-12, supplier) different-from(reference-supplier-63-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-06", "english": "The suppliers selected for distinct members of regions-group-73-12 must have pairwise-unequal company-ids; matching the external reference-supplier-63-10's company-id is allowed.", "ainglish": "select(regions-group-73-12, supplier) different-across(regions-group-73-12, by=company-id); external-ref=reference-supplier-63-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-07", "english": "Every model selected by members of reviewers-group-73-13 must have a model-id unequal to reference-model-63-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-73-13, model) different-from(reference-model-63-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-07", "english": "The models selected for distinct members of reviewers-group-73-13 must have pairwise-unequal model-ids; matching the external reference-model-63-11's model-id is allowed.", "ainglish": "select(reviewers-group-73-13, model) different-across(reviewers-group-73-13, by=model-id); external-ref=reference-model-63-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-08", "english": "Every mirror selected by members of workers-group-73-14 must have a snapshot-id unequal to reference-mirror-63-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-73-14, mirror) different-from(reference-mirror-63-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-08", "english": "The mirrors selected for distinct members of workers-group-73-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-63-12's snapshot-id is allowed.", "ainglish": "select(workers-group-73-14, mirror) different-across(workers-group-73-14, by=snapshot-id); external-ref=reference-mirror-63-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-09", "english": "Every ledger selected by members of auditors-group-73-15 must have a ledger-hash unequal to reference-ledger-63-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-73-15, ledger) different-from(reference-ledger-63-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-09", "english": "The ledgers selected for distinct members of auditors-group-73-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-63-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-73-15, ledger) different-across(auditors-group-73-15, by=ledger-hash); external-ref=reference-ledger-63-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-03-10", "english": "Every route selected by members of teams-group-73-16 must have a route-id unequal to reference-route-63-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-73-16, route) different-from(reference-route-63-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-03-10", "english": "The routes selected for distinct members of teams-group-73-16 must have pairwise-unequal route-ids; matching the external reference-route-63-14's route-id is allowed.", "ainglish": "select(teams-group-73-16, route) different-across(teams-group-73-16, by=route-id); external-ref=reference-route-63-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-01", "english": "Every artifact selected by members of validators-group-74-7 must have a checksum unequal to reference-artifact-64-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-74-7, artifact) different-from(reference-artifact-64-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-01", "english": "The artifacts selected for distinct members of validators-group-74-7 must have pairwise-unequal checksums; matching the external reference-artifact-64-5's checksum is allowed.", "ainglish": "select(validators-group-74-7, artifact) different-across(validators-group-74-7, by=checksum); external-ref=reference-artifact-64-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-02", "english": "Every draft selected by members of editors-group-74-8 must have a revision-id unequal to reference-draft-64-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-74-8, draft) different-from(reference-draft-64-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-02", "english": "The drafts selected for distinct members of editors-group-74-8 must have pairwise-unequal revision-ids; matching the external reference-draft-64-6's revision-id is allowed.", "ainglish": "select(editors-group-74-8, draft) different-across(editors-group-74-8, by=revision-id); external-ref=reference-draft-64-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-03", "english": "Every sensor selected by members of labs-group-74-9 must have a serial-number unequal to reference-sensor-64-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-74-9, sensor) different-from(reference-sensor-64-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-03", "english": "The sensors selected for distinct members of labs-group-74-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-64-7's serial-number is allowed.", "ainglish": "select(labs-group-74-9, sensor) different-across(labs-group-74-9, by=serial-number); external-ref=reference-sensor-64-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-04", "english": "Every dataset selected by members of agents-group-74-10 must have a dataset-id unequal to reference-dataset-64-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-74-10, dataset) different-from(reference-dataset-64-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-04", "english": "The datasets selected for distinct members of agents-group-74-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-64-8's dataset-id is allowed.", "ainglish": "select(agents-group-74-10, dataset) different-across(agents-group-74-10, by=dataset-id); external-ref=reference-dataset-64-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-05", "english": "Every package selected by members of branches-group-74-11 must have a build-hash unequal to reference-package-64-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-74-11, package) different-from(reference-package-64-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-05", "english": "The packages selected for distinct members of branches-group-74-11 must have pairwise-unequal build-hashs; matching the external reference-package-64-9's build-hash is allowed.", "ainglish": "select(branches-group-74-11, package) different-across(branches-group-74-11, by=build-hash); external-ref=reference-package-64-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-06", "english": "Every supplier selected by members of regions-group-74-12 must have a company-id unequal to reference-supplier-64-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-74-12, supplier) different-from(reference-supplier-64-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-06", "english": "The suppliers selected for distinct members of regions-group-74-12 must have pairwise-unequal company-ids; matching the external reference-supplier-64-10's company-id is allowed.", "ainglish": "select(regions-group-74-12, supplier) different-across(regions-group-74-12, by=company-id); external-ref=reference-supplier-64-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-07", "english": "Every model selected by members of reviewers-group-74-13 must have a model-id unequal to reference-model-64-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-74-13, model) different-from(reference-model-64-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-07", "english": "The models selected for distinct members of reviewers-group-74-13 must have pairwise-unequal model-ids; matching the external reference-model-64-11's model-id is allowed.", "ainglish": "select(reviewers-group-74-13, model) different-across(reviewers-group-74-13, by=model-id); external-ref=reference-model-64-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-08", "english": "Every mirror selected by members of workers-group-74-14 must have a snapshot-id unequal to reference-mirror-64-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-74-14, mirror) different-from(reference-mirror-64-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-08", "english": "The mirrors selected for distinct members of workers-group-74-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-64-12's snapshot-id is allowed.", "ainglish": "select(workers-group-74-14, mirror) different-across(workers-group-74-14, by=snapshot-id); external-ref=reference-mirror-64-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-09", "english": "Every ledger selected by members of auditors-group-74-15 must have a ledger-hash unequal to reference-ledger-64-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-74-15, ledger) different-from(reference-ledger-64-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-09", "english": "The ledgers selected for distinct members of auditors-group-74-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-64-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-74-15, ledger) different-across(auditors-group-74-15, by=ledger-hash); external-ref=reference-ledger-64-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-04-10", "english": "Every route selected by members of teams-group-74-16 must have a route-id unequal to reference-route-64-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-74-16, route) different-from(reference-route-64-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-04-10", "english": "The routes selected for distinct members of teams-group-74-16 must have pairwise-unequal route-ids; matching the external reference-route-64-14's route-id is allowed.", "ainglish": "select(teams-group-74-16, route) different-across(teams-group-74-16, by=route-id); external-ref=reference-route-64-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-01", "english": "Every artifact selected by members of validators-group-75-7 must have a checksum unequal to reference-artifact-65-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-75-7, artifact) different-from(reference-artifact-65-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-01", "english": "The artifacts selected for distinct members of validators-group-75-7 must have pairwise-unequal checksums; matching the external reference-artifact-65-5's checksum is allowed.", "ainglish": "select(validators-group-75-7, artifact) different-across(validators-group-75-7, by=checksum); external-ref=reference-artifact-65-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-02", "english": "Every draft selected by members of editors-group-75-8 must have a revision-id unequal to reference-draft-65-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-75-8, draft) different-from(reference-draft-65-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-02", "english": "The drafts selected for distinct members of editors-group-75-8 must have pairwise-unequal revision-ids; matching the external reference-draft-65-6's revision-id is allowed.", "ainglish": "select(editors-group-75-8, draft) different-across(editors-group-75-8, by=revision-id); external-ref=reference-draft-65-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-03", "english": "Every sensor selected by members of labs-group-75-9 must have a serial-number unequal to reference-sensor-65-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-75-9, sensor) different-from(reference-sensor-65-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-03", "english": "The sensors selected for distinct members of labs-group-75-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-65-7's serial-number is allowed.", "ainglish": "select(labs-group-75-9, sensor) different-across(labs-group-75-9, by=serial-number); external-ref=reference-sensor-65-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-04", "english": "Every dataset selected by members of agents-group-75-10 must have a dataset-id unequal to reference-dataset-65-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-75-10, dataset) different-from(reference-dataset-65-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-04", "english": "The datasets selected for distinct members of agents-group-75-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-65-8's dataset-id is allowed.", "ainglish": "select(agents-group-75-10, dataset) different-across(agents-group-75-10, by=dataset-id); external-ref=reference-dataset-65-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-05", "english": "Every package selected by members of branches-group-75-11 must have a build-hash unequal to reference-package-65-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-75-11, package) different-from(reference-package-65-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-05", "english": "The packages selected for distinct members of branches-group-75-11 must have pairwise-unequal build-hashs; matching the external reference-package-65-9's build-hash is allowed.", "ainglish": "select(branches-group-75-11, package) different-across(branches-group-75-11, by=build-hash); external-ref=reference-package-65-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-06", "english": "Every supplier selected by members of regions-group-75-12 must have a company-id unequal to reference-supplier-65-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-75-12, supplier) different-from(reference-supplier-65-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-06", "english": "The suppliers selected for distinct members of regions-group-75-12 must have pairwise-unequal company-ids; matching the external reference-supplier-65-10's company-id is allowed.", "ainglish": "select(regions-group-75-12, supplier) different-across(regions-group-75-12, by=company-id); external-ref=reference-supplier-65-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-07", "english": "Every model selected by members of reviewers-group-75-13 must have a model-id unequal to reference-model-65-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-75-13, model) different-from(reference-model-65-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-07", "english": "The models selected for distinct members of reviewers-group-75-13 must have pairwise-unequal model-ids; matching the external reference-model-65-11's model-id is allowed.", "ainglish": "select(reviewers-group-75-13, model) different-across(reviewers-group-75-13, by=model-id); external-ref=reference-model-65-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-08", "english": "Every mirror selected by members of workers-group-75-14 must have a snapshot-id unequal to reference-mirror-65-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-75-14, mirror) different-from(reference-mirror-65-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-08", "english": "The mirrors selected for distinct members of workers-group-75-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-65-12's snapshot-id is allowed.", "ainglish": "select(workers-group-75-14, mirror) different-across(workers-group-75-14, by=snapshot-id); external-ref=reference-mirror-65-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-09", "english": "Every ledger selected by members of auditors-group-75-15 must have a ledger-hash unequal to reference-ledger-65-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-75-15, ledger) different-from(reference-ledger-65-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-09", "english": "The ledgers selected for distinct members of auditors-group-75-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-65-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-75-15, ledger) different-across(auditors-group-75-15, by=ledger-hash); external-ref=reference-ledger-65-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-05-10", "english": "Every route selected by members of teams-group-75-16 must have a route-id unequal to reference-route-65-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-75-16, route) different-from(reference-route-65-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-05-10", "english": "The routes selected for distinct members of teams-group-75-16 must have pairwise-unequal route-ids; matching the external reference-route-65-14's route-id is allowed.", "ainglish": "select(teams-group-75-16, route) different-across(teams-group-75-16, by=route-id); external-ref=reference-route-65-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-01", "english": "Every artifact selected by members of validators-group-76-7 must have a checksum unequal to reference-artifact-66-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-76-7, artifact) different-from(reference-artifact-66-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-01", "english": "The artifacts selected for distinct members of validators-group-76-7 must have pairwise-unequal checksums; matching the external reference-artifact-66-5's checksum is allowed.", "ainglish": "select(validators-group-76-7, artifact) different-across(validators-group-76-7, by=checksum); external-ref=reference-artifact-66-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-02", "english": "Every draft selected by members of editors-group-76-8 must have a revision-id unequal to reference-draft-66-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-76-8, draft) different-from(reference-draft-66-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-02", "english": "The drafts selected for distinct members of editors-group-76-8 must have pairwise-unequal revision-ids; matching the external reference-draft-66-6's revision-id is allowed.", "ainglish": "select(editors-group-76-8, draft) different-across(editors-group-76-8, by=revision-id); external-ref=reference-draft-66-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-03", "english": "Every sensor selected by members of labs-group-76-9 must have a serial-number unequal to reference-sensor-66-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-76-9, sensor) different-from(reference-sensor-66-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-03", "english": "The sensors selected for distinct members of labs-group-76-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-66-7's serial-number is allowed.", "ainglish": "select(labs-group-76-9, sensor) different-across(labs-group-76-9, by=serial-number); external-ref=reference-sensor-66-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-04", "english": "Every dataset selected by members of agents-group-76-10 must have a dataset-id unequal to reference-dataset-66-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-76-10, dataset) different-from(reference-dataset-66-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-04", "english": "The datasets selected for distinct members of agents-group-76-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-66-8's dataset-id is allowed.", "ainglish": "select(agents-group-76-10, dataset) different-across(agents-group-76-10, by=dataset-id); external-ref=reference-dataset-66-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-05", "english": "Every package selected by members of branches-group-76-11 must have a build-hash unequal to reference-package-66-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-76-11, package) different-from(reference-package-66-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-05", "english": "The packages selected for distinct members of branches-group-76-11 must have pairwise-unequal build-hashs; matching the external reference-package-66-9's build-hash is allowed.", "ainglish": "select(branches-group-76-11, package) different-across(branches-group-76-11, by=build-hash); external-ref=reference-package-66-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-06", "english": "Every supplier selected by members of regions-group-76-12 must have a company-id unequal to reference-supplier-66-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-76-12, supplier) different-from(reference-supplier-66-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-06", "english": "The suppliers selected for distinct members of regions-group-76-12 must have pairwise-unequal company-ids; matching the external reference-supplier-66-10's company-id is allowed.", "ainglish": "select(regions-group-76-12, supplier) different-across(regions-group-76-12, by=company-id); external-ref=reference-supplier-66-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-07", "english": "Every model selected by members of reviewers-group-76-13 must have a model-id unequal to reference-model-66-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-76-13, model) different-from(reference-model-66-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-07", "english": "The models selected for distinct members of reviewers-group-76-13 must have pairwise-unequal model-ids; matching the external reference-model-66-11's model-id is allowed.", "ainglish": "select(reviewers-group-76-13, model) different-across(reviewers-group-76-13, by=model-id); external-ref=reference-model-66-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-08", "english": "Every mirror selected by members of workers-group-76-14 must have a snapshot-id unequal to reference-mirror-66-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-76-14, mirror) different-from(reference-mirror-66-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-08", "english": "The mirrors selected for distinct members of workers-group-76-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-66-12's snapshot-id is allowed.", "ainglish": "select(workers-group-76-14, mirror) different-across(workers-group-76-14, by=snapshot-id); external-ref=reference-mirror-66-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-09", "english": "Every ledger selected by members of auditors-group-76-15 must have a ledger-hash unequal to reference-ledger-66-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-76-15, ledger) different-from(reference-ledger-66-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-09", "english": "The ledgers selected for distinct members of auditors-group-76-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-66-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-76-15, ledger) different-across(auditors-group-76-15, by=ledger-hash); external-ref=reference-ledger-66-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-06-10", "english": "Every route selected by members of teams-group-76-16 must have a route-id unequal to reference-route-66-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-76-16, route) different-from(reference-route-66-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-06-10", "english": "The routes selected for distinct members of teams-group-76-16 must have pairwise-unequal route-ids; matching the external reference-route-66-14's route-id is allowed.", "ainglish": "select(teams-group-76-16, route) different-across(teams-group-76-16, by=route-id); external-ref=reference-route-66-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-01", "english": "Every artifact selected by members of validators-group-77-7 must have a checksum unequal to reference-artifact-67-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-77-7, artifact) different-from(reference-artifact-67-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-01", "english": "The artifacts selected for distinct members of validators-group-77-7 must have pairwise-unequal checksums; matching the external reference-artifact-67-5's checksum is allowed.", "ainglish": "select(validators-group-77-7, artifact) different-across(validators-group-77-7, by=checksum); external-ref=reference-artifact-67-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-02", "english": "Every draft selected by members of editors-group-77-8 must have a revision-id unequal to reference-draft-67-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-77-8, draft) different-from(reference-draft-67-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-02", "english": "The drafts selected for distinct members of editors-group-77-8 must have pairwise-unequal revision-ids; matching the external reference-draft-67-6's revision-id is allowed.", "ainglish": "select(editors-group-77-8, draft) different-across(editors-group-77-8, by=revision-id); external-ref=reference-draft-67-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-03", "english": "Every sensor selected by members of labs-group-77-9 must have a serial-number unequal to reference-sensor-67-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-77-9, sensor) different-from(reference-sensor-67-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-03", "english": "The sensors selected for distinct members of labs-group-77-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-67-7's serial-number is allowed.", "ainglish": "select(labs-group-77-9, sensor) different-across(labs-group-77-9, by=serial-number); external-ref=reference-sensor-67-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-04", "english": "Every dataset selected by members of agents-group-77-10 must have a dataset-id unequal to reference-dataset-67-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-77-10, dataset) different-from(reference-dataset-67-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-04", "english": "The datasets selected for distinct members of agents-group-77-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-67-8's dataset-id is allowed.", "ainglish": "select(agents-group-77-10, dataset) different-across(agents-group-77-10, by=dataset-id); external-ref=reference-dataset-67-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-05", "english": "Every package selected by members of branches-group-77-11 must have a build-hash unequal to reference-package-67-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-77-11, package) different-from(reference-package-67-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-05", "english": "The packages selected for distinct members of branches-group-77-11 must have pairwise-unequal build-hashs; matching the external reference-package-67-9's build-hash is allowed.", "ainglish": "select(branches-group-77-11, package) different-across(branches-group-77-11, by=build-hash); external-ref=reference-package-67-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-06", "english": "Every supplier selected by members of regions-group-77-12 must have a company-id unequal to reference-supplier-67-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-77-12, supplier) different-from(reference-supplier-67-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-06", "english": "The suppliers selected for distinct members of regions-group-77-12 must have pairwise-unequal company-ids; matching the external reference-supplier-67-10's company-id is allowed.", "ainglish": "select(regions-group-77-12, supplier) different-across(regions-group-77-12, by=company-id); external-ref=reference-supplier-67-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-07", "english": "Every model selected by members of reviewers-group-77-13 must have a model-id unequal to reference-model-67-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-77-13, model) different-from(reference-model-67-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-07", "english": "The models selected for distinct members of reviewers-group-77-13 must have pairwise-unequal model-ids; matching the external reference-model-67-11's model-id is allowed.", "ainglish": "select(reviewers-group-77-13, model) different-across(reviewers-group-77-13, by=model-id); external-ref=reference-model-67-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-08", "english": "Every mirror selected by members of workers-group-77-14 must have a snapshot-id unequal to reference-mirror-67-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-77-14, mirror) different-from(reference-mirror-67-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-08", "english": "The mirrors selected for distinct members of workers-group-77-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-67-12's snapshot-id is allowed.", "ainglish": "select(workers-group-77-14, mirror) different-across(workers-group-77-14, by=snapshot-id); external-ref=reference-mirror-67-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-09", "english": "Every ledger selected by members of auditors-group-77-15 must have a ledger-hash unequal to reference-ledger-67-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-77-15, ledger) different-from(reference-ledger-67-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-09", "english": "The ledgers selected for distinct members of auditors-group-77-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-67-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-77-15, ledger) different-across(auditors-group-77-15, by=ledger-hash); external-ref=reference-ledger-67-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-07-10", "english": "Every route selected by members of teams-group-77-16 must have a route-id unequal to reference-route-67-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-77-16, route) different-from(reference-route-67-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-07-10", "english": "The routes selected for distinct members of teams-group-77-16 must have pairwise-unequal route-ids; matching the external reference-route-67-14's route-id is allowed.", "ainglish": "select(teams-group-77-16, route) different-across(teams-group-77-16, by=route-id); external-ref=reference-route-67-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-01", "english": "Every artifact selected by members of validators-group-78-7 must have a checksum unequal to reference-artifact-68-5's checksum; members are allowed to repeat the same qualifying artifact.", "ainglish": "select(validators-group-78-7, artifact) different-from(reference-artifact-68-5, by=checksum).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-01", "english": "The artifacts selected for distinct members of validators-group-78-7 must have pairwise-unequal checksums; matching the external reference-artifact-68-5's checksum is allowed.", "ainglish": "select(validators-group-78-7, artifact) different-across(validators-group-78-7, by=checksum); external-ref=reference-artifact-68-5.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-02", "english": "Every draft selected by members of editors-group-78-8 must have a revision-id unequal to reference-draft-68-6's revision-id; members are allowed to repeat the same qualifying draft.", "ainglish": "select(editors-group-78-8, draft) different-from(reference-draft-68-6, by=revision-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-02", "english": "The drafts selected for distinct members of editors-group-78-8 must have pairwise-unequal revision-ids; matching the external reference-draft-68-6's revision-id is allowed.", "ainglish": "select(editors-group-78-8, draft) different-across(editors-group-78-8, by=revision-id); external-ref=reference-draft-68-6.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-03", "english": "Every sensor selected by members of labs-group-78-9 must have a serial-number unequal to reference-sensor-68-7's serial-number; members are allowed to repeat the same qualifying sensor.", "ainglish": "select(labs-group-78-9, sensor) different-from(reference-sensor-68-7, by=serial-number).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-03", "english": "The sensors selected for distinct members of labs-group-78-9 must have pairwise-unequal serial-numbers; matching the external reference-sensor-68-7's serial-number is allowed.", "ainglish": "select(labs-group-78-9, sensor) different-across(labs-group-78-9, by=serial-number); external-ref=reference-sensor-68-7.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-04", "english": "Every dataset selected by members of agents-group-78-10 must have a dataset-id unequal to reference-dataset-68-8's dataset-id; members are allowed to repeat the same qualifying dataset.", "ainglish": "select(agents-group-78-10, dataset) different-from(reference-dataset-68-8, by=dataset-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-04", "english": "The datasets selected for distinct members of agents-group-78-10 must have pairwise-unequal dataset-ids; matching the external reference-dataset-68-8's dataset-id is allowed.", "ainglish": "select(agents-group-78-10, dataset) different-across(agents-group-78-10, by=dataset-id); external-ref=reference-dataset-68-8.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-05", "english": "Every package selected by members of branches-group-78-11 must have a build-hash unequal to reference-package-68-9's build-hash; members are allowed to repeat the same qualifying package.", "ainglish": "select(branches-group-78-11, package) different-from(reference-package-68-9, by=build-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-05", "english": "The packages selected for distinct members of branches-group-78-11 must have pairwise-unequal build-hashs; matching the external reference-package-68-9's build-hash is allowed.", "ainglish": "select(branches-group-78-11, package) different-across(branches-group-78-11, by=build-hash); external-ref=reference-package-68-9.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-06", "english": "Every supplier selected by members of regions-group-78-12 must have a company-id unequal to reference-supplier-68-10's company-id; members are allowed to repeat the same qualifying supplier.", "ainglish": "select(regions-group-78-12, supplier) different-from(reference-supplier-68-10, by=company-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-06", "english": "The suppliers selected for distinct members of regions-group-78-12 must have pairwise-unequal company-ids; matching the external reference-supplier-68-10's company-id is allowed.", "ainglish": "select(regions-group-78-12, supplier) different-across(regions-group-78-12, by=company-id); external-ref=reference-supplier-68-10.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-07", "english": "Every model selected by members of reviewers-group-78-13 must have a model-id unequal to reference-model-68-11's model-id; members are allowed to repeat the same qualifying model.", "ainglish": "select(reviewers-group-78-13, model) different-from(reference-model-68-11, by=model-id).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-07", "english": "The models selected for distinct members of reviewers-group-78-13 must have pairwise-unequal model-ids; matching the external reference-model-68-11's model-id is allowed.", "ainglish": "select(reviewers-group-78-13, model) different-across(reviewers-group-78-13, by=model-id); external-ref=reference-model-68-11.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-08", "english": "Every mirror selected by members of workers-group-78-14 must have a snapshot-id unequal to reference-mirror-68-12's snapshot-id; members are allowed to repeat the same qualifying mirror.", "ainglish": "select(workers-group-78-14, mirror) different-from(reference-mirror-68-12, by=snapshot-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-08", "english": "The mirrors selected for distinct members of workers-group-78-14 must have pairwise-unequal snapshot-ids; matching the external reference-mirror-68-12's snapshot-id is allowed.", "ainglish": "select(workers-group-78-14, mirror) different-across(workers-group-78-14, by=snapshot-id); external-ref=reference-mirror-68-12.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-09", "english": "Every ledger selected by members of auditors-group-78-15 must have a ledger-hash unequal to reference-ledger-68-13's ledger-hash; members are allowed to repeat the same qualifying ledger.", "ainglish": "select(auditors-group-78-15, ledger) different-from(reference-ledger-68-13, by=ledger-hash).", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may choose the same non-reference key", "A member may choose the reference key", "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-09", "english": "The ledgers selected for distinct members of auditors-group-78-15 must have pairwise-unequal ledger-hashs; matching the external reference-ledger-68-13's ledger-hash is allowed.", "ainglish": "select(auditors-group-78-15, ledger) different-across(auditors-group-78-15, by=ledger-hash); external-ref=reference-ledger-68-13.", "question": "Which assignment is permitted by the message?", "options": [ "Two group members may use the same key", "All group members may repeat one non-reference key", "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-ref-08-10", "english": "Every route selected by members of teams-group-78-16 must have a route-id unequal to reference-route-68-14's route-id; members are allowed to repeat the same qualifying route.", "ainglish": "select(teams-group-78-16, route) different-from(reference-route-68-14, by=route-id).", "question": "Which assignment is permitted by the message?", "options": [ "Every member must choose a pairwise-unique key", "A different display name is sufficient even when the declared key matches", "Two group members may choose the same non-reference key", "A member may choose the reference key" ], "answer": "Two group members may choose the same non-reference key", "form": "different-from", "probe": "reference exclusion without pairwise uniqueness" }, { "id": "difference-across-08-10", "english": "The routes selected for distinct members of teams-group-78-16 must have pairwise-unequal route-ids; matching the external reference-route-68-14's route-id is allowed.", "ainglish": "select(teams-group-78-16, route) different-across(teams-group-78-16, by=route-id); external-ref=reference-route-68-14.", "question": "Which assignment is permitted by the message?", "options": [ "Different display names are sufficient when declared keys match", "One member may match the external reference if all group members remain pairwise different", "Two group members may use the same key", "All group members may repeat one non-reference key" ], "answer": "One member may match the external reference if all group members remain pairwise different", "form": "different-across", "probe": "pairwise uniqueness without reference exclusion" }, { "id": "difference-scope-cal-01", "calibration": true, "english": "The register mentions the acorn ticket, but gives no storage location.", "ainglish": "The register says the acorn ticket is stored in bay 17.", "question": "Where does the message say the acorn ticket is stored?", "options": [ "bay 17", "the intake room", "the dispatch room", "no location is stated" ], "answer": "bay 17", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-02", "calibration": true, "english": "The register mentions the bronze tag, but gives no storage location.", "ainglish": "The register says the bronze tag is stored in shelf 24.", "question": "Where does the message say the bronze tag is stored?", "options": [ "the intake room", "the dispatch room", "no location is stated", "shelf 24" ], "answer": "shelf 24", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-03", "calibration": true, "english": "The register mentions the cerulean folder, but gives no storage location.", "ainglish": "The register says the cerulean folder is stored in rack 31.", "question": "Where does the message say the cerulean folder is stored?", "options": [ "the dispatch room", "no location is stated", "rack 31", "the intake room" ], "answer": "rack 31", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-04", "calibration": true, "english": "The register mentions the driftwood key, but gives no storage location.", "ainglish": "The register says the driftwood key is stored in bay 42.", "question": "Where does the message say the driftwood key is stored?", "options": [ "no location is stated", "bay 42", "the intake room", "the dispatch room" ], "answer": "bay 42", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-05", "calibration": true, "english": "The register mentions the egret card, but gives no storage location.", "ainglish": "The register says the egret card is stored in shelf 53.", "question": "Where does the message say the egret card is stored?", "options": [ "shelf 53", "the intake room", "the dispatch room", "no location is stated" ], "answer": "shelf 53", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-06", "calibration": true, "english": "The register mentions the fallow token, but gives no storage location.", "ainglish": "The register says the fallow token is stored in rack 64.", "question": "Where does the message say the fallow token is stored?", "options": [ "the intake room", "the dispatch room", "no location is stated", "rack 64" ], "answer": "rack 64", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-07", "calibration": true, "english": "The register mentions the ginger seal, but gives no storage location.", "ainglish": "The register says the ginger seal is stored in bay 75.", "question": "Where does the message say the ginger seal is stored?", "options": [ "the dispatch room", "no location is stated", "bay 75", "the intake room" ], "answer": "bay 75", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-08", "calibration": true, "english": "The register mentions the heather note, but gives no storage location.", "ainglish": "The register says the heather note is stored in shelf 86.", "question": "Where does the message say the heather note is stored?", "options": [ "no location is stated", "shelf 86", "the intake room", "the dispatch room" ], "answer": "shelf 86", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-09", "calibration": true, "english": "The register mentions the ivory disk, but gives no storage location.", "ainglish": "The register says the ivory disk is stored in rack 97.", "question": "Where does the message say the ivory disk is stored?", "options": [ "rack 97", "the intake room", "the dispatch room", "no location is stated" ], "answer": "rack 97", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-10", "calibration": true, "english": "The register mentions the juniper pass, but gives no storage location.", "ainglish": "The register says the juniper pass is stored in bay 108.", "question": "Where does the message say the juniper pass is stored?", "options": [ "the intake room", "the dispatch room", "no location is stated", "bay 108" ], "answer": "bay 108", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-11", "calibration": true, "english": "The register mentions the khaki badge, but gives no storage location.", "ainglish": "The register says the khaki badge is stored in shelf 119.", "question": "Where does the message say the khaki badge is stored?", "options": [ "the dispatch room", "no location is stated", "shelf 119", "the intake room" ], "answer": "shelf 119", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-12", "calibration": true, "english": "The register mentions the lilac slip, but gives no storage location.", "ainglish": "The register says the lilac slip is stored in rack 120.", "question": "Where does the message say the lilac slip is stored?", "options": [ "no location is stated", "rack 120", "the intake room", "the dispatch room" ], "answer": "rack 120", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-13", "calibration": true, "english": "The register mentions the marble token, but gives no storage location.", "ainglish": "The register says the marble token is stored in bay 131.", "question": "Where does the message say the marble token is stored?", "options": [ "bay 131", "the intake room", "the dispatch room", "no location is stated" ], "answer": "bay 131", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-14", "calibration": true, "english": "The register mentions the navy seal, but gives no storage location.", "ainglish": "The register says the navy seal is stored in shelf 142.", "question": "Where does the message say the navy seal is stored?", "options": [ "the intake room", "the dispatch room", "no location is stated", "shelf 142" ], "answer": "shelf 142", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-15", "calibration": true, "english": "The register mentions the opal card, but gives no storage location.", "ainglish": "The register says the opal card is stored in rack 153.", "question": "Where does the message say the opal card is stored?", "options": [ "the dispatch room", "no location is stated", "rack 153", "the intake room" ], "answer": "rack 153", "probe": "construct-free explicit-location planted effect" }, { "id": "difference-scope-cal-16", "calibration": true, "english": "The register mentions the poppy key, but gives no storage location.", "ainglish": "The register says the poppy key is stored in bay 164.", "question": "Where does the message say the poppy key is stored?", "options": [ "no location is stated", "bay 164", "the intake room", "the dispatch room" ], "answer": "bay 164", "probe": "construct-free explicit-location planted effect" } ], "reader_calls": 0 }