Write in z notation A restaurant customer service system maintains a record of orders, which can have a status of received, served, and paid. Each order is a selection from the menu and is associated with the table from which it is made. There may be several orders on one table, and the order of accepted orders from each individual table is irrelevant, but the number of identical orders is recorded. After it is served, the order changes its status to serviced, and after it is paid $-$ to the status paid.

A$)$ Record the basic and initial state of the system for a given restaurant.

B$)$ Record with robust recording the acceptance of an order from a given table.

C$)$ Robustly record the service of the table when it transitions to served status.

D$)$ Record a report of all the same orders in the restaurant with status accepted at a given time.

E$)$ Record a statement of the state of the tables at a given time.