Precise requirement language
Clarify event triggers, references, quantifiers, thresholds and bilingual truth conditions.
Distinguish entering a state from remaining in it
Write an event trigger using both old and new state.
Replace an ambiguous “it” with the exact record and field
Name the object before specifying an effect.
Specify “every member” rather than “a member”
Use a collection quantifier and define the empty collection case.
Distinguish a minimum count from an exact count
Include the above-threshold case when writing a counted-condition rule.
Review bilingual rules against shared case outcomes
Write each language naturally while preserving the permitted combinations.