[ { "ainglish": "Frozen record S-038e8e0034d2. The membership list is replicas-e77b, replicas-a768, replicas-9669; exactly 3 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-038e8e0034d2): P-d5048.", "answer": "Exactly k=0", "english": "Frozen record S-038e8e0034d2. The membership list is replicas-e77b, replicas-a768, replicas-9669; exactly 3 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-038e8e0034d2): P-d5048.", "id": "target-690b85506acc", "options": [ "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2", "Exactly k=0", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d5048, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "replicas", "form": "none-of", "frame": "S-038e8e0034d2", "predicate_family": "replicas-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-038e8e0034d2. The membership list is replicas-e77b, replicas-a768, replicas-9669; exactly 3 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-038e8e0034d2): P-d5048.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-038e8e0034d2. The membership list is replicas-e77b, replicas-a768, replicas-9669; exactly 3 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-038e8e0034d2): P-d5048.", "id": "target-253f95d69d2e", "options": [ "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2", "Exactly k=0", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d5048, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "replicas", "form": "not-all-of", "frame": "S-038e8e0034d2", "predicate_family": "replicas-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-f947ced3a82d. The membership list is replicas-a577, replicas-5fd0, replicas-568f, replicas-4ff4, replicas-df0c, replicas-8727; exactly 6 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are the entire named collection. none-of(S-f947ced3a82d): P-d5048.", "answer": "Exactly k=0", "english": "Frozen record S-f947ced3a82d. The membership list is replicas-a577, replicas-5fd0, replicas-568f, replicas-4ff4, replicas-df0c, replicas-8727; exactly 6 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are the entire named collection. none-of(S-f947ced3a82d): P-d5048.", "id": "target-d3bc73f01e99", "options": [ "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d5048, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "none-of", "frame": "S-f947ced3a82d", "predicate_family": "replicas-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-f947ced3a82d. The membership list is replicas-a577, replicas-5fd0, replicas-568f, replicas-4ff4, replicas-df0c, replicas-8727; exactly 6 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are the entire named collection. not-all-of(S-f947ced3a82d): P-d5048.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-f947ced3a82d. The membership list is replicas-a577, replicas-5fd0, replicas-568f, replicas-4ff4, replicas-df0c, replicas-8727; exactly 6 distinct replicas, unchanged throughout this report. P-d5048 names the property \"has the latest schema\". These listed members are the entire named collection. not-all-of(S-f947ced3a82d): P-d5048.", "id": "target-66c10c681067", "options": [ "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d5048, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "not-all-of", "frame": "S-f947ced3a82d", "predicate_family": "replicas-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-f90964eb911f. The membership list is replicas-567a, replicas-f14e, replicas-d203; exactly 3 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are the entire named collection. none-of(S-f90964eb911f): P-2b2e3.", "answer": "Exactly k=0", "english": "Frozen record S-f90964eb911f. The membership list is replicas-567a, replicas-f14e, replicas-d203; exactly 3 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are the entire named collection. none-of(S-f90964eb911f): P-2b2e3.", "id": "target-a255b1f783fc", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 1 through 2", "Exactly k=3", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2b2e3, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "none-of", "frame": "S-f90964eb911f", "predicate_family": "replicas-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-f90964eb911f. The membership list is replicas-567a, replicas-f14e, replicas-d203; exactly 3 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are the entire named collection. not-all-of(S-f90964eb911f): P-2b2e3.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-f90964eb911f. The membership list is replicas-567a, replicas-f14e, replicas-d203; exactly 3 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are the entire named collection. not-all-of(S-f90964eb911f): P-2b2e3.", "id": "target-17a055708d78", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 1 through 2", "Exactly k=3", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2b2e3, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "not-all-of", "frame": "S-f90964eb911f", "predicate_family": "replicas-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-d1233f8fb913. The membership list is replicas-7969, replicas-e063, replicas-00e9, replicas-876e, replicas-0afb, replicas-b620; exactly 6 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-d1233f8fb913): P-2b2e3.", "answer": "Exactly k=0", "english": "Frozen record S-d1233f8fb913. The membership list is replicas-7969, replicas-e063, replicas-00e9, replicas-876e, replicas-0afb, replicas-b620; exactly 6 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-d1233f8fb913): P-2b2e3.", "id": "target-58d34c91e795", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6", "Exactly k=0", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2b2e3, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "replicas", "form": "none-of", "frame": "S-d1233f8fb913", "predicate_family": "replicas-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-d1233f8fb913. The membership list is replicas-7969, replicas-e063, replicas-00e9, replicas-876e, replicas-0afb, replicas-b620; exactly 6 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-d1233f8fb913): P-2b2e3.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-d1233f8fb913. The membership list is replicas-7969, replicas-e063, replicas-00e9, replicas-876e, replicas-0afb, replicas-b620; exactly 6 distinct replicas, unchanged throughout this report. P-2b2e3 names the property \"answers the checksum challenge\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-d1233f8fb913): P-2b2e3.", "id": "target-d2d2110ebda3", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6", "Exactly k=0", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2b2e3, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "replicas", "form": "not-all-of", "frame": "S-d1233f8fb913", "predicate_family": "replicas-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-6c2c6d597858. The membership list is replicas-dec8, replicas-8eb6, replicas-3b8b; exactly 3 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-6c2c6d597858): P-b510e.", "answer": "Exactly k=0", "english": "Frozen record S-6c2c6d597858. The membership list is replicas-dec8, replicas-8eb6, replicas-3b8b; exactly 3 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-6c2c6d597858): P-b510e.", "id": "target-dbb99bdf8a45", "options": [ "Any integer k from 0 through 2", "Exactly k=0", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b510e, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "replicas", "form": "none-of", "frame": "S-6c2c6d597858", "predicate_family": "replicas-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-6c2c6d597858. The membership list is replicas-dec8, replicas-8eb6, replicas-3b8b; exactly 3 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-6c2c6d597858): P-b510e.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-6c2c6d597858. The membership list is replicas-dec8, replicas-8eb6, replicas-3b8b; exactly 3 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-6c2c6d597858): P-b510e.", "id": "target-76d731c983cb", "options": [ "Any integer k from 0 through 2", "Exactly k=0", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b510e, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "replicas", "form": "not-all-of", "frame": "S-6c2c6d597858", "predicate_family": "replicas-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-c16fcab6106a. The membership list is replicas-9ac0, replicas-636c, replicas-a912, replicas-264f, replicas-8617, replicas-12d7; exactly 6 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are the entire named collection. none-of(S-c16fcab6106a): P-b510e.", "answer": "Exactly k=0", "english": "Frozen record S-c16fcab6106a. The membership list is replicas-9ac0, replicas-636c, replicas-a912, replicas-264f, replicas-8617, replicas-12d7; exactly 6 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are the entire named collection. none-of(S-c16fcab6106a): P-b510e.", "id": "target-7332283343ff", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b510e, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "none-of", "frame": "S-c16fcab6106a", "predicate_family": "replicas-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-c16fcab6106a. The membership list is replicas-9ac0, replicas-636c, replicas-a912, replicas-264f, replicas-8617, replicas-12d7; exactly 6 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are the entire named collection. not-all-of(S-c16fcab6106a): P-b510e.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-c16fcab6106a. The membership list is replicas-9ac0, replicas-636c, replicas-a912, replicas-264f, replicas-8617, replicas-12d7; exactly 6 distinct replicas, unchanged throughout this report. P-b510e names the property \"holds an intact journal\". These listed members are the entire named collection. not-all-of(S-c16fcab6106a): P-b510e.", "id": "target-598d5b7db982", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b510e, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "not-all-of", "frame": "S-c16fcab6106a", "predicate_family": "replicas-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-d499e1796f91. The membership list is replicas-4448, replicas-2b4b, replicas-a9cd; exactly 3 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are the entire named collection. none-of(S-d499e1796f91): P-fde3a.", "answer": "Exactly k=0", "english": "Frozen record S-d499e1796f91. The membership list is replicas-4448, replicas-2b4b, replicas-a9cd; exactly 3 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are the entire named collection. none-of(S-d499e1796f91): P-fde3a.", "id": "target-d05ee7da874e", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0", "Exactly k=3", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-fde3a, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "none-of", "frame": "S-d499e1796f91", "predicate_family": "replicas-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-d499e1796f91. The membership list is replicas-4448, replicas-2b4b, replicas-a9cd; exactly 3 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are the entire named collection. not-all-of(S-d499e1796f91): P-fde3a.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-d499e1796f91. The membership list is replicas-4448, replicas-2b4b, replicas-a9cd; exactly 3 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are the entire named collection. not-all-of(S-d499e1796f91): P-fde3a.", "id": "target-72edaa03f812", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0", "Exactly k=3", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-fde3a, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "replicas", "form": "not-all-of", "frame": "S-d499e1796f91", "predicate_family": "replicas-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-bc8017df9d42. The membership list is replicas-117e, replicas-7a4a, replicas-be1a, replicas-de6c, replicas-21c8, replicas-37da; exactly 6 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-bc8017df9d42): P-fde3a.", "answer": "Exactly k=0", "english": "Frozen record S-bc8017df9d42. The membership list is replicas-117e, replicas-7a4a, replicas-be1a, replicas-de6c, replicas-21c8, replicas-37da; exactly 6 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-bc8017df9d42): P-fde3a.", "id": "target-34a6ace7197b", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6", "Any integer k from 1 through 5", "Exactly k=0", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-fde3a, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "replicas", "form": "none-of", "frame": "S-bc8017df9d42", "predicate_family": "replicas-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-bc8017df9d42. The membership list is replicas-117e, replicas-7a4a, replicas-be1a, replicas-de6c, replicas-21c8, replicas-37da; exactly 6 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-bc8017df9d42): P-fde3a.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-bc8017df9d42. The membership list is replicas-117e, replicas-7a4a, replicas-be1a, replicas-de6c, replicas-21c8, replicas-37da; exactly 6 distinct replicas, unchanged throughout this report. P-fde3a names the property \"accepts a read request\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-bc8017df9d42): P-fde3a.", "id": "target-2b0e473976cb", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6", "Any integer k from 1 through 5", "Exactly k=0", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-fde3a, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "replicas", "form": "not-all-of", "frame": "S-bc8017df9d42", "predicate_family": "replicas-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-526c1552cc56. The membership list is tests-ef26, tests-4e7a, tests-4775; exactly 3 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-526c1552cc56): P-7790d.", "answer": "Exactly k=0", "english": "Frozen record S-526c1552cc56. The membership list is tests-ef26, tests-4e7a, tests-4775; exactly 3 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-526c1552cc56): P-7790d.", "id": "target-9f0152ca8a2f", "options": [ "Any integer k from 0 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7790d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "tests", "form": "none-of", "frame": "S-526c1552cc56", "predicate_family": "tests-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-526c1552cc56. The membership list is tests-ef26, tests-4e7a, tests-4775; exactly 3 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-526c1552cc56): P-7790d.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-526c1552cc56. The membership list is tests-ef26, tests-4e7a, tests-4775; exactly 3 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-526c1552cc56): P-7790d.", "id": "target-8ecfe50b0767", "options": [ "Any integer k from 0 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7790d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "tests", "form": "not-all-of", "frame": "S-526c1552cc56", "predicate_family": "tests-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-0c8351b2d3f4. The membership list is tests-0592, tests-c0dd, tests-55b2, tests-2192, tests-bca2, tests-fd12; exactly 6 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are the entire named collection. none-of(S-0c8351b2d3f4): P-7790d.", "answer": "Exactly k=0", "english": "Frozen record S-0c8351b2d3f4. The membership list is tests-0592, tests-c0dd, tests-55b2, tests-2192, tests-bca2, tests-fd12; exactly 6 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are the entire named collection. none-of(S-0c8351b2d3f4): P-7790d.", "id": "target-e590df1544b9", "options": [ "Any integer k from 0 through 5", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7790d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "tests", "form": "none-of", "frame": "S-0c8351b2d3f4", "predicate_family": "tests-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-0c8351b2d3f4. The membership list is tests-0592, tests-c0dd, tests-55b2, tests-2192, tests-bca2, tests-fd12; exactly 6 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are the entire named collection. not-all-of(S-0c8351b2d3f4): P-7790d.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-0c8351b2d3f4. The membership list is tests-0592, tests-c0dd, tests-55b2, tests-2192, tests-bca2, tests-fd12; exactly 6 distinct tests, unchanged throughout this report. P-7790d names the property \"finishes within its deadline\". These listed members are the entire named collection. not-all-of(S-0c8351b2d3f4): P-7790d.", "id": "target-ebc325b8f8c6", "options": [ "Any integer k from 0 through 5", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7790d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "tests", "form": "not-all-of", "frame": "S-0c8351b2d3f4", "predicate_family": "tests-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-235b309d228a. The membership list is tests-597d, tests-c232, tests-e6e6; exactly 3 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are the entire named collection. none-of(S-235b309d228a): P-7f803.", "answer": "Exactly k=0", "english": "Frozen record S-235b309d228a. The membership list is tests-597d, tests-c232, tests-e6e6; exactly 3 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are the entire named collection. none-of(S-235b309d228a): P-7f803.", "id": "target-6c0135d2d28d", "options": [ "Exactly k=0", "Any integer k from 1 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7f803, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "tests", "form": "none-of", "frame": "S-235b309d228a", "predicate_family": "tests-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-235b309d228a. The membership list is tests-597d, tests-c232, tests-e6e6; exactly 3 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are the entire named collection. not-all-of(S-235b309d228a): P-7f803.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-235b309d228a. The membership list is tests-597d, tests-c232, tests-e6e6; exactly 3 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are the entire named collection. not-all-of(S-235b309d228a): P-7f803.", "id": "target-2f891a3cc141", "options": [ "Exactly k=0", "Any integer k from 1 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7f803, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "tests", "form": "not-all-of", "frame": "S-235b309d228a", "predicate_family": "tests-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-78c97633f9c1. The membership list is tests-7d98, tests-17aa, tests-8814, tests-576e, tests-d37a, tests-ad7b; exactly 6 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-78c97633f9c1): P-7f803.", "answer": "Exactly k=0", "english": "Frozen record S-78c97633f9c1. The membership list is tests-7d98, tests-17aa, tests-8814, tests-576e, tests-d37a, tests-ad7b; exactly 6 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-78c97633f9c1): P-7f803.", "id": "target-e4decd712c73", "options": [ "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7f803, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "tests", "form": "none-of", "frame": "S-78c97633f9c1", "predicate_family": "tests-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-78c97633f9c1. The membership list is tests-7d98, tests-17aa, tests-8814, tests-576e, tests-d37a, tests-ad7b; exactly 6 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-78c97633f9c1): P-7f803.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-78c97633f9c1. The membership list is tests-7d98, tests-17aa, tests-8814, tests-576e, tests-d37a, tests-ad7b; exactly 6 distinct tests, unchanged throughout this report. P-7f803 names the property \"meets its stated criterion\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-78c97633f9c1): P-7f803.", "id": "target-558c04f40430", "options": [ "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-7f803, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "tests", "form": "not-all-of", "frame": "S-78c97633f9c1", "predicate_family": "tests-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-7caec5609c3b. The membership list is tests-6e2e, tests-349c, tests-b2fd; exactly 3 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-7caec5609c3b): P-b1ed0.", "answer": "Exactly k=0", "english": "Frozen record S-7caec5609c3b. The membership list is tests-6e2e, tests-349c, tests-b2fd; exactly 3 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-7caec5609c3b): P-b1ed0.", "id": "target-62443b958d15", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=3", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b1ed0, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "tests", "form": "none-of", "frame": "S-7caec5609c3b", "predicate_family": "tests-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-7caec5609c3b. The membership list is tests-6e2e, tests-349c, tests-b2fd; exactly 3 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-7caec5609c3b): P-b1ed0.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-7caec5609c3b. The membership list is tests-6e2e, tests-349c, tests-b2fd; exactly 3 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-7caec5609c3b): P-b1ed0.", "id": "target-37588ac28b0b", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=3", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b1ed0, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "tests", "form": "not-all-of", "frame": "S-7caec5609c3b", "predicate_family": "tests-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-b00b6b8a0aed. The membership list is tests-e5d7, tests-7ba7, tests-7ad6, tests-b6c7, tests-40c3, tests-da59; exactly 6 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are the entire named collection. none-of(S-b00b6b8a0aed): P-b1ed0.", "answer": "Exactly k=0", "english": "Frozen record S-b00b6b8a0aed. The membership list is tests-e5d7, tests-7ba7, tests-7ad6, tests-b6c7, tests-40c3, tests-da59; exactly 6 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are the entire named collection. none-of(S-b00b6b8a0aed): P-b1ed0.", "id": "target-b94c6038cd17", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6", "Exactly k=0", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b1ed0, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "tests", "form": "none-of", "frame": "S-b00b6b8a0aed", "predicate_family": "tests-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-b00b6b8a0aed. The membership list is tests-e5d7, tests-7ba7, tests-7ad6, tests-b6c7, tests-40c3, tests-da59; exactly 6 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are the entire named collection. not-all-of(S-b00b6b8a0aed): P-b1ed0.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-b00b6b8a0aed. The membership list is tests-e5d7, tests-7ba7, tests-7ad6, tests-b6c7, tests-40c3, tests-da59; exactly 6 distinct tests, unchanged throughout this report. P-b1ed0 names the property \"produces the expected trace\". These listed members are the entire named collection. not-all-of(S-b00b6b8a0aed): P-b1ed0.", "id": "target-bafa31425404", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6", "Exactly k=0", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b1ed0, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "tests", "form": "not-all-of", "frame": "S-b00b6b8a0aed", "predicate_family": "tests-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-4c40f3f13eb1. The membership list is tests-75b6, tests-8bfb, tests-5f99; exactly 3 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are the entire named collection. none-of(S-4c40f3f13eb1): P-e1749.", "answer": "Exactly k=0", "english": "Frozen record S-4c40f3f13eb1. The membership list is tests-75b6, tests-8bfb, tests-5f99; exactly 3 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are the entire named collection. none-of(S-4c40f3f13eb1): P-e1749.", "id": "target-ae910d8fcf62", "options": [ "Any integer k from 0 through 2", "Exactly k=3", "Exactly k=0", "Any integer k from 1 through 2", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e1749, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "tests", "form": "none-of", "frame": "S-4c40f3f13eb1", "predicate_family": "tests-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-4c40f3f13eb1. The membership list is tests-75b6, tests-8bfb, tests-5f99; exactly 3 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are the entire named collection. not-all-of(S-4c40f3f13eb1): P-e1749.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-4c40f3f13eb1. The membership list is tests-75b6, tests-8bfb, tests-5f99; exactly 3 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are the entire named collection. not-all-of(S-4c40f3f13eb1): P-e1749.", "id": "target-b66be730740f", "options": [ "Any integer k from 0 through 2", "Exactly k=3", "Exactly k=0", "Any integer k from 1 through 2", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e1749, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "tests", "form": "not-all-of", "frame": "S-4c40f3f13eb1", "predicate_family": "tests-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-095648145e2b. The membership list is tests-6716, tests-be4c, tests-8f84, tests-7c21, tests-34d8, tests-d3a1; exactly 6 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-095648145e2b): P-e1749.", "answer": "Exactly k=0", "english": "Frozen record S-095648145e2b. The membership list is tests-6716, tests-be4c, tests-8f84, tests-7c21, tests-34d8, tests-d3a1; exactly 6 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-095648145e2b): P-e1749.", "id": "target-2cb933acdcad", "options": [ "Exactly k=0", "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e1749, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "tests", "form": "none-of", "frame": "S-095648145e2b", "predicate_family": "tests-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-095648145e2b. The membership list is tests-6716, tests-be4c, tests-8f84, tests-7c21, tests-34d8, tests-d3a1; exactly 6 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-095648145e2b): P-e1749.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-095648145e2b. The membership list is tests-6716, tests-be4c, tests-8f84, tests-7c21, tests-34d8, tests-d3a1; exactly 6 distinct tests, unchanged throughout this report. P-e1749 names the property \"checks the intended branch\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-095648145e2b): P-e1749.", "id": "target-15a11875cc1c", "options": [ "Exactly k=0", "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e1749, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "tests", "form": "not-all-of", "frame": "S-095648145e2b", "predicate_family": "tests-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-ebea6f714215. The membership list is permissions-c26b, permissions-671c, permissions-8e95; exactly 3 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-ebea6f714215): P-cb410.", "answer": "Exactly k=0", "english": "Frozen record S-ebea6f714215. The membership list is permissions-c26b, permissions-671c, permissions-8e95; exactly 3 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-ebea6f714215): P-cb410.", "id": "target-327adc7d34b8", "options": [ "Any integer k from 1 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-cb410, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "permissions", "form": "none-of", "frame": "S-ebea6f714215", "predicate_family": "permissions-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-ebea6f714215. The membership list is permissions-c26b, permissions-671c, permissions-8e95; exactly 3 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-ebea6f714215): P-cb410.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-ebea6f714215. The membership list is permissions-c26b, permissions-671c, permissions-8e95; exactly 3 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-ebea6f714215): P-cb410.", "id": "target-7afe365f130b", "options": [ "Any integer k from 1 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-cb410, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "permissions", "form": "not-all-of", "frame": "S-ebea6f714215", "predicate_family": "permissions-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-1c2d81b32e42. The membership list is permissions-12c9, permissions-a7c3, permissions-2ea0, permissions-4aea, permissions-52f1, permissions-aabe; exactly 6 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are the entire named collection. none-of(S-1c2d81b32e42): P-cb410.", "answer": "Exactly k=0", "english": "Frozen record S-1c2d81b32e42. The membership list is permissions-12c9, permissions-a7c3, permissions-2ea0, permissions-4aea, permissions-52f1, permissions-aabe; exactly 6 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are the entire named collection. none-of(S-1c2d81b32e42): P-cb410.", "id": "target-b2ec3aee4005", "options": [ "Exactly k=6", "Any integer k from 0 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-cb410, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "none-of", "frame": "S-1c2d81b32e42", "predicate_family": "permissions-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-1c2d81b32e42. The membership list is permissions-12c9, permissions-a7c3, permissions-2ea0, permissions-4aea, permissions-52f1, permissions-aabe; exactly 6 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are the entire named collection. not-all-of(S-1c2d81b32e42): P-cb410.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-1c2d81b32e42. The membership list is permissions-12c9, permissions-a7c3, permissions-2ea0, permissions-4aea, permissions-52f1, permissions-aabe; exactly 6 distinct permissions, unchanged throughout this report. P-cb410 names the property \"permits a metadata update\". These listed members are the entire named collection. not-all-of(S-1c2d81b32e42): P-cb410.", "id": "target-e53aada9af19", "options": [ "Exactly k=6", "Any integer k from 0 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-cb410, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "not-all-of", "frame": "S-1c2d81b32e42", "predicate_family": "permissions-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-538972b93cc8. The membership list is permissions-2845, permissions-961c, permissions-30c3; exactly 3 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are the entire named collection. none-of(S-538972b93cc8): P-e7f9d.", "answer": "Exactly k=0", "english": "Frozen record S-538972b93cc8. The membership list is permissions-2845, permissions-961c, permissions-30c3; exactly 3 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are the entire named collection. none-of(S-538972b93cc8): P-e7f9d.", "id": "target-e63a66a52edc", "options": [ "Exactly k=0", "Exactly k=3", "Any integer k from 1 through 2", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e7f9d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "none-of", "frame": "S-538972b93cc8", "predicate_family": "permissions-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-538972b93cc8. The membership list is permissions-2845, permissions-961c, permissions-30c3; exactly 3 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are the entire named collection. not-all-of(S-538972b93cc8): P-e7f9d.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-538972b93cc8. The membership list is permissions-2845, permissions-961c, permissions-30c3; exactly 3 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are the entire named collection. not-all-of(S-538972b93cc8): P-e7f9d.", "id": "target-89a46f6471c8", "options": [ "Exactly k=0", "Exactly k=3", "Any integer k from 1 through 2", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e7f9d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "not-all-of", "frame": "S-538972b93cc8", "predicate_family": "permissions-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-89faa3250887. The membership list is permissions-63f5, permissions-80a4, permissions-ce58, permissions-4af7, permissions-58e3, permissions-709a; exactly 6 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-89faa3250887): P-e7f9d.", "answer": "Exactly k=0", "english": "Frozen record S-89faa3250887. The membership list is permissions-63f5, permissions-80a4, permissions-ce58, permissions-4af7, permissions-58e3, permissions-709a; exactly 6 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-89faa3250887): P-e7f9d.", "id": "target-1a612aa45357", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e7f9d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "permissions", "form": "none-of", "frame": "S-89faa3250887", "predicate_family": "permissions-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-89faa3250887. The membership list is permissions-63f5, permissions-80a4, permissions-ce58, permissions-4af7, permissions-58e3, permissions-709a; exactly 6 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-89faa3250887): P-e7f9d.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-89faa3250887. The membership list is permissions-63f5, permissions-80a4, permissions-ce58, permissions-4af7, permissions-58e3, permissions-709a; exactly 6 distinct permissions, unchanged throughout this report. P-e7f9d names the property \"permits opening the archive\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-89faa3250887): P-e7f9d.", "id": "target-ca32acc8d424", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e7f9d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "permissions", "form": "not-all-of", "frame": "S-89faa3250887", "predicate_family": "permissions-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-304c53b8c220. The membership list is permissions-8e28, permissions-59d6, permissions-6400; exactly 3 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-304c53b8c220): P-94616.", "answer": "Exactly k=0", "english": "Frozen record S-304c53b8c220. The membership list is permissions-8e28, permissions-59d6, permissions-6400; exactly 3 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-304c53b8c220): P-94616.", "id": "target-f7d1bfea7299", "options": [ "Exactly k=0", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-94616, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "permissions", "form": "none-of", "frame": "S-304c53b8c220", "predicate_family": "permissions-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-304c53b8c220. The membership list is permissions-8e28, permissions-59d6, permissions-6400; exactly 3 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-304c53b8c220): P-94616.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-304c53b8c220. The membership list is permissions-8e28, permissions-59d6, permissions-6400; exactly 3 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-304c53b8c220): P-94616.", "id": "target-f06c608bfd89", "options": [ "Exactly k=0", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-94616, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "permissions", "form": "not-all-of", "frame": "S-304c53b8c220", "predicate_family": "permissions-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-a57d49d7b124. The membership list is permissions-d106, permissions-7966, permissions-09f1, permissions-7a33, permissions-4136, permissions-2915; exactly 6 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are the entire named collection. none-of(S-a57d49d7b124): P-94616.", "answer": "Exactly k=0", "english": "Frozen record S-a57d49d7b124. The membership list is permissions-d106, permissions-7966, permissions-09f1, permissions-7a33, permissions-4136, permissions-2915; exactly 6 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are the entire named collection. none-of(S-a57d49d7b124): P-94616.", "id": "target-a32f2c823a1d", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-94616, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "none-of", "frame": "S-a57d49d7b124", "predicate_family": "permissions-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-a57d49d7b124. The membership list is permissions-d106, permissions-7966, permissions-09f1, permissions-7a33, permissions-4136, permissions-2915; exactly 6 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are the entire named collection. not-all-of(S-a57d49d7b124): P-94616.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-a57d49d7b124. The membership list is permissions-d106, permissions-7966, permissions-09f1, permissions-7a33, permissions-4136, permissions-2915; exactly 6 distinct permissions, unchanged throughout this report. P-94616 names the property \"permits sending a notification\". These listed members are the entire named collection. not-all-of(S-a57d49d7b124): P-94616.", "id": "target-e5aa13e1aa62", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-94616, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "not-all-of", "frame": "S-a57d49d7b124", "predicate_family": "permissions-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-e77b92202787. The membership list is permissions-513a, permissions-fead, permissions-23f3; exactly 3 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are the entire named collection. none-of(S-e77b92202787): P-395ad.", "answer": "Exactly k=0", "english": "Frozen record S-e77b92202787. The membership list is permissions-513a, permissions-fead, permissions-23f3; exactly 3 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are the entire named collection. none-of(S-e77b92202787): P-395ad.", "id": "target-f89b02f34bac", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=0", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-395ad, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "none-of", "frame": "S-e77b92202787", "predicate_family": "permissions-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-e77b92202787. The membership list is permissions-513a, permissions-fead, permissions-23f3; exactly 3 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are the entire named collection. not-all-of(S-e77b92202787): P-395ad.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-e77b92202787. The membership list is permissions-513a, permissions-fead, permissions-23f3; exactly 3 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are the entire named collection. not-all-of(S-e77b92202787): P-395ad.", "id": "target-2adc0c27d9ef", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=0", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-395ad, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "permissions", "form": "not-all-of", "frame": "S-e77b92202787", "predicate_family": "permissions-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-b4f2fb0587d7. The membership list is permissions-7e91, permissions-bf18, permissions-f66c, permissions-032a, permissions-8e39, permissions-53d2; exactly 6 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-b4f2fb0587d7): P-395ad.", "answer": "Exactly k=0", "english": "Frozen record S-b4f2fb0587d7. The membership list is permissions-7e91, permissions-bf18, permissions-f66c, permissions-032a, permissions-8e39, permissions-53d2; exactly 6 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-b4f2fb0587d7): P-395ad.", "id": "target-795bf9160366", "options": [ "Any integer k from 0 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-395ad, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "permissions", "form": "none-of", "frame": "S-b4f2fb0587d7", "predicate_family": "permissions-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-b4f2fb0587d7. The membership list is permissions-7e91, permissions-bf18, permissions-f66c, permissions-032a, permissions-8e39, permissions-53d2; exactly 6 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-b4f2fb0587d7): P-395ad.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-b4f2fb0587d7. The membership list is permissions-7e91, permissions-bf18, permissions-f66c, permissions-032a, permissions-8e39, permissions-53d2; exactly 6 distinct permissions, unchanged throughout this report. P-395ad names the property \"permits reading the audit log\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-b4f2fb0587d7): P-395ad.", "id": "target-5450a40f6958", "options": [ "Any integer k from 0 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-395ad, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "permissions", "form": "not-all-of", "frame": "S-b4f2fb0587d7", "predicate_family": "permissions-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-d24afbe51527. The membership list is files-8cc9, files-60f8, files-01d3; exactly 3 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-d24afbe51527): P-8f41e.", "answer": "Exactly k=0", "english": "Frozen record S-d24afbe51527. The membership list is files-8cc9, files-60f8, files-01d3; exactly 3 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-d24afbe51527): P-8f41e.", "id": "target-8cb0c25effef", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3", "Exactly k=0", "Any integer k from 0 through 2", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8f41e, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "files", "form": "none-of", "frame": "S-d24afbe51527", "predicate_family": "files-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-d24afbe51527. The membership list is files-8cc9, files-60f8, files-01d3; exactly 3 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-d24afbe51527): P-8f41e.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-d24afbe51527. The membership list is files-8cc9, files-60f8, files-01d3; exactly 3 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-d24afbe51527): P-8f41e.", "id": "target-cc550b40ba1d", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3", "Exactly k=0", "Any integer k from 0 through 2", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8f41e, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "files", "form": "not-all-of", "frame": "S-d24afbe51527", "predicate_family": "files-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-d67692d034af. The membership list is files-c2f6, files-178d, files-f3fc, files-8cf9, files-6070, files-dc2c; exactly 6 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are the entire named collection. none-of(S-d67692d034af): P-8f41e.", "answer": "Exactly k=0", "english": "Frozen record S-d67692d034af. The membership list is files-c2f6, files-178d, files-f3fc, files-8cf9, files-6070, files-dc2c; exactly 6 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are the entire named collection. none-of(S-d67692d034af): P-8f41e.", "id": "target-7e41ce39a8d3", "options": [ "Any integer k from 0 through 5", "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8f41e, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "files", "form": "none-of", "frame": "S-d67692d034af", "predicate_family": "files-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-d67692d034af. The membership list is files-c2f6, files-178d, files-f3fc, files-8cf9, files-6070, files-dc2c; exactly 6 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are the entire named collection. not-all-of(S-d67692d034af): P-8f41e.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-d67692d034af. The membership list is files-c2f6, files-178d, files-f3fc, files-8cf9, files-6070, files-dc2c; exactly 6 distinct files, unchanged throughout this report. P-8f41e names the property \"contains a signed header\". These listed members are the entire named collection. not-all-of(S-d67692d034af): P-8f41e.", "id": "target-3096aca2067c", "options": [ "Any integer k from 0 through 5", "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8f41e, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "files", "form": "not-all-of", "frame": "S-d67692d034af", "predicate_family": "files-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-18ee80036836. The membership list is files-45a4, files-fbb3, files-20c2; exactly 3 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are the entire named collection. none-of(S-18ee80036836): P-64eaa.", "answer": "Exactly k=0", "english": "Frozen record S-18ee80036836. The membership list is files-45a4, files-fbb3, files-20c2; exactly 3 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are the entire named collection. none-of(S-18ee80036836): P-64eaa.", "id": "target-641cb23dcf40", "options": [ "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-64eaa, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "files", "form": "none-of", "frame": "S-18ee80036836", "predicate_family": "files-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-18ee80036836. The membership list is files-45a4, files-fbb3, files-20c2; exactly 3 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are the entire named collection. not-all-of(S-18ee80036836): P-64eaa.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-18ee80036836. The membership list is files-45a4, files-fbb3, files-20c2; exactly 3 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are the entire named collection. not-all-of(S-18ee80036836): P-64eaa.", "id": "target-8d508c5e2570", "options": [ "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-64eaa, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "files", "form": "not-all-of", "frame": "S-18ee80036836", "predicate_family": "files-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-8883fd4ae768. The membership list is files-aea8, files-ca54, files-9aa5, files-f1ba, files-b640, files-15c3; exactly 6 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-8883fd4ae768): P-64eaa.", "answer": "Exactly k=0", "english": "Frozen record S-8883fd4ae768. The membership list is files-aea8, files-ca54, files-9aa5, files-f1ba, files-b640, files-15c3; exactly 6 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-8883fd4ae768): P-64eaa.", "id": "target-40a897d02f36", "options": [ "Exactly k=0", "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-64eaa, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "files", "form": "none-of", "frame": "S-8883fd4ae768", "predicate_family": "files-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-8883fd4ae768. The membership list is files-aea8, files-ca54, files-9aa5, files-f1ba, files-b640, files-15c3; exactly 6 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-8883fd4ae768): P-64eaa.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-8883fd4ae768. The membership list is files-aea8, files-ca54, files-9aa5, files-f1ba, files-b640, files-15c3; exactly 6 distinct files, unchanged throughout this report. P-64eaa names the property \"has a matching digest\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-8883fd4ae768): P-64eaa.", "id": "target-8f70bd6f4a72", "options": [ "Exactly k=0", "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-64eaa, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "files", "form": "not-all-of", "frame": "S-8883fd4ae768", "predicate_family": "files-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-2f0180403e69. The membership list is files-0377, files-21ff, files-308d; exactly 3 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-2f0180403e69): P-5a6c0.", "answer": "Exactly k=0", "english": "Frozen record S-2f0180403e69. The membership list is files-0377, files-21ff, files-308d; exactly 3 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-2f0180403e69): P-5a6c0.", "id": "target-9b7f1a20d217", "options": [ "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-5a6c0, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "files", "form": "none-of", "frame": "S-2f0180403e69", "predicate_family": "files-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-2f0180403e69. The membership list is files-0377, files-21ff, files-308d; exactly 3 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-2f0180403e69): P-5a6c0.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-2f0180403e69. The membership list is files-0377, files-21ff, files-308d; exactly 3 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-2f0180403e69): P-5a6c0.", "id": "target-9d5e1f6227e4", "options": [ "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-5a6c0, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "files", "form": "not-all-of", "frame": "S-2f0180403e69", "predicate_family": "files-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-543db81a58c6. The membership list is files-521d, files-b285, files-2ecc, files-8b99, files-6282, files-9d78; exactly 6 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are the entire named collection. none-of(S-543db81a58c6): P-5a6c0.", "answer": "Exactly k=0", "english": "Frozen record S-543db81a58c6. The membership list is files-521d, files-b285, files-2ecc, files-8b99, files-6282, files-9d78; exactly 6 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are the entire named collection. none-of(S-543db81a58c6): P-5a6c0.", "id": "target-1514664154d0", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Any integer k from 0 through 5", "Exactly k=0", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-5a6c0, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "files", "form": "none-of", "frame": "S-543db81a58c6", "predicate_family": "files-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-543db81a58c6. The membership list is files-521d, files-b285, files-2ecc, files-8b99, files-6282, files-9d78; exactly 6 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are the entire named collection. not-all-of(S-543db81a58c6): P-5a6c0.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-543db81a58c6. The membership list is files-521d, files-b285, files-2ecc, files-8b99, files-6282, files-9d78; exactly 6 distinct files, unchanged throughout this report. P-5a6c0 names the property \"opens without a parse error\". These listed members are the entire named collection. not-all-of(S-543db81a58c6): P-5a6c0.", "id": "target-274b616e37d2", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Any integer k from 0 through 5", "Exactly k=0", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-5a6c0, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "files", "form": "not-all-of", "frame": "S-543db81a58c6", "predicate_family": "files-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-04dfa4d12ecd. The membership list is files-3893, files-ed67, files-6abc; exactly 3 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are the entire named collection. none-of(S-04dfa4d12ecd): P-860bc.", "answer": "Exactly k=0", "english": "Frozen record S-04dfa4d12ecd. The membership list is files-3893, files-ed67, files-6abc; exactly 3 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are the entire named collection. none-of(S-04dfa4d12ecd): P-860bc.", "id": "target-0776aa45b629", "options": [ "Exactly k=3", "Any integer k from 1 through 2", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-860bc, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "files", "form": "none-of", "frame": "S-04dfa4d12ecd", "predicate_family": "files-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-04dfa4d12ecd. The membership list is files-3893, files-ed67, files-6abc; exactly 3 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are the entire named collection. not-all-of(S-04dfa4d12ecd): P-860bc.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-04dfa4d12ecd. The membership list is files-3893, files-ed67, files-6abc; exactly 3 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are the entire named collection. not-all-of(S-04dfa4d12ecd): P-860bc.", "id": "target-aaf87de13d2c", "options": [ "Exactly k=3", "Any integer k from 1 through 2", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-860bc, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "files", "form": "not-all-of", "frame": "S-04dfa4d12ecd", "predicate_family": "files-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-b58870add501. The membership list is files-0f3c, files-885a, files-421f, files-ef5e, files-838d, files-5464; exactly 6 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-b58870add501): P-860bc.", "answer": "Exactly k=0", "english": "Frozen record S-b58870add501. The membership list is files-0f3c, files-885a, files-421f, files-ef5e, files-838d, files-5464; exactly 6 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-b58870add501): P-860bc.", "id": "target-8b7ae3d672b9", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-860bc, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "files", "form": "none-of", "frame": "S-b58870add501", "predicate_family": "files-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-b58870add501. The membership list is files-0f3c, files-885a, files-421f, files-ef5e, files-838d, files-5464; exactly 6 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-b58870add501): P-860bc.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-b58870add501. The membership list is files-0f3c, files-885a, files-421f, files-ef5e, files-838d, files-5464; exactly 6 distinct files, unchanged throughout this report. P-860bc names the property \"includes the requested field\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-b58870add501): P-860bc.", "id": "target-e8def759a2b2", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-860bc, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "files", "form": "not-all-of", "frame": "S-b58870add501", "predicate_family": "files-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-3ec6a2fee60b. The membership list is recipients-e512, recipients-aefa, recipients-a05c; exactly 3 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-3ec6a2fee60b): P-e64ad.", "answer": "Exactly k=0", "english": "Frozen record S-3ec6a2fee60b. The membership list is recipients-e512, recipients-aefa, recipients-a05c; exactly 3 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-3ec6a2fee60b): P-e64ad.", "id": "target-907d1d4707dd", "options": [ "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e64ad, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "recipients", "form": "none-of", "frame": "S-3ec6a2fee60b", "predicate_family": "recipients-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-3ec6a2fee60b. The membership list is recipients-e512, recipients-aefa, recipients-a05c; exactly 3 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-3ec6a2fee60b): P-e64ad.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-3ec6a2fee60b. The membership list is recipients-e512, recipients-aefa, recipients-a05c; exactly 3 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-3ec6a2fee60b): P-e64ad.", "id": "target-0835151f9873", "options": [ "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e64ad, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "recipients", "form": "not-all-of", "frame": "S-3ec6a2fee60b", "predicate_family": "recipients-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-c421d60f0ec8. The membership list is recipients-7ae2, recipients-9d81, recipients-323e, recipients-f10a, recipients-f2d8, recipients-f79a; exactly 6 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are the entire named collection. none-of(S-c421d60f0ec8): P-e64ad.", "answer": "Exactly k=0", "english": "Frozen record S-c421d60f0ec8. The membership list is recipients-7ae2, recipients-9d81, recipients-323e, recipients-f10a, recipients-f2d8, recipients-f79a; exactly 6 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are the entire named collection. none-of(S-c421d60f0ec8): P-e64ad.", "id": "target-22e71edd23e5", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e64ad, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "none-of", "frame": "S-c421d60f0ec8", "predicate_family": "recipients-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-c421d60f0ec8. The membership list is recipients-7ae2, recipients-9d81, recipients-323e, recipients-f10a, recipients-f2d8, recipients-f79a; exactly 6 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are the entire named collection. not-all-of(S-c421d60f0ec8): P-e64ad.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-c421d60f0ec8. The membership list is recipients-7ae2, recipients-9d81, recipients-323e, recipients-f10a, recipients-f2d8, recipients-f79a; exactly 6 distinct recipients, unchanged throughout this report. P-e64ad names the property \"received the attachment\". These listed members are the entire named collection. not-all-of(S-c421d60f0ec8): P-e64ad.", "id": "target-80f19a0110da", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-e64ad, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "not-all-of", "frame": "S-c421d60f0ec8", "predicate_family": "recipients-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-204ce140cce8. The membership list is recipients-8584, recipients-97f5, recipients-02d5; exactly 3 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are the entire named collection. none-of(S-204ce140cce8): P-83d95.", "answer": "Exactly k=0", "english": "Frozen record S-204ce140cce8. The membership list is recipients-8584, recipients-97f5, recipients-02d5; exactly 3 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are the entire named collection. none-of(S-204ce140cce8): P-83d95.", "id": "target-c445f1f0fd39", "options": [ "Any integer k from 0 through 2", "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-83d95, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "none-of", "frame": "S-204ce140cce8", "predicate_family": "recipients-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-204ce140cce8. The membership list is recipients-8584, recipients-97f5, recipients-02d5; exactly 3 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are the entire named collection. not-all-of(S-204ce140cce8): P-83d95.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-204ce140cce8. The membership list is recipients-8584, recipients-97f5, recipients-02d5; exactly 3 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are the entire named collection. not-all-of(S-204ce140cce8): P-83d95.", "id": "target-623caca34291", "options": [ "Any integer k from 0 through 2", "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-83d95, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "not-all-of", "frame": "S-204ce140cce8", "predicate_family": "recipients-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-b09eae0dfaaa. The membership list is recipients-147b, recipients-c5ad, recipients-63b8, recipients-6e24, recipients-4021, recipients-8d6c; exactly 6 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-b09eae0dfaaa): P-83d95.", "answer": "Exactly k=0", "english": "Frozen record S-b09eae0dfaaa. The membership list is recipients-147b, recipients-c5ad, recipients-63b8, recipients-6e24, recipients-4021, recipients-8d6c; exactly 6 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-b09eae0dfaaa): P-83d95.", "id": "target-e96228da9c95", "options": [ "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-83d95, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "recipients", "form": "none-of", "frame": "S-b09eae0dfaaa", "predicate_family": "recipients-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-b09eae0dfaaa. The membership list is recipients-147b, recipients-c5ad, recipients-63b8, recipients-6e24, recipients-4021, recipients-8d6c; exactly 6 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-b09eae0dfaaa): P-83d95.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-b09eae0dfaaa. The membership list is recipients-147b, recipients-c5ad, recipients-63b8, recipients-6e24, recipients-4021, recipients-8d6c; exactly 6 distinct recipients, unchanged throughout this report. P-83d95 names the property \"returned an acknowledgement\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-b09eae0dfaaa): P-83d95.", "id": "target-9028fed8f5a8", "options": [ "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-83d95, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "recipients", "form": "not-all-of", "frame": "S-b09eae0dfaaa", "predicate_family": "recipients-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-668e75061ba2. The membership list is recipients-be8e, recipients-b514, recipients-dc34; exactly 3 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-668e75061ba2): P-75106.", "answer": "Exactly k=0", "english": "Frozen record S-668e75061ba2. The membership list is recipients-be8e, recipients-b514, recipients-dc34; exactly 3 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-668e75061ba2): P-75106.", "id": "target-8d9429bb8941", "options": [ "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2", "Exactly k=3", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-75106, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "recipients", "form": "none-of", "frame": "S-668e75061ba2", "predicate_family": "recipients-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-668e75061ba2. The membership list is recipients-be8e, recipients-b514, recipients-dc34; exactly 3 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-668e75061ba2): P-75106.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-668e75061ba2. The membership list is recipients-be8e, recipients-b514, recipients-dc34; exactly 3 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-668e75061ba2): P-75106.", "id": "target-a5e97fc9b2d4", "options": [ "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2", "Exactly k=3", "Any integer k from 1 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-75106, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "recipients", "form": "not-all-of", "frame": "S-668e75061ba2", "predicate_family": "recipients-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-2f446429fe35. The membership list is recipients-120c, recipients-f05e, recipients-7cf4, recipients-6a70, recipients-77fd, recipients-28eb; exactly 6 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are the entire named collection. none-of(S-2f446429fe35): P-75106.", "answer": "Exactly k=0", "english": "Frozen record S-2f446429fe35. The membership list is recipients-120c, recipients-f05e, recipients-7cf4, recipients-6a70, recipients-77fd, recipients-28eb; exactly 6 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are the entire named collection. none-of(S-2f446429fe35): P-75106.", "id": "target-fdf9f957557d", "options": [ "Exactly k=0", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-75106, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "none-of", "frame": "S-2f446429fe35", "predicate_family": "recipients-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-2f446429fe35. The membership list is recipients-120c, recipients-f05e, recipients-7cf4, recipients-6a70, recipients-77fd, recipients-28eb; exactly 6 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are the entire named collection. not-all-of(S-2f446429fe35): P-75106.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-2f446429fe35. The membership list is recipients-120c, recipients-f05e, recipients-7cf4, recipients-6a70, recipients-77fd, recipients-28eb; exactly 6 distinct recipients, unchanged throughout this report. P-75106 names the property \"can open the document\". These listed members are the entire named collection. not-all-of(S-2f446429fe35): P-75106.", "id": "target-3509828d7e36", "options": [ "Exactly k=0", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-75106, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "not-all-of", "frame": "S-2f446429fe35", "predicate_family": "recipients-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-e3280b93432c. The membership list is recipients-5499, recipients-4203, recipients-0aaf; exactly 3 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are the entire named collection. none-of(S-e3280b93432c): P-a3eaf.", "answer": "Exactly k=0", "english": "Frozen record S-e3280b93432c. The membership list is recipients-5499, recipients-4203, recipients-0aaf; exactly 3 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are the entire named collection. none-of(S-e3280b93432c): P-a3eaf.", "id": "target-57b6df79135d", "options": [ "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a3eaf, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "none-of", "frame": "S-e3280b93432c", "predicate_family": "recipients-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-e3280b93432c. The membership list is recipients-5499, recipients-4203, recipients-0aaf; exactly 3 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are the entire named collection. not-all-of(S-e3280b93432c): P-a3eaf.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-e3280b93432c. The membership list is recipients-5499, recipients-4203, recipients-0aaf; exactly 3 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are the entire named collection. not-all-of(S-e3280b93432c): P-a3eaf.", "id": "target-c4be12a35bc8", "options": [ "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a3eaf, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "recipients", "form": "not-all-of", "frame": "S-e3280b93432c", "predicate_family": "recipients-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-e56f2c6921d9. The membership list is recipients-c51e, recipients-bad9, recipients-bf1a, recipients-d0aa, recipients-e827, recipients-b27b; exactly 6 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-e56f2c6921d9): P-a3eaf.", "answer": "Exactly k=0", "english": "Frozen record S-e56f2c6921d9. The membership list is recipients-c51e, recipients-bad9, recipients-bf1a, recipients-d0aa, recipients-e827, recipients-b27b; exactly 6 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-e56f2c6921d9): P-a3eaf.", "id": "target-c2957afb0fe3", "options": [ "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a3eaf, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "recipients", "form": "none-of", "frame": "S-e56f2c6921d9", "predicate_family": "recipients-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-e56f2c6921d9. The membership list is recipients-c51e, recipients-bad9, recipients-bf1a, recipients-d0aa, recipients-e827, recipients-b27b; exactly 6 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-e56f2c6921d9): P-a3eaf.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-e56f2c6921d9. The membership list is recipients-c51e, recipients-bad9, recipients-bf1a, recipients-d0aa, recipients-e827, recipients-b27b; exactly 6 distinct recipients, unchanged throughout this report. P-a3eaf names the property \"received the revised address\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-e56f2c6921d9): P-a3eaf.", "id": "target-9eb58156f007", "options": [ "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a3eaf, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "recipients", "form": "not-all-of", "frame": "S-e56f2c6921d9", "predicate_family": "recipients-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-aa32fdbf26ad. The membership list is workers-9d19, workers-1e0a, workers-9073; exactly 3 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-aa32fdbf26ad): P-01357.", "answer": "Exactly k=0", "english": "Frozen record S-aa32fdbf26ad. The membership list is workers-9d19, workers-1e0a, workers-9073; exactly 3 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-aa32fdbf26ad): P-01357.", "id": "target-e400f6719b62", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 1 through 2", "Exactly k=3", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-01357, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "workers", "form": "none-of", "frame": "S-aa32fdbf26ad", "predicate_family": "workers-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-aa32fdbf26ad. The membership list is workers-9d19, workers-1e0a, workers-9073; exactly 3 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-aa32fdbf26ad): P-01357.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-aa32fdbf26ad. The membership list is workers-9d19, workers-1e0a, workers-9073; exactly 3 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-aa32fdbf26ad): P-01357.", "id": "target-bae6d513a86f", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 1 through 2", "Exactly k=3", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-01357, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "workers", "form": "not-all-of", "frame": "S-aa32fdbf26ad", "predicate_family": "workers-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-14cda88f9d4c. The membership list is workers-2c23, workers-11b9, workers-f935, workers-5537, workers-7ed5, workers-8a31; exactly 6 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are the entire named collection. none-of(S-14cda88f9d4c): P-01357.", "answer": "Exactly k=0", "english": "Frozen record S-14cda88f9d4c. The membership list is workers-2c23, workers-11b9, workers-f935, workers-5537, workers-7ed5, workers-8a31; exactly 6 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are the entire named collection. none-of(S-14cda88f9d4c): P-01357.", "id": "target-ffc777808612", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-01357, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "workers", "form": "none-of", "frame": "S-14cda88f9d4c", "predicate_family": "workers-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-14cda88f9d4c. The membership list is workers-2c23, workers-11b9, workers-f935, workers-5537, workers-7ed5, workers-8a31; exactly 6 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are the entire named collection. not-all-of(S-14cda88f9d4c): P-01357.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-14cda88f9d4c. The membership list is workers-2c23, workers-11b9, workers-f935, workers-5537, workers-7ed5, workers-8a31; exactly 6 distinct workers, unchanged throughout this report. P-01357 names the property \"completed the assigned unit\". These listed members are the entire named collection. not-all-of(S-14cda88f9d4c): P-01357.", "id": "target-08d6389cac1d", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-01357, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "workers", "form": "not-all-of", "frame": "S-14cda88f9d4c", "predicate_family": "workers-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-200248943c1f. The membership list is workers-a8e4, workers-cd44, workers-e000; exactly 3 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are the entire named collection. none-of(S-200248943c1f): P-43a7a.", "answer": "Exactly k=0", "english": "Frozen record S-200248943c1f. The membership list is workers-a8e4, workers-cd44, workers-e000; exactly 3 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are the entire named collection. none-of(S-200248943c1f): P-43a7a.", "id": "target-7ff01ea1a2dd", "options": [ "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-43a7a, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "workers", "form": "none-of", "frame": "S-200248943c1f", "predicate_family": "workers-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-200248943c1f. The membership list is workers-a8e4, workers-cd44, workers-e000; exactly 3 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are the entire named collection. not-all-of(S-200248943c1f): P-43a7a.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-200248943c1f. The membership list is workers-a8e4, workers-cd44, workers-e000; exactly 3 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are the entire named collection. not-all-of(S-200248943c1f): P-43a7a.", "id": "target-4e9fa061bd70", "options": [ "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-43a7a, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "workers", "form": "not-all-of", "frame": "S-200248943c1f", "predicate_family": "workers-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-3a95d7b0e214. The membership list is workers-03df, workers-fa15, workers-e33b, workers-050f, workers-331c, workers-3e83; exactly 6 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-3a95d7b0e214): P-43a7a.", "answer": "Exactly k=0", "english": "Frozen record S-3a95d7b0e214. The membership list is workers-03df, workers-fa15, workers-e33b, workers-050f, workers-331c, workers-3e83; exactly 6 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-3a95d7b0e214): P-43a7a.", "id": "target-8ecfea690087", "options": [ "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-43a7a, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "workers", "form": "none-of", "frame": "S-3a95d7b0e214", "predicate_family": "workers-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-3a95d7b0e214. The membership list is workers-03df, workers-fa15, workers-e33b, workers-050f, workers-331c, workers-3e83; exactly 6 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-3a95d7b0e214): P-43a7a.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-3a95d7b0e214. The membership list is workers-03df, workers-fa15, workers-e33b, workers-050f, workers-331c, workers-3e83; exactly 6 distinct workers, unchanged throughout this report. P-43a7a names the property \"holds a current lease\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-3a95d7b0e214): P-43a7a.", "id": "target-a960fb060c99", "options": [ "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-43a7a, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "workers", "form": "not-all-of", "frame": "S-3a95d7b0e214", "predicate_family": "workers-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-28c0c636033f. The membership list is workers-318e, workers-172a, workers-ee16; exactly 3 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-28c0c636033f): P-d3ed1.", "answer": "Exactly k=0", "english": "Frozen record S-28c0c636033f. The membership list is workers-318e, workers-172a, workers-ee16; exactly 3 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-28c0c636033f): P-d3ed1.", "id": "target-2cf55b59fc9f", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d3ed1, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "workers", "form": "none-of", "frame": "S-28c0c636033f", "predicate_family": "workers-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-28c0c636033f. The membership list is workers-318e, workers-172a, workers-ee16; exactly 3 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-28c0c636033f): P-d3ed1.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-28c0c636033f. The membership list is workers-318e, workers-172a, workers-ee16; exactly 3 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-28c0c636033f): P-d3ed1.", "id": "target-e611c06d6c67", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d3ed1, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "workers", "form": "not-all-of", "frame": "S-28c0c636033f", "predicate_family": "workers-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-241096ebee07. The membership list is workers-36c8, workers-5c9a, workers-be16, workers-7582, workers-74a8, workers-2fd7; exactly 6 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are the entire named collection. none-of(S-241096ebee07): P-d3ed1.", "answer": "Exactly k=0", "english": "Frozen record S-241096ebee07. The membership list is workers-36c8, workers-5c9a, workers-be16, workers-7582, workers-74a8, workers-2fd7; exactly 6 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are the entire named collection. none-of(S-241096ebee07): P-d3ed1.", "id": "target-d1e10f616f4e", "options": [ "Exactly k=6", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d3ed1, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "workers", "form": "none-of", "frame": "S-241096ebee07", "predicate_family": "workers-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-241096ebee07. The membership list is workers-36c8, workers-5c9a, workers-be16, workers-7582, workers-74a8, workers-2fd7; exactly 6 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are the entire named collection. not-all-of(S-241096ebee07): P-d3ed1.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-241096ebee07. The membership list is workers-36c8, workers-5c9a, workers-be16, workers-7582, workers-74a8, workers-2fd7; exactly 6 distinct workers, unchanged throughout this report. P-d3ed1 names the property \"can reach the coordinator\". These listed members are the entire named collection. not-all-of(S-241096ebee07): P-d3ed1.", "id": "target-aa6efeb45586", "options": [ "Exactly k=6", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d3ed1, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "workers", "form": "not-all-of", "frame": "S-241096ebee07", "predicate_family": "workers-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-8892221e33f5. The membership list is workers-5cbb, workers-97cd, workers-89b2; exactly 3 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are the entire named collection. none-of(S-8892221e33f5): P-8ba9d.", "answer": "Exactly k=0", "english": "Frozen record S-8892221e33f5. The membership list is workers-5cbb, workers-97cd, workers-89b2; exactly 3 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are the entire named collection. none-of(S-8892221e33f5): P-8ba9d.", "id": "target-d38ffc3614cb", "options": [ "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8ba9d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "workers", "form": "none-of", "frame": "S-8892221e33f5", "predicate_family": "workers-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-8892221e33f5. The membership list is workers-5cbb, workers-97cd, workers-89b2; exactly 3 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are the entire named collection. not-all-of(S-8892221e33f5): P-8ba9d.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-8892221e33f5. The membership list is workers-5cbb, workers-97cd, workers-89b2; exactly 3 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are the entire named collection. not-all-of(S-8892221e33f5): P-8ba9d.", "id": "target-e6b84b1584b7", "options": [ "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8ba9d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "workers", "form": "not-all-of", "frame": "S-8892221e33f5", "predicate_family": "workers-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-4ab1423fe3ab. The membership list is workers-ba97, workers-54dd, workers-9b6e, workers-a0fb, workers-2789, workers-61cb; exactly 6 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-4ab1423fe3ab): P-8ba9d.", "answer": "Exactly k=0", "english": "Frozen record S-4ab1423fe3ab. The membership list is workers-ba97, workers-54dd, workers-9b6e, workers-a0fb, workers-2789, workers-61cb; exactly 6 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-4ab1423fe3ab): P-8ba9d.", "id": "target-584ff6527add", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8ba9d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "workers", "form": "none-of", "frame": "S-4ab1423fe3ab", "predicate_family": "workers-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-4ab1423fe3ab. The membership list is workers-ba97, workers-54dd, workers-9b6e, workers-a0fb, workers-2789, workers-61cb; exactly 6 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-4ab1423fe3ab): P-8ba9d.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-4ab1423fe3ab. The membership list is workers-ba97, workers-54dd, workers-9b6e, workers-a0fb, workers-2789, workers-61cb; exactly 6 distinct workers, unchanged throughout this report. P-8ba9d names the property \"uploaded the final output\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-4ab1423fe3ab): P-8ba9d.", "id": "target-b4b336e2d1da", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Exactly k=6", "Any integer k from 1 through 5", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8ba9d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "workers", "form": "not-all-of", "frame": "S-4ab1423fe3ab", "predicate_family": "workers-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-ef174bb9d42b. The membership list is regions-28e6, regions-5dbb, regions-15dd; exactly 3 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-ef174bb9d42b): P-86b10.", "answer": "Exactly k=0", "english": "Frozen record S-ef174bb9d42b. The membership list is regions-28e6, regions-5dbb, regions-15dd; exactly 3 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-ef174bb9d42b): P-86b10.", "id": "target-defaf74880a1", "options": [ "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-86b10, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "regions", "form": "none-of", "frame": "S-ef174bb9d42b", "predicate_family": "regions-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-ef174bb9d42b. The membership list is regions-28e6, regions-5dbb, regions-15dd; exactly 3 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-ef174bb9d42b): P-86b10.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-ef174bb9d42b. The membership list is regions-28e6, regions-5dbb, regions-15dd; exactly 3 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-ef174bb9d42b): P-86b10.", "id": "target-c8716f582d4f", "options": [ "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-86b10, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "regions", "form": "not-all-of", "frame": "S-ef174bb9d42b", "predicate_family": "regions-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-6fb0b5582a0d. The membership list is regions-c1d1, regions-5aad, regions-3c5b, regions-acd0, regions-00f1, regions-8464; exactly 6 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are the entire named collection. none-of(S-6fb0b5582a0d): P-86b10.", "answer": "Exactly k=0", "english": "Frozen record S-6fb0b5582a0d. The membership list is regions-c1d1, regions-5aad, regions-3c5b, regions-acd0, regions-00f1, regions-8464; exactly 6 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are the entire named collection. none-of(S-6fb0b5582a0d): P-86b10.", "id": "target-2eab59ce42cd", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6", "Exactly k=0", "Any integer k from 1 through 5", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-86b10, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "regions", "form": "none-of", "frame": "S-6fb0b5582a0d", "predicate_family": "regions-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-6fb0b5582a0d. The membership list is regions-c1d1, regions-5aad, regions-3c5b, regions-acd0, regions-00f1, regions-8464; exactly 6 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are the entire named collection. not-all-of(S-6fb0b5582a0d): P-86b10.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-6fb0b5582a0d. The membership list is regions-c1d1, regions-5aad, regions-3c5b, regions-acd0, regions-00f1, regions-8464; exactly 6 distinct regions, unchanged throughout this report. P-86b10 names the property \"reports an intact index\". These listed members are the entire named collection. not-all-of(S-6fb0b5582a0d): P-86b10.", "id": "target-acb339c2db85", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6", "Exactly k=0", "Any integer k from 1 through 5", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-86b10, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "regions", "form": "not-all-of", "frame": "S-6fb0b5582a0d", "predicate_family": "regions-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-401e20c9d893. The membership list is regions-ad6d, regions-b2f2, regions-842e; exactly 3 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are the entire named collection. none-of(S-401e20c9d893): P-4b58a.", "answer": "Exactly k=0", "english": "Frozen record S-401e20c9d893. The membership list is regions-ad6d, regions-b2f2, regions-842e; exactly 3 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are the entire named collection. none-of(S-401e20c9d893): P-4b58a.", "id": "target-4b795b80ab3a", "options": [ "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-4b58a, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "regions", "form": "none-of", "frame": "S-401e20c9d893", "predicate_family": "regions-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-401e20c9d893. The membership list is regions-ad6d, regions-b2f2, regions-842e; exactly 3 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are the entire named collection. not-all-of(S-401e20c9d893): P-4b58a.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-401e20c9d893. The membership list is regions-ad6d, regions-b2f2, regions-842e; exactly 3 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are the entire named collection. not-all-of(S-401e20c9d893): P-4b58a.", "id": "target-fac752566e4f", "options": [ "Any integer k from 1 through 2", "Exactly k=0", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-4b58a, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "regions", "form": "not-all-of", "frame": "S-401e20c9d893", "predicate_family": "regions-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-dc6824c09ad2. The membership list is regions-3f7e, regions-c23f, regions-02cc, regions-5b5f, regions-c9d4, regions-39b8; exactly 6 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-dc6824c09ad2): P-4b58a.", "answer": "Exactly k=0", "english": "Frozen record S-dc6824c09ad2. The membership list is regions-3f7e, regions-c23f, regions-02cc, regions-5b5f, regions-c9d4, regions-39b8; exactly 6 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-dc6824c09ad2): P-4b58a.", "id": "target-808f7dd871cc", "options": [ "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-4b58a, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "regions", "form": "none-of", "frame": "S-dc6824c09ad2", "predicate_family": "regions-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-dc6824c09ad2. The membership list is regions-3f7e, regions-c23f, regions-02cc, regions-5b5f, regions-c9d4, regions-39b8; exactly 6 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-dc6824c09ad2): P-4b58a.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-dc6824c09ad2. The membership list is regions-3f7e, regions-c23f, regions-02cc, regions-5b5f, regions-c9d4, regions-39b8; exactly 6 distinct regions, unchanged throughout this report. P-4b58a names the property \"can serve a fresh read\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-dc6824c09ad2): P-4b58a.", "id": "target-b2d39675e09a", "options": [ "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5", "Exactly k=6", "Any integer k from 0 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-4b58a, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "regions", "form": "not-all-of", "frame": "S-dc6824c09ad2", "predicate_family": "regions-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-5116726c28b0. The membership list is regions-72c3, regions-92de, regions-0ebe; exactly 3 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-5116726c28b0): P-37f1c.", "answer": "Exactly k=0", "english": "Frozen record S-5116726c28b0. The membership list is regions-72c3, regions-92de, regions-0ebe; exactly 3 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-5116726c28b0): P-37f1c.", "id": "target-5c129ae6bc58", "options": [ "Any integer k from 1 through 2", "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-37f1c, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "regions", "form": "none-of", "frame": "S-5116726c28b0", "predicate_family": "regions-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-5116726c28b0. The membership list is regions-72c3, regions-92de, regions-0ebe; exactly 3 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-5116726c28b0): P-37f1c.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-5116726c28b0. The membership list is regions-72c3, regions-92de, regions-0ebe; exactly 3 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-5116726c28b0): P-37f1c.", "id": "target-b000c9791be7", "options": [ "Any integer k from 1 through 2", "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-37f1c, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "regions", "form": "not-all-of", "frame": "S-5116726c28b0", "predicate_family": "regions-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-88f46d0c84be. The membership list is regions-a46b, regions-0a7a, regions-0553, regions-ea31, regions-445c, regions-f344; exactly 6 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are the entire named collection. none-of(S-88f46d0c84be): P-37f1c.", "answer": "Exactly k=0", "english": "Frozen record S-88f46d0c84be. The membership list is regions-a46b, regions-0a7a, regions-0553, regions-ea31, regions-445c, regions-f344; exactly 6 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are the entire named collection. none-of(S-88f46d0c84be): P-37f1c.", "id": "target-54ba3f3e8399", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5", "Exactly k=0", "Any integer k from 1 through 5", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-37f1c, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "regions", "form": "none-of", "frame": "S-88f46d0c84be", "predicate_family": "regions-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-88f46d0c84be. The membership list is regions-a46b, regions-0a7a, regions-0553, regions-ea31, regions-445c, regions-f344; exactly 6 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are the entire named collection. not-all-of(S-88f46d0c84be): P-37f1c.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-88f46d0c84be. The membership list is regions-a46b, regions-0a7a, regions-0553, regions-ea31, regions-445c, regions-f344; exactly 6 distinct regions, unchanged throughout this report. P-37f1c names the property \"has received the update\". These listed members are the entire named collection. not-all-of(S-88f46d0c84be): P-37f1c.", "id": "target-9b7aa8d545d1", "options": [ "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 0 through 5", "Exactly k=0", "Any integer k from 1 through 5", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-37f1c, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "regions", "form": "not-all-of", "frame": "S-88f46d0c84be", "predicate_family": "regions-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-fc488977d073. The membership list is regions-0106, regions-90d1, regions-c37f; exactly 3 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are the entire named collection. none-of(S-fc488977d073): P-a4bdc.", "answer": "Exactly k=0", "english": "Frozen record S-fc488977d073. The membership list is regions-0106, regions-90d1, regions-c37f; exactly 3 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are the entire named collection. none-of(S-fc488977d073): P-a4bdc.", "id": "target-d24ca4f1d616", "options": [ "Any integer k from 0 through 2", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a4bdc, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "regions", "form": "none-of", "frame": "S-fc488977d073", "predicate_family": "regions-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-fc488977d073. The membership list is regions-0106, regions-90d1, regions-c37f; exactly 3 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are the entire named collection. not-all-of(S-fc488977d073): P-a4bdc.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-fc488977d073. The membership list is regions-0106, regions-90d1, regions-c37f; exactly 3 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are the entire named collection. not-all-of(S-fc488977d073): P-a4bdc.", "id": "target-361f9db8bc7d", "options": [ "Any integer k from 0 through 2", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a4bdc, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "regions", "form": "not-all-of", "frame": "S-fc488977d073", "predicate_family": "regions-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-447dbfe76933. The membership list is regions-6c52, regions-060a, regions-b406, regions-1579, regions-5ed5, regions-b5ee; exactly 6 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-447dbfe76933): P-a4bdc.", "answer": "Exactly k=0", "english": "Frozen record S-447dbfe76933. The membership list is regions-6c52, regions-060a, regions-b406, regions-1579, regions-5ed5, regions-b5ee; exactly 6 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-447dbfe76933): P-a4bdc.", "id": "target-0308ed984186", "options": [ "Exactly k=0", "Exactly k=6", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a4bdc, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "regions", "form": "none-of", "frame": "S-447dbfe76933", "predicate_family": "regions-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-447dbfe76933. The membership list is regions-6c52, regions-060a, regions-b406, regions-1579, regions-5ed5, regions-b5ee; exactly 6 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-447dbfe76933): P-a4bdc.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-447dbfe76933. The membership list is regions-6c52, regions-060a, regions-b406, regions-1579, regions-5ed5, regions-b5ee; exactly 6 distinct regions, unchanged throughout this report. P-a4bdc names the property \"meets the latency target\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-447dbfe76933): P-a4bdc.", "id": "target-ce74f3389422", "options": [ "Exactly k=0", "Exactly k=6", "Any integer k from 0 through 5", "Any integer k from 1 through 5", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-a4bdc, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "regions", "form": "not-all-of", "frame": "S-447dbfe76933", "predicate_family": "regions-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-f7caa1865bb6. The membership list is people-2bc5, people-62f9, people-7cbf; exactly 3 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-f7caa1865bb6): P-b6c1f.", "answer": "Exactly k=0", "english": "Frozen record S-f7caa1865bb6. The membership list is people-2bc5, people-62f9, people-7cbf; exactly 3 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-f7caa1865bb6): P-b6c1f.", "id": "target-8725124c3b69", "options": [ "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=0", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b6c1f, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "people", "form": "none-of", "frame": "S-f7caa1865bb6", "predicate_family": "people-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-f7caa1865bb6. The membership list is people-2bc5, people-62f9, people-7cbf; exactly 3 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-f7caa1865bb6): P-b6c1f.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-f7caa1865bb6. The membership list is people-2bc5, people-62f9, people-7cbf; exactly 3 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-f7caa1865bb6): P-b6c1f.", "id": "target-c2496388d5fe", "options": [ "Any integer k from 1 through 2", "Any integer k from 0 through 2", "Exactly k=0", "Exactly k=3", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b6c1f, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "people", "form": "not-all-of", "frame": "S-f7caa1865bb6", "predicate_family": "people-0", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-103aa369eb97. The membership list is people-f1af, people-6556, people-78ae, people-831d, people-f5f4, people-fa6b; exactly 6 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are the entire named collection. none-of(S-103aa369eb97): P-b6c1f.", "answer": "Exactly k=0", "english": "Frozen record S-103aa369eb97. The membership list is people-f1af, people-6556, people-78ae, people-831d, people-f5f4, people-fa6b; exactly 6 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are the entire named collection. none-of(S-103aa369eb97): P-b6c1f.", "id": "target-0ddc30a8d402", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b6c1f, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "people", "form": "none-of", "frame": "S-103aa369eb97", "predicate_family": "people-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-103aa369eb97. The membership list is people-f1af, people-6556, people-78ae, people-831d, people-f5f4, people-fa6b; exactly 6 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are the entire named collection. not-all-of(S-103aa369eb97): P-b6c1f.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-103aa369eb97. The membership list is people-f1af, people-6556, people-78ae, people-831d, people-f5f4, people-fa6b; exactly 6 distinct people, unchanged throughout this report. P-b6c1f names the property \"has booked a seat\". These listed members are the entire named collection. not-all-of(S-103aa369eb97): P-b6c1f.", "id": "target-4bd33d032ca7", "options": [ "Any integer k from 0 through 5", "Exactly k=6", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-b6c1f, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "people", "form": "not-all-of", "frame": "S-103aa369eb97", "predicate_family": "people-0", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-d6ee8f570645. The membership list is people-5972, people-9f80, people-4410; exactly 3 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are the entire named collection. none-of(S-d6ee8f570645): P-2220d.", "answer": "Exactly k=0", "english": "Frozen record S-d6ee8f570645. The membership list is people-5972, people-9f80, people-4410; exactly 3 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are the entire named collection. none-of(S-d6ee8f570645): P-2220d.", "id": "target-ef191cfcbd39", "options": [ "Any integer k from 0 through 2", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2220d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "people", "form": "none-of", "frame": "S-d6ee8f570645", "predicate_family": "people-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-d6ee8f570645. The membership list is people-5972, people-9f80, people-4410; exactly 3 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are the entire named collection. not-all-of(S-d6ee8f570645): P-2220d.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-d6ee8f570645. The membership list is people-5972, people-9f80, people-4410; exactly 3 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are the entire named collection. not-all-of(S-d6ee8f570645): P-2220d.", "id": "target-d008f8695a34", "options": [ "Any integer k from 0 through 2", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Exactly k=3" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2220d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "people", "form": "not-all-of", "frame": "S-d6ee8f570645", "predicate_family": "people-1", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-4bee389baf02. The membership list is people-54ec, people-b364, people-442c, people-4e74, people-e623, people-bae7; exactly 6 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-4bee389baf02): P-2220d.", "answer": "Exactly k=0", "english": "Frozen record S-4bee389baf02. The membership list is people-54ec, people-b364, people-442c, people-4e74, people-e623, people-bae7; exactly 6 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-4bee389baf02): P-2220d.", "id": "target-e5a6f33e75e9", "options": [ "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 0 through 5", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2220d, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "people", "form": "none-of", "frame": "S-4bee389baf02", "predicate_family": "people-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-4bee389baf02. The membership list is people-54ec, people-b364, people-442c, people-4e74, people-e623, people-bae7; exactly 6 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-4bee389baf02): P-2220d.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-4bee389baf02. The membership list is people-54ec, people-b364, people-442c, people-4e74, people-e623, people-bae7; exactly 6 distinct people, unchanged throughout this report. P-2220d names the property \"returned the consent form\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-4bee389baf02): P-2220d.", "id": "target-d2cfbe700923", "options": [ "Exactly k=6", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=0", "Any integer k from 0 through 5", "Any integer k from 1 through 5" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-2220d, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "people", "form": "not-all-of", "frame": "S-4bee389baf02", "predicate_family": "people-1", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-8b243bbd0021. The membership list is people-9376, people-c815, people-581c; exactly 3 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-8b243bbd0021): P-8847b.", "answer": "Exactly k=0", "english": "Frozen record S-8b243bbd0021. The membership list is people-9376, people-c815, people-581c; exactly 3 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-8b243bbd0021): P-8847b.", "id": "target-36f2ee76c6c6", "options": [ "Exactly k=3", "Exactly k=0", "Any integer k from 1 through 2", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8847b, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "people", "form": "none-of", "frame": "S-8b243bbd0021", "predicate_family": "people-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-8b243bbd0021. The membership list is people-9376, people-c815, people-581c; exactly 3 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-8b243bbd0021): P-8847b.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-8b243bbd0021. The membership list is people-9376, people-c815, people-581c; exactly 3 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-8b243bbd0021): P-8847b.", "id": "target-ea93ef12fb51", "options": [ "Exactly k=3", "Exactly k=0", "Any integer k from 1 through 2", "Any integer k from 0 through 2", "The quantified claim is invalid or its set cannot be resolved" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8847b, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "people", "form": "not-all-of", "frame": "S-8b243bbd0021", "predicate_family": "people-2", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-f70e49edaf88. The membership list is people-e2b3, people-3c0a, people-9b47, people-328d, people-b2d4, people-0d74; exactly 6 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are the entire named collection. none-of(S-f70e49edaf88): P-8847b.", "answer": "Exactly k=0", "english": "Frozen record S-f70e49edaf88. The membership list is people-e2b3, people-3c0a, people-9b47, people-328d, people-b2d4, people-0d74; exactly 6 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are the entire named collection. none-of(S-f70e49edaf88): P-8847b.", "id": "target-72d8dc019ddf", "options": [ "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8847b, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "people", "form": "none-of", "frame": "S-f70e49edaf88", "predicate_family": "people-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-f70e49edaf88. The membership list is people-e2b3, people-3c0a, people-9b47, people-328d, people-b2d4, people-0d74; exactly 6 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are the entire named collection. not-all-of(S-f70e49edaf88): P-8847b.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-f70e49edaf88. The membership list is people-e2b3, people-3c0a, people-9b47, people-328d, people-b2d4, people-0d74; exactly 6 distinct people, unchanged throughout this report. P-8847b names the property \"has a current entry pass\". These listed members are the entire named collection. not-all-of(S-f70e49edaf88): P-8847b.", "id": "target-4c7a7b72f295", "options": [ "Any integer k from 0 through 5", "Any integer k from 1 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-8847b, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "people", "form": "not-all-of", "frame": "S-f70e49edaf88", "predicate_family": "people-2", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-1c672c3aa124. The membership list is people-09bf, people-c737, people-1602; exactly 3 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are the entire named collection. none-of(S-1c672c3aa124): P-d782f.", "answer": "Exactly k=0", "english": "Frozen record S-1c672c3aa124. The membership list is people-09bf, people-c737, people-1602; exactly 3 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are the entire named collection. none-of(S-1c672c3aa124): P-d782f.", "id": "target-803829a39b9e", "options": [ "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d782f, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "whole", "domain": "people", "form": "none-of", "frame": "S-1c672c3aa124", "predicate_family": "people-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-1c672c3aa124. The membership list is people-09bf, people-c737, people-1602; exactly 3 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are the entire named collection. not-all-of(S-1c672c3aa124): P-d782f.", "answer": "Any integer k from 0 through 2", "english": "Frozen record S-1c672c3aa124. The membership list is people-09bf, people-c737, people-1602; exactly 3 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are the entire named collection. not-all-of(S-1c672c3aa124): P-d782f.", "id": "target-2835bbe7e595", "options": [ "Exactly k=3", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Any integer k from 1 through 2", "Any integer k from 0 through 2" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d782f, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "whole", "domain": "people", "form": "not-all-of", "frame": "S-1c672c3aa124", "predicate_family": "people-3", "probe": "interval", "set_size": 3 } }, { "ainglish": "Frozen record S-851cae93014b. The membership list is people-8497, people-9773, people-ab78, people-43c1, people-6811, people-8c72; exactly 6 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-851cae93014b): P-d782f.", "answer": "Exactly k=0", "english": "Frozen record S-851cae93014b. The membership list is people-8497, people-9773, people-ab78, people-43c1, people-6811, people-8c72; exactly 6 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are a sample from a larger collection; no statement covers the unlisted members. none-of(S-851cae93014b): P-d782f.", "id": "target-e27fb674d3dc", "options": [ "Any integer k from 1 through 5", "Any integer k from 0 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d782f, does it permit?", "settlement_stratum": "none-of", "strata": { "coverage": "part", "domain": "people", "form": "none-of", "frame": "S-851cae93014b", "predicate_family": "people-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "Frozen record S-851cae93014b. The membership list is people-8497, people-9773, people-ab78, people-43c1, people-6811, people-8c72; exactly 6 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-851cae93014b): P-d782f.", "answer": "Any integer k from 0 through 5", "english": "Frozen record S-851cae93014b. The membership list is people-8497, people-9773, people-ab78, people-43c1, people-6811, people-8c72; exactly 6 distinct people, unchanged throughout this report. P-d782f names the property \"attended the briefing\". These listed members are a sample from a larger collection; no statement covers the unlisted members. not-all-of(S-851cae93014b): P-d782f.", "id": "target-48859d8b5b0f", "options": [ "Any integer k from 1 through 5", "Any integer k from 0 through 5", "Exactly k=0", "The quantified claim is invalid or its set cannot be resolved", "Exactly k=6" ], "question": "Taking the report as a claim, which values of k, the number of listed members meeting P-d782f, does it permit?", "settlement_stratum": "not-all-of", "strata": { "coverage": "part", "domain": "people", "form": "not-all-of", "frame": "S-851cae93014b", "predicate_family": "people-3", "probe": "interval", "set_size": 6 } }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-17, explicitly excluding Desk-Jasper-51.", "answer": "Desk-Orchid-17", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-17 and Desk-Jasper-51.", "id": "control-00", "options": [ "Both desks", "The assignment has not been resolved", "Desk-Jasper-51", "Desk-Orchid-17" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-18, explicitly excluding Desk-Jasper-52.", "answer": "Desk-Orchid-18", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-18 and Desk-Jasper-52.", "id": "control-01", "options": [ "Desk-Jasper-52", "Desk-Orchid-18", "The assignment has not been resolved", "Both desks" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-19, explicitly excluding Desk-Jasper-53.", "answer": "Desk-Orchid-19", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-19 and Desk-Jasper-53.", "id": "control-02", "options": [ "Desk-Orchid-19", "Both desks", "Desk-Jasper-53", "The assignment has not been resolved" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-20, explicitly excluding Desk-Jasper-54.", "answer": "Desk-Orchid-20", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-20 and Desk-Jasper-54.", "id": "control-03", "options": [ "Desk-Orchid-20", "The assignment has not been resolved", "Both desks", "Desk-Jasper-54" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-21, explicitly excluding Desk-Jasper-55.", "answer": "Desk-Orchid-21", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-21 and Desk-Jasper-55.", "id": "control-04", "options": [ "Both desks", "Desk-Jasper-55", "The assignment has not been resolved", "Desk-Orchid-21" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-22, explicitly excluding Desk-Jasper-56.", "answer": "Desk-Orchid-22", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-22 and Desk-Jasper-56.", "id": "control-05", "options": [ "The assignment has not been resolved", "Desk-Orchid-22", "Desk-Jasper-56", "Both desks" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-23, explicitly excluding Desk-Jasper-57.", "answer": "Desk-Orchid-23", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-23 and Desk-Jasper-57.", "id": "control-06", "options": [ "Desk-Orchid-23", "The assignment has not been resolved", "Desk-Jasper-57", "Both desks" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-24, explicitly excluding Desk-Jasper-58.", "answer": "Desk-Orchid-24", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-24 and Desk-Jasper-58.", "id": "control-07", "options": [ "The assignment has not been resolved", "Desk-Orchid-24", "Both desks", "Desk-Jasper-58" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-25, explicitly excluding Desk-Jasper-59.", "answer": "Desk-Orchid-25", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-25 and Desk-Jasper-59.", "id": "control-08", "options": [ "Both desks", "The assignment has not been resolved", "Desk-Jasper-59", "Desk-Orchid-25" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-26, explicitly excluding Desk-Jasper-60.", "answer": "Desk-Orchid-26", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-26 and Desk-Jasper-60.", "id": "control-09", "options": [ "Desk-Orchid-26", "The assignment has not been resolved", "Both desks", "Desk-Jasper-60" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-27, explicitly excluding Desk-Jasper-61.", "answer": "Desk-Orchid-27", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-27 and Desk-Jasper-61.", "id": "control-10", "options": [ "The assignment has not been resolved", "Desk-Orchid-27", "Both desks", "Desk-Jasper-61" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-28, explicitly excluding Desk-Jasper-62.", "answer": "Desk-Orchid-28", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-28 and Desk-Jasper-62.", "id": "control-11", "options": [ "Both desks", "Desk-Orchid-28", "Desk-Jasper-62", "The assignment has not been resolved" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-29, explicitly excluding Desk-Jasper-63.", "answer": "Desk-Orchid-29", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-29 and Desk-Jasper-63.", "id": "control-12", "options": [ "Desk-Jasper-63", "Desk-Orchid-29", "The assignment has not been resolved", "Both desks" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-30, explicitly excluding Desk-Jasper-64.", "answer": "Desk-Orchid-30", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-30 and Desk-Jasper-64.", "id": "control-13", "options": [ "Desk-Jasper-64", "Both desks", "The assignment has not been resolved", "Desk-Orchid-30" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-31, explicitly excluding Desk-Jasper-65.", "answer": "Desk-Orchid-31", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-31 and Desk-Jasper-65.", "id": "control-14", "options": [ "Desk-Jasper-65", "Both desks", "The assignment has not been resolved", "Desk-Orchid-31" ], "question": "Which desk may now be written into the completed delivery-owner field?" }, { "ainglish": "The routing record assigns delivery ownership to Desk-Orchid-32, explicitly excluding Desk-Jasper-66.", "answer": "Desk-Orchid-32", "calibration": true, "calibration_construct": "delivery-owner-record", "calibration_scope": "target-independent", "english": "The routing record leaves the delivery owner unresolved between Desk-Orchid-32 and Desk-Jasper-66.", "id": "control-15", "options": [ "Desk-Orchid-32", "Desk-Jasper-66", "Both desks", "The assignment has not been resolved" ], "question": "Which desk may now be written into the completed delivery-owner field?" } ]