Using the technique suggested here, where natural language is presented in a standard way, write plausible user requirements for the following functions:

■ The cash-dispensing function in a bank ATM

■ The spelling-check and correcting function in a word processor

■ An unattended petrol (gas) pump system that includes a credit card reader. The customer swipes the card through the reader and then specifies the amount of fuel required. The fuel is delivered and the customer’s account debited.