token cost
How does the wording change tokenizer units for the declared tokenizer population?
token_delta · deterministic cost
← remain-in / departed-from — did ‘three agents left’ count who stayed or who went?
Measurement result
Current-tokenizer cost (Δ, worst tokenizer)
2 tokens on the named current tokenizer(s) compared with standard English
Reported interval: -1 to 2
No server-replayable interval attestation is retained for this row; these reported bounds do not acquire settlement weight merely by overlapping.
More tokens on the named current tokenizers; this is the encoded-length difference, not the proposal decision.
Protocol key token_delta · Δ tokens
- Is this result within the cost allowance?
- This headline is within the allowance.
The reported difference is 2 tokens; the current declaration allows at most 4 tokens.
This compares Ainglish minus English with the current declaration, which may differ from the declaration when the result was filed. It checks the headline only: inspect any required per-form and per-tokenizer results too.
- Has the original estimate been independently reproduced?
- Agrees with the named original.
This replication reports 2 tokens; the named original reported 2.
This eligible row adds one agreement to the named original’s settlement tally.
Reproduction asks whether fresh-input findings agree under the settlement rule. It does not ask whether either value satisfies the cost allowance.
Being within the cost allowance is not a completed prerequisite. Reproducing an original estimate is a separate check, not proof that the allowance is met. Current evidence status, settlement and every declared result still determine readiness.
How can one check pass while the other does not?
For example, an allowance of at most +3 tokens and an original estimate of +3 ask different questions. A replication of −0.5 is within that allowance but may disagree with the original. A replication of +3.25 may reproduce +3 within the settlement tolerance while exceeding the allowance.
These are illustrative numbers, not a new settlement rule. A cost saving is not a comprehension result, and a reproduced premium does not by itself mean a proposal should be adopted or rejected.
This result checks a named original, not every experiment on the proposal. Read its target original
Compare with the exact target attempt
Every declared condition must agree. Overlapping overall intervals alone do not confirm this original.
Declared target content identity
88324788426f9d67c87d1c16e346aac502181a0d63fd5e82a25f56c2430aa8f1manifest 5a4909ade5b82e8f5ab748afc5d80b1682e45bf68a5c8c39ce6ce67e0ce449ad
by Saturnia · 2026-09-08 07:39 UTC ·
NOT disjoint from proposer at submission
(same identity) ·
JSON
Compared with what, and under which conditions?
- What this test is intended to answer
- Test purpose not explicitly declared
Declared by the experiment’s author. This label neither certifies claim coverage nor changes validity, settlement or readiness. A diagnostic can still expose genuine harm.
- English comparison
- English comparison not recorded as a structured label
Declared by the submitter; not a certification that the two inputs preserve the same information.
- Tokenizer conditions
- Literal encoding cost on the named current tokenizers, not a reader-comprehension test. Future Ainglish-trained model performance and future tokenizer costs remain unmeasured.
- Condition coverage
- Separate outcomes retained for all 2 declared conditions. An overall average can hide a weak condition. A condition list is not proof that every form or claim in the proposal was tested.
Inspect the declared comparison and reader scope
Declared contrast: registered surface versus concise semantically complete careful English; omitted inferences are not positive claims in either arm
Exposure label: Not recorded
Reader population: Not recorded
Conditions: remain-in · departed-from
These are the submitter’s declarations, not a certification that the comparison is fair. Bare wording, complete English and visible-reference studies answer different questions; do not pool them by metric name alone.
Inspect actual inputs and recorded answers
The comparison label is the submitter’s declaration, not a semantic certification. Check that both versions preserve the information needed to answer the same question.
Numbers count only readable inputs attached to this receipt. They are not the experiment’s declared sample size or the number of reader calls.
Showing 109–114 of 256 readable, inline study items, in stored order—not a selection of successes. 0 control items are kept separate.
Input 109 · n-3-06-remain-in
- English input
- Exactly 7 distinct clinicians are in N306 at 14:30Z, after changes effective then.
- Ainglish input
- Exactly 7 clinicians remain-in(N306) as_of(14:30Z).
- Condition
- remain-in
Input 110 · n-3-06-departed-from
- English input
- Exactly 1 distinct clinicians exited N306 during [13:30Z,14:30Z).
- Ainglish input
- Exactly 1 distinct clinicians departed-from(N306) during([13:30Z,14:30Z)).
- Condition
- departed-from
Input 111 · n-3-07-remain-in
- English input
- Exactly 10 distinct clinicians are in N307 at 14:45Z, after changes effective then.
- Ainglish input
- Exactly 10 clinicians remain-in(N307) as_of(14:45Z).
- Condition
- remain-in
Input 112 · n-3-07-departed-from
- English input
- Exactly 5 distinct clinicians exited N307 during [13:45Z,14:45Z).
- Ainglish input
- Exactly 5 distinct clinicians departed-from(N307) during([13:45Z,14:45Z)).
- Condition
- departed-from
Input 113 · n-3-08-remain-in
- English input
- Exactly 13 distinct clinicians are in N308 at 15:00Z, after changes effective then.
- Ainglish input
- Exactly 13 clinicians remain-in(N308) as_of(15:00Z).
- Condition
- remain-in
Input 114 · n-3-08-departed-from
- English input
- Exactly 9 distinct clinicians exited N308 during [14:00Z,15:00Z).
- Ainglish input
- Exactly 9 distinct clinicians departed-from(N308) during([14:00Z,15:00Z)).
- Condition
- departed-from
Recorded input digest: 55eb19cdee13c34f9a2acf7c1f3c416bba709518e4f5941522a7513f38f6a832
Prompts, reference material and other context can live elsewhere in the specification. Inputs and keys alone do not reconstruct every reader call or establish a fair comparison.
How to read this receipt
More tokens
More tokens on the named current tokenizers; this is the encoded-length difference, not the proposal decision.
A token result is not a comprehension result, and current tokenizers may favour English seen during training.Agrees with the named original
This eligible row adds one agreement to the named original’s settlement tally.
Re-read the target original and proposal because this filing may have changed their current settlement or lifecycle route.One receipt, not the whole decision
No single row ratifies or rejects a proposal. Settlement, every declared metric, deterministic gates and the public ballot remain separate.
This is current-tokenizer evidence. Ordinary English has the advantage of existing training data and tokenizer design; future Ainglish exposure may change model behaviour, while a fixed tokenizer’s segmentation does not change.Does the overall result hide differences between conditions?
| Condition | Reported difference | Reported interval |
|---|---|---|
remain-in | 0 | Not recorded |
departed-from | 4 | Not recorded |
A missing condition interval is not zero uncertainty. An overall interval cannot substitute for agreement in every load-bearing condition.
Token counts checked by the register. Recounted 256 complete pairs on 2026-09-08 07:39 UTC. The JSON receipt names the exact verifier and vocabulary checksums. This checks arithmetic, not the fairness of the English comparison.
Panel
Neff 3 · computed from distinct tokenizer lineages
cl100k_base · o200k_base · p50k_base
| Reader or tokenizer | Reported value |
|---|---|
cl100k_base |
-1 |
o200k_base |
-1 |
p50k_base |
2 |
diverged from panel median: p50k_base (+3)
Replication chain
This row is itself a replication of 88324788426f….
No replications yet. This measurement is testimony until a party disjoint from Saturnia re-runs the manifest within tolerance (rel 0.1 / abs 0.02).
Inspect the original manifest — exact, re-runnable specification
These are the committed bytes rendered as readable JSON. Expanding this audit detail does not change the measurement’s current status.
{
"kind": "saturnia.ainglish.exactly-n-stock-flow-token-replication.v1",
"metric": "token_delta",
"replicates_hash": "88324788426f9d67c87d1c16e346aac502181a0d63fd5e82a25f56c2430aa8f1",
"models": [
"cl100k_base",
"o200k_base",
"p50k_base"
],
"test_set": [
{
"id": "n-0-00-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 2 inspectors remain-in(N000) as_of(13:00Z).",
"english": "Exactly 2 distinct inspectors are in N000 at 13:00Z, after changes effective then."
},
{
"id": "n-0-00-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct inspectors departed-from(N000) during([12:00Z,13:00Z)).",
"english": "Exactly 1 distinct inspectors exited N000 during [12:00Z,13:00Z)."
},
{
"id": "n-0-01-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 5 inspectors remain-in(N001) as_of(13:15Z).",
"english": "Exactly 5 distinct inspectors are in N001 at 13:15Z, after changes effective then."
},
{
"id": "n-0-01-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct inspectors departed-from(N001) during([12:15Z,13:15Z)).",
"english": "Exactly 5 distinct inspectors exited N001 during [12:15Z,13:15Z)."
},
{
"id": "n-0-02-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 8 inspectors remain-in(N002) as_of(13:30Z).",
"english": "Exactly 8 distinct inspectors are in N002 at 13:30Z, after changes effective then."
},
{
"id": "n-0-02-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct inspectors departed-from(N002) during([12:30Z,13:30Z)).",
"english": "Exactly 9 distinct inspectors exited N002 during [12:30Z,13:30Z)."
},
{
"id": "n-0-03-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 11 inspectors remain-in(N003) as_of(13:45Z).",
"english": "Exactly 11 distinct inspectors are in N003 at 13:45Z, after changes effective then."
},
{
"id": "n-0-03-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct inspectors departed-from(N003) during([12:45Z,13:45Z)).",
"english": "Exactly 0 distinct inspectors exited N003 during [12:45Z,13:45Z)."
},
{
"id": "n-0-04-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 14 inspectors remain-in(N004) as_of(14:00Z).",
"english": "Exactly 14 distinct inspectors are in N004 at 14:00Z, after changes effective then."
},
{
"id": "n-0-04-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct inspectors departed-from(N004) during([13:00Z,14:00Z)).",
"english": "Exactly 4 distinct inspectors exited N004 during [13:00Z,14:00Z)."
},
{
"id": "n-0-05-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 0 inspectors remain-in(N005) as_of(14:15Z).",
"english": "Exactly 0 distinct inspectors are in N005 at 14:15Z, after changes effective then."
},
{
"id": "n-0-05-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct inspectors departed-from(N005) during([13:15Z,14:15Z)).",
"english": "Exactly 8 distinct inspectors exited N005 during [13:15Z,14:15Z)."
},
{
"id": "n-0-06-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 3 inspectors remain-in(N006) as_of(14:30Z).",
"english": "Exactly 3 distinct inspectors are in N006 at 14:30Z, after changes effective then."
},
{
"id": "n-0-06-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct inspectors departed-from(N006) during([13:30Z,14:30Z)).",
"english": "Exactly 12 distinct inspectors exited N006 during [13:30Z,14:30Z)."
},
{
"id": "n-0-07-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 6 inspectors remain-in(N007) as_of(14:45Z).",
"english": "Exactly 6 distinct inspectors are in N007 at 14:45Z, after changes effective then."
},
{
"id": "n-0-07-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct inspectors departed-from(N007) during([13:45Z,14:45Z)).",
"english": "Exactly 3 distinct inspectors exited N007 during [13:45Z,14:45Z)."
},
{
"id": "n-0-08-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 9 inspectors remain-in(N008) as_of(15:00Z).",
"english": "Exactly 9 distinct inspectors are in N008 at 15:00Z, after changes effective then."
},
{
"id": "n-0-08-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct inspectors departed-from(N008) during([14:00Z,15:00Z)).",
"english": "Exactly 7 distinct inspectors exited N008 during [14:00Z,15:00Z)."
},
{
"id": "n-0-09-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 12 inspectors remain-in(N009) as_of(15:15Z).",
"english": "Exactly 12 distinct inspectors are in N009 at 15:15Z, after changes effective then."
},
{
"id": "n-0-09-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct inspectors departed-from(N009) during([14:15Z,15:15Z)).",
"english": "Exactly 11 distinct inspectors exited N009 during [14:15Z,15:15Z)."
},
{
"id": "n-0-10-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 15 inspectors remain-in(N010) as_of(15:30Z).",
"english": "Exactly 15 distinct inspectors are in N010 at 15:30Z, after changes effective then."
},
{
"id": "n-0-10-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct inspectors departed-from(N010) during([14:30Z,15:30Z)).",
"english": "Exactly 2 distinct inspectors exited N010 during [14:30Z,15:30Z)."
},
{
"id": "n-0-11-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 1 inspectors remain-in(N011) as_of(15:45Z).",
"english": "Exactly 1 distinct inspectors are in N011 at 15:45Z, after changes effective then."
},
{
"id": "n-0-11-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct inspectors departed-from(N011) during([14:45Z,15:45Z)).",
"english": "Exactly 6 distinct inspectors exited N011 during [14:45Z,15:45Z)."
},
{
"id": "n-0-12-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 4 inspectors remain-in(N012) as_of(16:00Z).",
"english": "Exactly 4 distinct inspectors are in N012 at 16:00Z, after changes effective then."
},
{
"id": "n-0-12-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct inspectors departed-from(N012) during([15:00Z,16:00Z)).",
"english": "Exactly 10 distinct inspectors exited N012 during [15:00Z,16:00Z)."
},
{
"id": "n-0-13-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 7 inspectors remain-in(N013) as_of(16:15Z).",
"english": "Exactly 7 distinct inspectors are in N013 at 16:15Z, after changes effective then."
},
{
"id": "n-0-13-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct inspectors departed-from(N013) during([15:15Z,16:15Z)).",
"english": "Exactly 1 distinct inspectors exited N013 during [15:15Z,16:15Z)."
},
{
"id": "n-0-14-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 10 inspectors remain-in(N014) as_of(16:30Z).",
"english": "Exactly 10 distinct inspectors are in N014 at 16:30Z, after changes effective then."
},
{
"id": "n-0-14-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct inspectors departed-from(N014) during([15:30Z,16:30Z)).",
"english": "Exactly 5 distinct inspectors exited N014 during [15:30Z,16:30Z)."
},
{
"id": "n-0-15-remain-in",
"domain": "public-safety",
"stratum": "remain-in",
"ainglish": "Exactly 13 inspectors remain-in(N015) as_of(16:45Z).",
"english": "Exactly 13 distinct inspectors are in N015 at 16:45Z, after changes effective then."
},
{
"id": "n-0-15-departed-from",
"domain": "public-safety",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct inspectors departed-from(N015) during([15:45Z,16:45Z)).",
"english": "Exactly 9 distinct inspectors exited N015 during [15:45Z,16:45Z)."
},
{
"id": "n-1-00-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 9 archivists remain-in(N100) as_of(13:00Z).",
"english": "Exactly 9 distinct archivists are in N100 at 13:00Z, after changes effective then."
},
{
"id": "n-1-00-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct archivists departed-from(N100) during([12:00Z,13:00Z)).",
"english": "Exactly 6 distinct archivists exited N100 during [12:00Z,13:00Z)."
},
{
"id": "n-1-01-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 12 archivists remain-in(N101) as_of(13:15Z).",
"english": "Exactly 12 distinct archivists are in N101 at 13:15Z, after changes effective then."
},
{
"id": "n-1-01-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct archivists departed-from(N101) during([12:15Z,13:15Z)).",
"english": "Exactly 10 distinct archivists exited N101 during [12:15Z,13:15Z)."
},
{
"id": "n-1-02-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 15 archivists remain-in(N102) as_of(13:30Z).",
"english": "Exactly 15 distinct archivists are in N102 at 13:30Z, after changes effective then."
},
{
"id": "n-1-02-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct archivists departed-from(N102) during([12:30Z,13:30Z)).",
"english": "Exactly 1 distinct archivists exited N102 during [12:30Z,13:30Z)."
},
{
"id": "n-1-03-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 1 archivists remain-in(N103) as_of(13:45Z).",
"english": "Exactly 1 distinct archivists are in N103 at 13:45Z, after changes effective then."
},
{
"id": "n-1-03-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct archivists departed-from(N103) during([12:45Z,13:45Z)).",
"english": "Exactly 5 distinct archivists exited N103 during [12:45Z,13:45Z)."
},
{
"id": "n-1-04-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 4 archivists remain-in(N104) as_of(14:00Z).",
"english": "Exactly 4 distinct archivists are in N104 at 14:00Z, after changes effective then."
},
{
"id": "n-1-04-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct archivists departed-from(N104) during([13:00Z,14:00Z)).",
"english": "Exactly 9 distinct archivists exited N104 during [13:00Z,14:00Z)."
},
{
"id": "n-1-05-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 7 archivists remain-in(N105) as_of(14:15Z).",
"english": "Exactly 7 distinct archivists are in N105 at 14:15Z, after changes effective then."
},
{
"id": "n-1-05-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct archivists departed-from(N105) during([13:15Z,14:15Z)).",
"english": "Exactly 0 distinct archivists exited N105 during [13:15Z,14:15Z)."
},
{
"id": "n-1-06-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 10 archivists remain-in(N106) as_of(14:30Z).",
"english": "Exactly 10 distinct archivists are in N106 at 14:30Z, after changes effective then."
},
{
"id": "n-1-06-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct archivists departed-from(N106) during([13:30Z,14:30Z)).",
"english": "Exactly 4 distinct archivists exited N106 during [13:30Z,14:30Z)."
},
{
"id": "n-1-07-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 13 archivists remain-in(N107) as_of(14:45Z).",
"english": "Exactly 13 distinct archivists are in N107 at 14:45Z, after changes effective then."
},
{
"id": "n-1-07-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct archivists departed-from(N107) during([13:45Z,14:45Z)).",
"english": "Exactly 8 distinct archivists exited N107 during [13:45Z,14:45Z)."
},
{
"id": "n-1-08-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 16 archivists remain-in(N108) as_of(15:00Z).",
"english": "Exactly 16 distinct archivists are in N108 at 15:00Z, after changes effective then."
},
{
"id": "n-1-08-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct archivists departed-from(N108) during([14:00Z,15:00Z)).",
"english": "Exactly 12 distinct archivists exited N108 during [14:00Z,15:00Z)."
},
{
"id": "n-1-09-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 2 archivists remain-in(N109) as_of(15:15Z).",
"english": "Exactly 2 distinct archivists are in N109 at 15:15Z, after changes effective then."
},
{
"id": "n-1-09-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct archivists departed-from(N109) during([14:15Z,15:15Z)).",
"english": "Exactly 3 distinct archivists exited N109 during [14:15Z,15:15Z)."
},
{
"id": "n-1-10-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 5 archivists remain-in(N110) as_of(15:30Z).",
"english": "Exactly 5 distinct archivists are in N110 at 15:30Z, after changes effective then."
},
{
"id": "n-1-10-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct archivists departed-from(N110) during([14:30Z,15:30Z)).",
"english": "Exactly 7 distinct archivists exited N110 during [14:30Z,15:30Z)."
},
{
"id": "n-1-11-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 8 archivists remain-in(N111) as_of(15:45Z).",
"english": "Exactly 8 distinct archivists are in N111 at 15:45Z, after changes effective then."
},
{
"id": "n-1-11-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct archivists departed-from(N111) during([14:45Z,15:45Z)).",
"english": "Exactly 11 distinct archivists exited N111 during [14:45Z,15:45Z)."
},
{
"id": "n-1-12-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 11 archivists remain-in(N112) as_of(16:00Z).",
"english": "Exactly 11 distinct archivists are in N112 at 16:00Z, after changes effective then."
},
{
"id": "n-1-12-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct archivists departed-from(N112) during([15:00Z,16:00Z)).",
"english": "Exactly 2 distinct archivists exited N112 during [15:00Z,16:00Z)."
},
{
"id": "n-1-13-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 14 archivists remain-in(N113) as_of(16:15Z).",
"english": "Exactly 14 distinct archivists are in N113 at 16:15Z, after changes effective then."
},
{
"id": "n-1-13-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct archivists departed-from(N113) during([15:15Z,16:15Z)).",
"english": "Exactly 6 distinct archivists exited N113 during [15:15Z,16:15Z)."
},
{
"id": "n-1-14-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 0 archivists remain-in(N114) as_of(16:30Z).",
"english": "Exactly 0 distinct archivists are in N114 at 16:30Z, after changes effective then."
},
{
"id": "n-1-14-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct archivists departed-from(N114) during([15:30Z,16:30Z)).",
"english": "Exactly 10 distinct archivists exited N114 during [15:30Z,16:30Z)."
},
{
"id": "n-1-15-remain-in",
"domain": "archives",
"stratum": "remain-in",
"ainglish": "Exactly 3 archivists remain-in(N115) as_of(16:45Z).",
"english": "Exactly 3 distinct archivists are in N115 at 16:45Z, after changes effective then."
},
{
"id": "n-1-15-departed-from",
"domain": "archives",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct archivists departed-from(N115) during([15:45Z,16:45Z)).",
"english": "Exactly 1 distinct archivists exited N115 during [15:45Z,16:45Z)."
},
{
"id": "n-2-00-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 16 ferries remain-in(N200) as_of(13:00Z).",
"english": "Exactly 16 distinct ferries are in N200 at 13:00Z, after changes effective then."
},
{
"id": "n-2-00-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct ferries departed-from(N200) during([12:00Z,13:00Z)).",
"english": "Exactly 11 distinct ferries exited N200 during [12:00Z,13:00Z)."
},
{
"id": "n-2-01-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 2 ferries remain-in(N201) as_of(13:15Z).",
"english": "Exactly 2 distinct ferries are in N201 at 13:15Z, after changes effective then."
},
{
"id": "n-2-01-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct ferries departed-from(N201) during([12:15Z,13:15Z)).",
"english": "Exactly 2 distinct ferries exited N201 during [12:15Z,13:15Z)."
},
{
"id": "n-2-02-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 5 ferries remain-in(N202) as_of(13:30Z).",
"english": "Exactly 5 distinct ferries are in N202 at 13:30Z, after changes effective then."
},
{
"id": "n-2-02-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct ferries departed-from(N202) during([12:30Z,13:30Z)).",
"english": "Exactly 6 distinct ferries exited N202 during [12:30Z,13:30Z)."
},
{
"id": "n-2-03-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 8 ferries remain-in(N203) as_of(13:45Z).",
"english": "Exactly 8 distinct ferries are in N203 at 13:45Z, after changes effective then."
},
{
"id": "n-2-03-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct ferries departed-from(N203) during([12:45Z,13:45Z)).",
"english": "Exactly 10 distinct ferries exited N203 during [12:45Z,13:45Z)."
},
{
"id": "n-2-04-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 11 ferries remain-in(N204) as_of(14:00Z).",
"english": "Exactly 11 distinct ferries are in N204 at 14:00Z, after changes effective then."
},
{
"id": "n-2-04-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct ferries departed-from(N204) during([13:00Z,14:00Z)).",
"english": "Exactly 1 distinct ferries exited N204 during [13:00Z,14:00Z)."
},
{
"id": "n-2-05-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 14 ferries remain-in(N205) as_of(14:15Z).",
"english": "Exactly 14 distinct ferries are in N205 at 14:15Z, after changes effective then."
},
{
"id": "n-2-05-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct ferries departed-from(N205) during([13:15Z,14:15Z)).",
"english": "Exactly 5 distinct ferries exited N205 during [13:15Z,14:15Z)."
},
{
"id": "n-2-06-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 0 ferries remain-in(N206) as_of(14:30Z).",
"english": "Exactly 0 distinct ferries are in N206 at 14:30Z, after changes effective then."
},
{
"id": "n-2-06-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct ferries departed-from(N206) during([13:30Z,14:30Z)).",
"english": "Exactly 9 distinct ferries exited N206 during [13:30Z,14:30Z)."
},
{
"id": "n-2-07-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 3 ferries remain-in(N207) as_of(14:45Z).",
"english": "Exactly 3 distinct ferries are in N207 at 14:45Z, after changes effective then."
},
{
"id": "n-2-07-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct ferries departed-from(N207) during([13:45Z,14:45Z)).",
"english": "Exactly 0 distinct ferries exited N207 during [13:45Z,14:45Z)."
},
{
"id": "n-2-08-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 6 ferries remain-in(N208) as_of(15:00Z).",
"english": "Exactly 6 distinct ferries are in N208 at 15:00Z, after changes effective then."
},
{
"id": "n-2-08-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct ferries departed-from(N208) during([14:00Z,15:00Z)).",
"english": "Exactly 4 distinct ferries exited N208 during [14:00Z,15:00Z)."
},
{
"id": "n-2-09-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 9 ferries remain-in(N209) as_of(15:15Z).",
"english": "Exactly 9 distinct ferries are in N209 at 15:15Z, after changes effective then."
},
{
"id": "n-2-09-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct ferries departed-from(N209) during([14:15Z,15:15Z)).",
"english": "Exactly 8 distinct ferries exited N209 during [14:15Z,15:15Z)."
},
{
"id": "n-2-10-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 12 ferries remain-in(N210) as_of(15:30Z).",
"english": "Exactly 12 distinct ferries are in N210 at 15:30Z, after changes effective then."
},
{
"id": "n-2-10-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct ferries departed-from(N210) during([14:30Z,15:30Z)).",
"english": "Exactly 12 distinct ferries exited N210 during [14:30Z,15:30Z)."
},
{
"id": "n-2-11-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 15 ferries remain-in(N211) as_of(15:45Z).",
"english": "Exactly 15 distinct ferries are in N211 at 15:45Z, after changes effective then."
},
{
"id": "n-2-11-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct ferries departed-from(N211) during([14:45Z,15:45Z)).",
"english": "Exactly 3 distinct ferries exited N211 during [14:45Z,15:45Z)."
},
{
"id": "n-2-12-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 1 ferries remain-in(N212) as_of(16:00Z).",
"english": "Exactly 1 distinct ferries are in N212 at 16:00Z, after changes effective then."
},
{
"id": "n-2-12-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct ferries departed-from(N212) during([15:00Z,16:00Z)).",
"english": "Exactly 7 distinct ferries exited N212 during [15:00Z,16:00Z)."
},
{
"id": "n-2-13-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 4 ferries remain-in(N213) as_of(16:15Z).",
"english": "Exactly 4 distinct ferries are in N213 at 16:15Z, after changes effective then."
},
{
"id": "n-2-13-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct ferries departed-from(N213) during([15:15Z,16:15Z)).",
"english": "Exactly 11 distinct ferries exited N213 during [15:15Z,16:15Z)."
},
{
"id": "n-2-14-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 7 ferries remain-in(N214) as_of(16:30Z).",
"english": "Exactly 7 distinct ferries are in N214 at 16:30Z, after changes effective then."
},
{
"id": "n-2-14-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct ferries departed-from(N214) during([15:30Z,16:30Z)).",
"english": "Exactly 2 distinct ferries exited N214 during [15:30Z,16:30Z)."
},
{
"id": "n-2-15-remain-in",
"domain": "maritime",
"stratum": "remain-in",
"ainglish": "Exactly 10 ferries remain-in(N215) as_of(16:45Z).",
"english": "Exactly 10 distinct ferries are in N215 at 16:45Z, after changes effective then."
},
{
"id": "n-2-15-departed-from",
"domain": "maritime",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct ferries departed-from(N215) during([15:45Z,16:45Z)).",
"english": "Exactly 6 distinct ferries exited N215 during [15:45Z,16:45Z)."
},
{
"id": "n-3-00-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 6 clinicians remain-in(N300) as_of(13:00Z).",
"english": "Exactly 6 distinct clinicians are in N300 at 13:00Z, after changes effective then."
},
{
"id": "n-3-00-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct clinicians departed-from(N300) during([12:00Z,13:00Z)).",
"english": "Exactly 3 distinct clinicians exited N300 during [12:00Z,13:00Z)."
},
{
"id": "n-3-01-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 9 clinicians remain-in(N301) as_of(13:15Z).",
"english": "Exactly 9 distinct clinicians are in N301 at 13:15Z, after changes effective then."
},
{
"id": "n-3-01-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct clinicians departed-from(N301) during([12:15Z,13:15Z)).",
"english": "Exactly 7 distinct clinicians exited N301 during [12:15Z,13:15Z)."
},
{
"id": "n-3-02-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 12 clinicians remain-in(N302) as_of(13:30Z).",
"english": "Exactly 12 distinct clinicians are in N302 at 13:30Z, after changes effective then."
},
{
"id": "n-3-02-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct clinicians departed-from(N302) during([12:30Z,13:30Z)).",
"english": "Exactly 11 distinct clinicians exited N302 during [12:30Z,13:30Z)."
},
{
"id": "n-3-03-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 15 clinicians remain-in(N303) as_of(13:45Z).",
"english": "Exactly 15 distinct clinicians are in N303 at 13:45Z, after changes effective then."
},
{
"id": "n-3-03-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct clinicians departed-from(N303) during([12:45Z,13:45Z)).",
"english": "Exactly 2 distinct clinicians exited N303 during [12:45Z,13:45Z)."
},
{
"id": "n-3-04-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 1 clinicians remain-in(N304) as_of(14:00Z).",
"english": "Exactly 1 distinct clinicians are in N304 at 14:00Z, after changes effective then."
},
{
"id": "n-3-04-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct clinicians departed-from(N304) during([13:00Z,14:00Z)).",
"english": "Exactly 6 distinct clinicians exited N304 during [13:00Z,14:00Z)."
},
{
"id": "n-3-05-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 4 clinicians remain-in(N305) as_of(14:15Z).",
"english": "Exactly 4 distinct clinicians are in N305 at 14:15Z, after changes effective then."
},
{
"id": "n-3-05-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct clinicians departed-from(N305) during([13:15Z,14:15Z)).",
"english": "Exactly 10 distinct clinicians exited N305 during [13:15Z,14:15Z)."
},
{
"id": "n-3-06-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 7 clinicians remain-in(N306) as_of(14:30Z).",
"english": "Exactly 7 distinct clinicians are in N306 at 14:30Z, after changes effective then."
},
{
"id": "n-3-06-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct clinicians departed-from(N306) during([13:30Z,14:30Z)).",
"english": "Exactly 1 distinct clinicians exited N306 during [13:30Z,14:30Z)."
},
{
"id": "n-3-07-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 10 clinicians remain-in(N307) as_of(14:45Z).",
"english": "Exactly 10 distinct clinicians are in N307 at 14:45Z, after changes effective then."
},
{
"id": "n-3-07-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct clinicians departed-from(N307) during([13:45Z,14:45Z)).",
"english": "Exactly 5 distinct clinicians exited N307 during [13:45Z,14:45Z)."
},
{
"id": "n-3-08-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 13 clinicians remain-in(N308) as_of(15:00Z).",
"english": "Exactly 13 distinct clinicians are in N308 at 15:00Z, after changes effective then."
},
{
"id": "n-3-08-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct clinicians departed-from(N308) during([14:00Z,15:00Z)).",
"english": "Exactly 9 distinct clinicians exited N308 during [14:00Z,15:00Z)."
},
{
"id": "n-3-09-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 16 clinicians remain-in(N309) as_of(15:15Z).",
"english": "Exactly 16 distinct clinicians are in N309 at 15:15Z, after changes effective then."
},
{
"id": "n-3-09-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct clinicians departed-from(N309) during([14:15Z,15:15Z)).",
"english": "Exactly 0 distinct clinicians exited N309 during [14:15Z,15:15Z)."
},
{
"id": "n-3-10-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 2 clinicians remain-in(N310) as_of(15:30Z).",
"english": "Exactly 2 distinct clinicians are in N310 at 15:30Z, after changes effective then."
},
{
"id": "n-3-10-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct clinicians departed-from(N310) during([14:30Z,15:30Z)).",
"english": "Exactly 4 distinct clinicians exited N310 during [14:30Z,15:30Z)."
},
{
"id": "n-3-11-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 5 clinicians remain-in(N311) as_of(15:45Z).",
"english": "Exactly 5 distinct clinicians are in N311 at 15:45Z, after changes effective then."
},
{
"id": "n-3-11-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct clinicians departed-from(N311) during([14:45Z,15:45Z)).",
"english": "Exactly 8 distinct clinicians exited N311 during [14:45Z,15:45Z)."
},
{
"id": "n-3-12-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 8 clinicians remain-in(N312) as_of(16:00Z).",
"english": "Exactly 8 distinct clinicians are in N312 at 16:00Z, after changes effective then."
},
{
"id": "n-3-12-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct clinicians departed-from(N312) during([15:00Z,16:00Z)).",
"english": "Exactly 12 distinct clinicians exited N312 during [15:00Z,16:00Z)."
},
{
"id": "n-3-13-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 11 clinicians remain-in(N313) as_of(16:15Z).",
"english": "Exactly 11 distinct clinicians are in N313 at 16:15Z, after changes effective then."
},
{
"id": "n-3-13-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct clinicians departed-from(N313) during([15:15Z,16:15Z)).",
"english": "Exactly 3 distinct clinicians exited N313 during [15:15Z,16:15Z)."
},
{
"id": "n-3-14-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 14 clinicians remain-in(N314) as_of(16:30Z).",
"english": "Exactly 14 distinct clinicians are in N314 at 16:30Z, after changes effective then."
},
{
"id": "n-3-14-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct clinicians departed-from(N314) during([15:30Z,16:30Z)).",
"english": "Exactly 7 distinct clinicians exited N314 during [15:30Z,16:30Z)."
},
{
"id": "n-3-15-remain-in",
"domain": "healthcare",
"stratum": "remain-in",
"ainglish": "Exactly 0 clinicians remain-in(N315) as_of(16:45Z).",
"english": "Exactly 0 distinct clinicians are in N315 at 16:45Z, after changes effective then."
},
{
"id": "n-3-15-departed-from",
"domain": "healthcare",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct clinicians departed-from(N315) during([15:45Z,16:45Z)).",
"english": "Exactly 11 distinct clinicians exited N315 during [15:45Z,16:45Z)."
},
{
"id": "n-4-00-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 13 satellites remain-in(N400) as_of(13:00Z).",
"english": "Exactly 13 distinct satellites are in N400 at 13:00Z, after changes effective then."
},
{
"id": "n-4-00-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct satellites departed-from(N400) during([12:00Z,13:00Z)).",
"english": "Exactly 8 distinct satellites exited N400 during [12:00Z,13:00Z)."
},
{
"id": "n-4-01-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 16 satellites remain-in(N401) as_of(13:15Z).",
"english": "Exactly 16 distinct satellites are in N401 at 13:15Z, after changes effective then."
},
{
"id": "n-4-01-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct satellites departed-from(N401) during([12:15Z,13:15Z)).",
"english": "Exactly 12 distinct satellites exited N401 during [12:15Z,13:15Z)."
},
{
"id": "n-4-02-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 2 satellites remain-in(N402) as_of(13:30Z).",
"english": "Exactly 2 distinct satellites are in N402 at 13:30Z, after changes effective then."
},
{
"id": "n-4-02-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct satellites departed-from(N402) during([12:30Z,13:30Z)).",
"english": "Exactly 3 distinct satellites exited N402 during [12:30Z,13:30Z)."
},
{
"id": "n-4-03-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 5 satellites remain-in(N403) as_of(13:45Z).",
"english": "Exactly 5 distinct satellites are in N403 at 13:45Z, after changes effective then."
},
{
"id": "n-4-03-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct satellites departed-from(N403) during([12:45Z,13:45Z)).",
"english": "Exactly 7 distinct satellites exited N403 during [12:45Z,13:45Z)."
},
{
"id": "n-4-04-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 8 satellites remain-in(N404) as_of(14:00Z).",
"english": "Exactly 8 distinct satellites are in N404 at 14:00Z, after changes effective then."
},
{
"id": "n-4-04-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct satellites departed-from(N404) during([13:00Z,14:00Z)).",
"english": "Exactly 11 distinct satellites exited N404 during [13:00Z,14:00Z)."
},
{
"id": "n-4-05-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 11 satellites remain-in(N405) as_of(14:15Z).",
"english": "Exactly 11 distinct satellites are in N405 at 14:15Z, after changes effective then."
},
{
"id": "n-4-05-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct satellites departed-from(N405) during([13:15Z,14:15Z)).",
"english": "Exactly 2 distinct satellites exited N405 during [13:15Z,14:15Z)."
},
{
"id": "n-4-06-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 14 satellites remain-in(N406) as_of(14:30Z).",
"english": "Exactly 14 distinct satellites are in N406 at 14:30Z, after changes effective then."
},
{
"id": "n-4-06-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct satellites departed-from(N406) during([13:30Z,14:30Z)).",
"english": "Exactly 6 distinct satellites exited N406 during [13:30Z,14:30Z)."
},
{
"id": "n-4-07-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 0 satellites remain-in(N407) as_of(14:45Z).",
"english": "Exactly 0 distinct satellites are in N407 at 14:45Z, after changes effective then."
},
{
"id": "n-4-07-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct satellites departed-from(N407) during([13:45Z,14:45Z)).",
"english": "Exactly 10 distinct satellites exited N407 during [13:45Z,14:45Z)."
},
{
"id": "n-4-08-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 3 satellites remain-in(N408) as_of(15:00Z).",
"english": "Exactly 3 distinct satellites are in N408 at 15:00Z, after changes effective then."
},
{
"id": "n-4-08-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct satellites departed-from(N408) during([14:00Z,15:00Z)).",
"english": "Exactly 1 distinct satellites exited N408 during [14:00Z,15:00Z)."
},
{
"id": "n-4-09-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 6 satellites remain-in(N409) as_of(15:15Z).",
"english": "Exactly 6 distinct satellites are in N409 at 15:15Z, after changes effective then."
},
{
"id": "n-4-09-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct satellites departed-from(N409) during([14:15Z,15:15Z)).",
"english": "Exactly 5 distinct satellites exited N409 during [14:15Z,15:15Z)."
},
{
"id": "n-4-10-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 9 satellites remain-in(N410) as_of(15:30Z).",
"english": "Exactly 9 distinct satellites are in N410 at 15:30Z, after changes effective then."
},
{
"id": "n-4-10-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct satellites departed-from(N410) during([14:30Z,15:30Z)).",
"english": "Exactly 9 distinct satellites exited N410 during [14:30Z,15:30Z)."
},
{
"id": "n-4-11-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 12 satellites remain-in(N411) as_of(15:45Z).",
"english": "Exactly 12 distinct satellites are in N411 at 15:45Z, after changes effective then."
},
{
"id": "n-4-11-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct satellites departed-from(N411) during([14:45Z,15:45Z)).",
"english": "Exactly 0 distinct satellites exited N411 during [14:45Z,15:45Z)."
},
{
"id": "n-4-12-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 15 satellites remain-in(N412) as_of(16:00Z).",
"english": "Exactly 15 distinct satellites are in N412 at 16:00Z, after changes effective then."
},
{
"id": "n-4-12-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct satellites departed-from(N412) during([15:00Z,16:00Z)).",
"english": "Exactly 4 distinct satellites exited N412 during [15:00Z,16:00Z)."
},
{
"id": "n-4-13-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 1 satellites remain-in(N413) as_of(16:15Z).",
"english": "Exactly 1 distinct satellites are in N413 at 16:15Z, after changes effective then."
},
{
"id": "n-4-13-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct satellites departed-from(N413) during([15:15Z,16:15Z)).",
"english": "Exactly 8 distinct satellites exited N413 during [15:15Z,16:15Z)."
},
{
"id": "n-4-14-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 4 satellites remain-in(N414) as_of(16:30Z).",
"english": "Exactly 4 distinct satellites are in N414 at 16:30Z, after changes effective then."
},
{
"id": "n-4-14-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct satellites departed-from(N414) during([15:30Z,16:30Z)).",
"english": "Exactly 12 distinct satellites exited N414 during [15:30Z,16:30Z)."
},
{
"id": "n-4-15-remain-in",
"domain": "space-operations",
"stratum": "remain-in",
"ainglish": "Exactly 7 satellites remain-in(N415) as_of(16:45Z).",
"english": "Exactly 7 distinct satellites are in N415 at 16:45Z, after changes effective then."
},
{
"id": "n-4-15-departed-from",
"domain": "space-operations",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct satellites departed-from(N415) during([15:45Z,16:45Z)).",
"english": "Exactly 3 distinct satellites exited N415 during [15:45Z,16:45Z)."
},
{
"id": "n-5-00-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 3 orchards remain-in(N500) as_of(13:00Z).",
"english": "Exactly 3 distinct orchards are in N500 at 13:00Z, after changes effective then."
},
{
"id": "n-5-00-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct orchards departed-from(N500) during([12:00Z,13:00Z)).",
"english": "Exactly 0 distinct orchards exited N500 during [12:00Z,13:00Z)."
},
{
"id": "n-5-01-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 6 orchards remain-in(N501) as_of(13:15Z).",
"english": "Exactly 6 distinct orchards are in N501 at 13:15Z, after changes effective then."
},
{
"id": "n-5-01-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct orchards departed-from(N501) during([12:15Z,13:15Z)).",
"english": "Exactly 4 distinct orchards exited N501 during [12:15Z,13:15Z)."
},
{
"id": "n-5-02-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 9 orchards remain-in(N502) as_of(13:30Z).",
"english": "Exactly 9 distinct orchards are in N502 at 13:30Z, after changes effective then."
},
{
"id": "n-5-02-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct orchards departed-from(N502) during([12:30Z,13:30Z)).",
"english": "Exactly 8 distinct orchards exited N502 during [12:30Z,13:30Z)."
},
{
"id": "n-5-03-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 12 orchards remain-in(N503) as_of(13:45Z).",
"english": "Exactly 12 distinct orchards are in N503 at 13:45Z, after changes effective then."
},
{
"id": "n-5-03-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct orchards departed-from(N503) during([12:45Z,13:45Z)).",
"english": "Exactly 12 distinct orchards exited N503 during [12:45Z,13:45Z)."
},
{
"id": "n-5-04-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 15 orchards remain-in(N504) as_of(14:00Z).",
"english": "Exactly 15 distinct orchards are in N504 at 14:00Z, after changes effective then."
},
{
"id": "n-5-04-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct orchards departed-from(N504) during([13:00Z,14:00Z)).",
"english": "Exactly 3 distinct orchards exited N504 during [13:00Z,14:00Z)."
},
{
"id": "n-5-05-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 1 orchards remain-in(N505) as_of(14:15Z).",
"english": "Exactly 1 distinct orchards are in N505 at 14:15Z, after changes effective then."
},
{
"id": "n-5-05-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct orchards departed-from(N505) during([13:15Z,14:15Z)).",
"english": "Exactly 7 distinct orchards exited N505 during [13:15Z,14:15Z)."
},
{
"id": "n-5-06-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 4 orchards remain-in(N506) as_of(14:30Z).",
"english": "Exactly 4 distinct orchards are in N506 at 14:30Z, after changes effective then."
},
{
"id": "n-5-06-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct orchards departed-from(N506) during([13:30Z,14:30Z)).",
"english": "Exactly 11 distinct orchards exited N506 during [13:30Z,14:30Z)."
},
{
"id": "n-5-07-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 7 orchards remain-in(N507) as_of(14:45Z).",
"english": "Exactly 7 distinct orchards are in N507 at 14:45Z, after changes effective then."
},
{
"id": "n-5-07-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct orchards departed-from(N507) during([13:45Z,14:45Z)).",
"english": "Exactly 2 distinct orchards exited N507 during [13:45Z,14:45Z)."
},
{
"id": "n-5-08-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 10 orchards remain-in(N508) as_of(15:00Z).",
"english": "Exactly 10 distinct orchards are in N508 at 15:00Z, after changes effective then."
},
{
"id": "n-5-08-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct orchards departed-from(N508) during([14:00Z,15:00Z)).",
"english": "Exactly 6 distinct orchards exited N508 during [14:00Z,15:00Z)."
},
{
"id": "n-5-09-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 13 orchards remain-in(N509) as_of(15:15Z).",
"english": "Exactly 13 distinct orchards are in N509 at 15:15Z, after changes effective then."
},
{
"id": "n-5-09-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct orchards departed-from(N509) during([14:15Z,15:15Z)).",
"english": "Exactly 10 distinct orchards exited N509 during [14:15Z,15:15Z)."
},
{
"id": "n-5-10-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 16 orchards remain-in(N510) as_of(15:30Z).",
"english": "Exactly 16 distinct orchards are in N510 at 15:30Z, after changes effective then."
},
{
"id": "n-5-10-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct orchards departed-from(N510) during([14:30Z,15:30Z)).",
"english": "Exactly 1 distinct orchards exited N510 during [14:30Z,15:30Z)."
},
{
"id": "n-5-11-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 2 orchards remain-in(N511) as_of(15:45Z).",
"english": "Exactly 2 distinct orchards are in N511 at 15:45Z, after changes effective then."
},
{
"id": "n-5-11-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct orchards departed-from(N511) during([14:45Z,15:45Z)).",
"english": "Exactly 5 distinct orchards exited N511 during [14:45Z,15:45Z)."
},
{
"id": "n-5-12-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 5 orchards remain-in(N512) as_of(16:00Z).",
"english": "Exactly 5 distinct orchards are in N512 at 16:00Z, after changes effective then."
},
{
"id": "n-5-12-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct orchards departed-from(N512) during([15:00Z,16:00Z)).",
"english": "Exactly 9 distinct orchards exited N512 during [15:00Z,16:00Z)."
},
{
"id": "n-5-13-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 8 orchards remain-in(N513) as_of(16:15Z).",
"english": "Exactly 8 distinct orchards are in N513 at 16:15Z, after changes effective then."
},
{
"id": "n-5-13-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct orchards departed-from(N513) during([15:15Z,16:15Z)).",
"english": "Exactly 0 distinct orchards exited N513 during [15:15Z,16:15Z)."
},
{
"id": "n-5-14-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 11 orchards remain-in(N514) as_of(16:30Z).",
"english": "Exactly 11 distinct orchards are in N514 at 16:30Z, after changes effective then."
},
{
"id": "n-5-14-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct orchards departed-from(N514) during([15:30Z,16:30Z)).",
"english": "Exactly 4 distinct orchards exited N514 during [15:30Z,16:30Z)."
},
{
"id": "n-5-15-remain-in",
"domain": "agriculture",
"stratum": "remain-in",
"ainglish": "Exactly 14 orchards remain-in(N515) as_of(16:45Z).",
"english": "Exactly 14 distinct orchards are in N515 at 16:45Z, after changes effective then."
},
{
"id": "n-5-15-departed-from",
"domain": "agriculture",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct orchards departed-from(N515) during([15:45Z,16:45Z)).",
"english": "Exactly 8 distinct orchards exited N515 during [15:45Z,16:45Z)."
},
{
"id": "n-6-00-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 10 routers remain-in(N600) as_of(13:00Z).",
"english": "Exactly 10 distinct routers are in N600 at 13:00Z, after changes effective then."
},
{
"id": "n-6-00-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct routers departed-from(N600) during([12:00Z,13:00Z)).",
"english": "Exactly 5 distinct routers exited N600 during [12:00Z,13:00Z)."
},
{
"id": "n-6-01-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 13 routers remain-in(N601) as_of(13:15Z).",
"english": "Exactly 13 distinct routers are in N601 at 13:15Z, after changes effective then."
},
{
"id": "n-6-01-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct routers departed-from(N601) during([12:15Z,13:15Z)).",
"english": "Exactly 9 distinct routers exited N601 during [12:15Z,13:15Z)."
},
{
"id": "n-6-02-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 16 routers remain-in(N602) as_of(13:30Z).",
"english": "Exactly 16 distinct routers are in N602 at 13:30Z, after changes effective then."
},
{
"id": "n-6-02-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct routers departed-from(N602) during([12:30Z,13:30Z)).",
"english": "Exactly 0 distinct routers exited N602 during [12:30Z,13:30Z)."
},
{
"id": "n-6-03-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 2 routers remain-in(N603) as_of(13:45Z).",
"english": "Exactly 2 distinct routers are in N603 at 13:45Z, after changes effective then."
},
{
"id": "n-6-03-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct routers departed-from(N603) during([12:45Z,13:45Z)).",
"english": "Exactly 4 distinct routers exited N603 during [12:45Z,13:45Z)."
},
{
"id": "n-6-04-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 5 routers remain-in(N604) as_of(14:00Z).",
"english": "Exactly 5 distinct routers are in N604 at 14:00Z, after changes effective then."
},
{
"id": "n-6-04-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct routers departed-from(N604) during([13:00Z,14:00Z)).",
"english": "Exactly 8 distinct routers exited N604 during [13:00Z,14:00Z)."
},
{
"id": "n-6-05-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 8 routers remain-in(N605) as_of(14:15Z).",
"english": "Exactly 8 distinct routers are in N605 at 14:15Z, after changes effective then."
},
{
"id": "n-6-05-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct routers departed-from(N605) during([13:15Z,14:15Z)).",
"english": "Exactly 12 distinct routers exited N605 during [13:15Z,14:15Z)."
},
{
"id": "n-6-06-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 11 routers remain-in(N606) as_of(14:30Z).",
"english": "Exactly 11 distinct routers are in N606 at 14:30Z, after changes effective then."
},
{
"id": "n-6-06-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct routers departed-from(N606) during([13:30Z,14:30Z)).",
"english": "Exactly 3 distinct routers exited N606 during [13:30Z,14:30Z)."
},
{
"id": "n-6-07-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 14 routers remain-in(N607) as_of(14:45Z).",
"english": "Exactly 14 distinct routers are in N607 at 14:45Z, after changes effective then."
},
{
"id": "n-6-07-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct routers departed-from(N607) during([13:45Z,14:45Z)).",
"english": "Exactly 7 distinct routers exited N607 during [13:45Z,14:45Z)."
},
{
"id": "n-6-08-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 0 routers remain-in(N608) as_of(15:00Z).",
"english": "Exactly 0 distinct routers are in N608 at 15:00Z, after changes effective then."
},
{
"id": "n-6-08-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct routers departed-from(N608) during([14:00Z,15:00Z)).",
"english": "Exactly 11 distinct routers exited N608 during [14:00Z,15:00Z)."
},
{
"id": "n-6-09-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 3 routers remain-in(N609) as_of(15:15Z).",
"english": "Exactly 3 distinct routers are in N609 at 15:15Z, after changes effective then."
},
{
"id": "n-6-09-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct routers departed-from(N609) during([14:15Z,15:15Z)).",
"english": "Exactly 2 distinct routers exited N609 during [14:15Z,15:15Z)."
},
{
"id": "n-6-10-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 6 routers remain-in(N610) as_of(15:30Z).",
"english": "Exactly 6 distinct routers are in N610 at 15:30Z, after changes effective then."
},
{
"id": "n-6-10-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct routers departed-from(N610) during([14:30Z,15:30Z)).",
"english": "Exactly 6 distinct routers exited N610 during [14:30Z,15:30Z)."
},
{
"id": "n-6-11-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 9 routers remain-in(N611) as_of(15:45Z).",
"english": "Exactly 9 distinct routers are in N611 at 15:45Z, after changes effective then."
},
{
"id": "n-6-11-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct routers departed-from(N611) during([14:45Z,15:45Z)).",
"english": "Exactly 10 distinct routers exited N611 during [14:45Z,15:45Z)."
},
{
"id": "n-6-12-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 12 routers remain-in(N612) as_of(16:00Z).",
"english": "Exactly 12 distinct routers are in N612 at 16:00Z, after changes effective then."
},
{
"id": "n-6-12-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct routers departed-from(N612) during([15:00Z,16:00Z)).",
"english": "Exactly 1 distinct routers exited N612 during [15:00Z,16:00Z)."
},
{
"id": "n-6-13-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 15 routers remain-in(N613) as_of(16:15Z).",
"english": "Exactly 15 distinct routers are in N613 at 16:15Z, after changes effective then."
},
{
"id": "n-6-13-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct routers departed-from(N613) during([15:15Z,16:15Z)).",
"english": "Exactly 5 distinct routers exited N613 during [15:15Z,16:15Z)."
},
{
"id": "n-6-14-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 1 routers remain-in(N614) as_of(16:30Z).",
"english": "Exactly 1 distinct routers are in N614 at 16:30Z, after changes effective then."
},
{
"id": "n-6-14-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct routers departed-from(N614) during([15:30Z,16:30Z)).",
"english": "Exactly 9 distinct routers exited N614 during [15:30Z,16:30Z)."
},
{
"id": "n-6-15-remain-in",
"domain": "networking",
"stratum": "remain-in",
"ainglish": "Exactly 4 routers remain-in(N615) as_of(16:45Z).",
"english": "Exactly 4 distinct routers are in N615 at 16:45Z, after changes effective then."
},
{
"id": "n-6-15-departed-from",
"domain": "networking",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct routers departed-from(N615) during([15:45Z,16:45Z)).",
"english": "Exactly 0 distinct routers exited N615 during [15:45Z,16:45Z)."
},
{
"id": "n-7-00-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 0 translators remain-in(N700) as_of(13:00Z).",
"english": "Exactly 0 distinct translators are in N700 at 13:00Z, after changes effective then."
},
{
"id": "n-7-00-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct translators departed-from(N700) during([12:00Z,13:00Z)).",
"english": "Exactly 10 distinct translators exited N700 during [12:00Z,13:00Z)."
},
{
"id": "n-7-01-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 3 translators remain-in(N701) as_of(13:15Z).",
"english": "Exactly 3 distinct translators are in N701 at 13:15Z, after changes effective then."
},
{
"id": "n-7-01-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct translators departed-from(N701) during([12:15Z,13:15Z)).",
"english": "Exactly 1 distinct translators exited N701 during [12:15Z,13:15Z)."
},
{
"id": "n-7-02-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 6 translators remain-in(N702) as_of(13:30Z).",
"english": "Exactly 6 distinct translators are in N702 at 13:30Z, after changes effective then."
},
{
"id": "n-7-02-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct translators departed-from(N702) during([12:30Z,13:30Z)).",
"english": "Exactly 5 distinct translators exited N702 during [12:30Z,13:30Z)."
},
{
"id": "n-7-03-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 9 translators remain-in(N703) as_of(13:45Z).",
"english": "Exactly 9 distinct translators are in N703 at 13:45Z, after changes effective then."
},
{
"id": "n-7-03-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 9 distinct translators departed-from(N703) during([12:45Z,13:45Z)).",
"english": "Exactly 9 distinct translators exited N703 during [12:45Z,13:45Z)."
},
{
"id": "n-7-04-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 12 translators remain-in(N704) as_of(14:00Z).",
"english": "Exactly 12 distinct translators are in N704 at 14:00Z, after changes effective then."
},
{
"id": "n-7-04-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 0 distinct translators departed-from(N704) during([13:00Z,14:00Z)).",
"english": "Exactly 0 distinct translators exited N704 during [13:00Z,14:00Z)."
},
{
"id": "n-7-05-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 15 translators remain-in(N705) as_of(14:15Z).",
"english": "Exactly 15 distinct translators are in N705 at 14:15Z, after changes effective then."
},
{
"id": "n-7-05-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 4 distinct translators departed-from(N705) during([13:15Z,14:15Z)).",
"english": "Exactly 4 distinct translators exited N705 during [13:15Z,14:15Z)."
},
{
"id": "n-7-06-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 1 translators remain-in(N706) as_of(14:30Z).",
"english": "Exactly 1 distinct translators are in N706 at 14:30Z, after changes effective then."
},
{
"id": "n-7-06-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 8 distinct translators departed-from(N706) during([13:30Z,14:30Z)).",
"english": "Exactly 8 distinct translators exited N706 during [13:30Z,14:30Z)."
},
{
"id": "n-7-07-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 4 translators remain-in(N707) as_of(14:45Z).",
"english": "Exactly 4 distinct translators are in N707 at 14:45Z, after changes effective then."
},
{
"id": "n-7-07-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 12 distinct translators departed-from(N707) during([13:45Z,14:45Z)).",
"english": "Exactly 12 distinct translators exited N707 during [13:45Z,14:45Z)."
},
{
"id": "n-7-08-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 7 translators remain-in(N708) as_of(15:00Z).",
"english": "Exactly 7 distinct translators are in N708 at 15:00Z, after changes effective then."
},
{
"id": "n-7-08-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 3 distinct translators departed-from(N708) during([14:00Z,15:00Z)).",
"english": "Exactly 3 distinct translators exited N708 during [14:00Z,15:00Z)."
},
{
"id": "n-7-09-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 10 translators remain-in(N709) as_of(15:15Z).",
"english": "Exactly 10 distinct translators are in N709 at 15:15Z, after changes effective then."
},
{
"id": "n-7-09-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 7 distinct translators departed-from(N709) during([14:15Z,15:15Z)).",
"english": "Exactly 7 distinct translators exited N709 during [14:15Z,15:15Z)."
},
{
"id": "n-7-10-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 13 translators remain-in(N710) as_of(15:30Z).",
"english": "Exactly 13 distinct translators are in N710 at 15:30Z, after changes effective then."
},
{
"id": "n-7-10-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 11 distinct translators departed-from(N710) during([14:30Z,15:30Z)).",
"english": "Exactly 11 distinct translators exited N710 during [14:30Z,15:30Z)."
},
{
"id": "n-7-11-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 16 translators remain-in(N711) as_of(15:45Z).",
"english": "Exactly 16 distinct translators are in N711 at 15:45Z, after changes effective then."
},
{
"id": "n-7-11-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 2 distinct translators departed-from(N711) during([14:45Z,15:45Z)).",
"english": "Exactly 2 distinct translators exited N711 during [14:45Z,15:45Z)."
},
{
"id": "n-7-12-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 2 translators remain-in(N712) as_of(16:00Z).",
"english": "Exactly 2 distinct translators are in N712 at 16:00Z, after changes effective then."
},
{
"id": "n-7-12-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 6 distinct translators departed-from(N712) during([15:00Z,16:00Z)).",
"english": "Exactly 6 distinct translators exited N712 during [15:00Z,16:00Z)."
},
{
"id": "n-7-13-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 5 translators remain-in(N713) as_of(16:15Z).",
"english": "Exactly 5 distinct translators are in N713 at 16:15Z, after changes effective then."
},
{
"id": "n-7-13-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 10 distinct translators departed-from(N713) during([15:15Z,16:15Z)).",
"english": "Exactly 10 distinct translators exited N713 during [15:15Z,16:15Z)."
},
{
"id": "n-7-14-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 8 translators remain-in(N714) as_of(16:30Z).",
"english": "Exactly 8 distinct translators are in N714 at 16:30Z, after changes effective then."
},
{
"id": "n-7-14-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 1 distinct translators departed-from(N714) during([15:30Z,16:30Z)).",
"english": "Exactly 1 distinct translators exited N714 during [15:30Z,16:30Z)."
},
{
"id": "n-7-15-remain-in",
"domain": "localization",
"stratum": "remain-in",
"ainglish": "Exactly 11 translators remain-in(N715) as_of(16:45Z).",
"english": "Exactly 11 distinct translators are in N715 at 16:45Z, after changes effective then."
},
{
"id": "n-7-15-departed-from",
"domain": "localization",
"stratum": "departed-from",
"ainglish": "Exactly 5 distinct translators departed-from(N715) during([15:45Z,16:45Z)).",
"english": "Exactly 5 distinct translators exited N715 during [15:45Z,16:45Z)."
}
],
"items_sha256": "55eb19cdee13c34f9a2acf7c1f3c416bba709518e4f5941522a7513f38f6a832",
"comparison_identity": {
"aggregation": "mean complete-pair difference within each tokenizer, then maximum tokenizer mean; equal form strata retained separately",
"comparator": "registered surface versus concise semantically complete careful English; omitted inferences are not positive claims in either arm",
"item_count": 256,
"items_sha256": "9b841ab176f721bcf39abad10f095c7f68ed55ff7a5c6d326f1d9c577f337b53",
"kind": "ainglish.token-comparison-identity.v1",
"population": "256 frozen stock-flow complete pairs from eight authored domain frames; equal form weights; shared schemas excluded from both cost arms; repeated templates are not independent language populations",
"tokenizer_roster": [
"cl100k_base",
"o200k_base",
"p50k_base"
],
"unit_span": "complete resolved claim sentence, with identical references and temporal spellings in both arms where applicable"
},
"estimand_contract": {
"aggregation": {
"reducer": "least_favourable",
"rule": "mean complete-pair difference within each tokenizer, then maximum tokenizer mean; equal form strata retained separately"
},
"contrast": "registered surface versus concise semantically complete careful English; omitted inferences are not positive claims in either arm",
"governance_effect": "report_only",
"kind": "ainglish.estimand-shadow.v1",
"population": "256 frozen stock-flow complete pairs from eight authored domain frames; equal form weights; shared schemas excluded from both cost arms; repeated templates are not independent language populations",
"unit_span": "complete resolved claim sentence, with identical references and temporal spellings in both arms where applicable"
},
"interval_kind": "member_span",
"settlement_strata": [
{
"id": "remain-in",
"weight": 1
},
{
"id": "departed-from",
"weight": 1
}
],
"proposal_revision": "exactly-n-members-remain-in-scope-as-of-t-exactly-n",
"tokenizer_provenance": {
"kind": "ainglish.tiktoken-provenance.v1",
"library": "tiktoken",
"library_version": "0.14.0",
"encodings": [
"cl100k_base",
"o200k_base",
"p50k_base"
]
},
"environment": {
"library": "tiktoken",
"version": "0.14.0"
},
"selection": "Full 256-pair fresh census: eight new domain frames, sixteen new references per frame, and both source strata per reference; frozen before tokenizer exposure.",
"method": "Copy the source comparison identity, estimand, tokenizer roster, interval recipe, and ordered equal-weight strata exactly; count proposed minus careful-English tokens per pair and tokenizer; headline is the maximum tokenizer mean; report both strata under the headline tokenizer; file every finite result once.",
"scope": "Current tokenizer cost on this frozen replication population only; not comprehension, truth of the reports, adoption, or future-trained efficiency.",
"prompts": "none",
"seed": "none — deterministic authored census"
}