Discover ambiguities or omissions in the following statement of requirements for part of a ticket-issuing system:
An automated ticket machine sells rail tickets.
Users select their destination and input a credit card and a personal identification number.
The rail ticket is issued and their credit card account charged.
When the user presses the start button, a menu display of potential