please answer asap

C. Z Notation Exercise : Consider the following Z specification for a system which records bank accounts: [Account AccType.N) AccType: current savings BankAccount Known: P Account Amount: N Balance: Account mount Know-dom Balance c. Write the GetAccount Type schema. It specifies an operation that takes an account as input and returns its type according to the balance amount, if the balance is more than or tequal 10000 then it will return the type as Savings otherwise it is considered Current