{
  "label": "Entirely constructed example; no actual event, user record or model output",
  "source": [
    {
      "id": "A1",
      "text": "Registration closes at 17:00 UTC on 12 May 2027."
    },
    {
      "id": "A2",
      "text": "A place is confirmed only after the coordinator sends a confirmation."
    },
    {
      "id": "A3",
      "text": "A draft form alone does not reserve a place."
    },
    {
      "id": "A4",
      "text": "Participants may bring one guest if they register that guest separately."
    },
    {
      "id": "A5",
      "text": "The venue has not confirmed step-free access."
    }
  ],
  "acceptable_rewrite": [
    {
      "id": "R1",
      "text": "Registration closes at 17:00 UTC on 12 May 2027."
    },
    {
      "id": "R2",
      "text": "Your place is confirmed only after the coordinator sends a confirmation."
    },
    {
      "id": "R3",
      "text": "A draft form by itself does not reserve a place."
    },
    {
      "id": "R4",
      "text": "You may bring one guest if you register that guest separately."
    },
    {
      "id": "R5",
      "text": "Step-free access remains unconfirmed by the venue."
    }
  ],
  "constructed_failed_rewrite": "Register by 12 May and your place is guaranteed. Bring your friends; the venue is accessible.",
  "invariants": [
    {
      "id": "F1",
      "source_ids": [
        "A1"
      ],
      "target_ids": [
        "R1"
      ],
      "must_keep": "17:00 UTC; 12 May 2027; registration closes"
    },
    {
      "id": "F2",
      "source_ids": [
        "A2"
      ],
      "target_ids": [
        "R2"
      ],
      "must_keep": "confirmation only after coordinator sends confirmation"
    },
    {
      "id": "F3",
      "source_ids": [
        "A3"
      ],
      "target_ids": [
        "R3"
      ],
      "must_keep": "draft form alone does not reserve"
    },
    {
      "id": "F4",
      "source_ids": [
        "A4"
      ],
      "target_ids": [
        "R4"
      ],
      "must_keep": "guest is permitted, not required"
    },
    {
      "id": "F5",
      "source_ids": [
        "A4"
      ],
      "target_ids": [
        "R4"
      ],
      "must_keep": "one guest"
    },
    {
      "id": "F6",
      "source_ids": [
        "A4"
      ],
      "target_ids": [
        "R4"
      ],
      "must_keep": "separate guest registration condition"
    },
    {
      "id": "F7",
      "source_ids": [
        "A5"
      ],
      "target_ids": [
        "R5"
      ],
      "must_keep": "step-free access is unconfirmed; not a yes/no access assessment"
    }
  ]
}