The rules

Test cases

25 minimal pairs. Each one names a rule, a before, an after, and the assertion that separates them.

Run against this engine

25Cases

9Decidable from text alone

15Need asserted facts

A case is decidable when the analyser can derive every fact the rule reads. The rest name semantic facts a caller must assert; they are reported, not guessed.

Rule test cases with before and after text
Id	Rule	Before	After	Assertion
TST-001	GRM-001	`The list of items are ready.`	`The list of items is ready.`	[object Object] The head subject is singular.
TST-002	GRM-005	`Maya told Priya that she had won.`	`Maya told Priya, “You won.”`	[object Object] The intended referent is made explicit; another intended meaning would require a different repair.
TST-003	GRM-018	`After reviewing the proposal, the price seemed high.`	`After reviewing the proposal, we thought the price seemed high.`	[object Object] The reviewer becomes the subject.
TST-004	PUN-002	`The server stopped, the queue kept growing.`	`The server stopped, and the queue kept growing.`	[object Object] Two independent clauses receive a valid boundary.
TST-005	PUN-005	`My brother who lives in Calgary called.`	`My brother, who lives in Calgary, called.`	[object Object] Use only when the speaker has one contextually identified brother; restrictiveness changes punctuation.
TST-006	SYN-005	`Select Delete if you no longer need the file.`	`If you no longer need the file, select Delete.`	[object Object] The condition appears before the potentially destructive action.
TST-007	SYN-010	`The implementation of the update was performed by the team.`	`The team implemented the update.`	[object Object] Actor and action become visible.
TST-008	STR-008	`Heading: More information; section: Reset your password.`	`Heading: Reset your password`	[object Object] The heading predicts the task.
TST-009	CLR-007	`We will reply soon.`	`We will reply within two business days.`	[object Object] A decision-relevant time becomes testable.
TST-010	CLR-014	`This treatment works.`	`In the cited trial, this treatment improved the measured outcome for the studied group.`	[object Object] Scope and evidence boundaries are restored.
TST-011	VOI-003	`The user should enter their email.`	`Enter your email.`	[object Object] The reader is addressed directly.
TST-012	NAR-005	`She entered the room, looked around, and left unchanged.`	`She entered to apologize; she left after discovering the letter was gone.`	[object Object] The scene changes goal-relevant knowledge and plan.
TST-013	ARG-008	`People who carry umbrellas are near rain; umbrellas cause rain.`	`Umbrella use is associated with rain because people carry umbrellas when rain is likely.`	[object Object] The causal claim becomes an association with a plausible direction.
TST-014	TEC-005	`1. Open Settings. Requirement: You need administrator access.`	`Prerequisite: Administrator access. 1. Open Settings.`	[object Object] The prerequisite precedes execution.
TST-015	TEC-011	`Click Save.`	`Select Save.`	[object Object] The instruction works across input methods.
TST-016	TEC-009	`Cause: The token expired. Fix it.`	`Symptom: Sign-in returns “token expired.” Generate a new token, retry sign-in, and confirm the account page opens.`	[object Object] Troubleshooting starts from observation and ends with verification.
TST-017	CPY-006	`The best analytics platform.`	`See conversion sources by campaign, page, and form in one report.`	[object Object] Generic superiority becomes a specific verifiable capability, not an unsupported ranking.
TST-018	CPY-013	`Only three spots left!`	`Three onboarding appointments remain for September; booking closes when they are filled.`	[object Object] Use only when operations verify the capacity and period.
TST-019	ACC-006	`Heading: Details`	`Heading: Eligibility requirements`	[object Object] The heading works out of context.
TST-020	ACC-009	`Choose the green button on the right.`	`Select Submit order.`	[object Object] The label survives color perception and reflow.
TST-021	ACC-010	`Invalid input.`	`Enter an email in the format name@example.com. Your other form entries are still saved.`	[object Object] The error explains recovery and state.
TST-022	ETH-004	`Plans start at $10.`	`Plans start at $10 per month for one user; taxes are extra.`	[object Object] Material price conditions appear with the price.
TST-023	EDT-003	`Source: The result may reduce risk. Edit: The result prevents harm.`	`The result may reduce risk.`	[object Object] The edit must not inflate modality or evidence.
TST-024	EDT-007	`Jordan asked Lee to revise their section.`	`Query: Does “their” refer to Jordan, Lee, or a jointly owned section?`	[object Object] The system asks rather than inventing the referent.
TST-025	LTX-005	`Revision is shorter but removes a safety condition.`	`Reject the revision and restore the condition.`	[object Object] Outcome gates override local concision.