4.5. Using the technique suggested here, where natural language descriptions are presented in a standard format, write plausible user requirements for the following functions:

 An unattended petrol (gas) pump system that includes a credit card reader. The customer swipes the card through the reader then specifies the amount of fuel required.

The fuel is delivered and the customer’s account debited.

 The cash-dispensing function in a bank ATM.

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