please comple that all questions

Exercise 4.3 The following is an extract from the specification of a financial system. Convert it to predicate calculus. 1. The system is to process a number of transactions stored in an update file. There will never be more than 100 transactions in the file. 2. There are two types of transactions: account transactions and report transac- tions. The account transaction will never contain more than five fields unless the first field contains an integer 1; in this case the transaction will contain between five and 10 fields. The report transaction will contain either two or three fields. 3. If the update file contains more than 80 transactions, then a warningi message should be sent to the operator's VDU. If the update file contains more than 90 transactions, then a warning2 message should be sent to the operator's VDU. 4. If a transaction contains more than the allowable number of fields, then a warnings message is sent to the operator's VDU. Exercise 4.3 The following is an extract from the specification of a financial system. Convert it to predicate calculus. 1. The system is to process a number of transactions stored in an update file. There will never be more than 100 transactions in the file. 2. There are two types of transactions: account transactions and report transac- tions. The account transaction will never contain more than five fields unless the first field contains an integer 1; in this case the transaction will contain between five and 10 fields. The report transaction will contain either two or three fields. 3. If the update file contains more than 80 transactions, then a warningi message should be sent to the operator's VDU. If the update file contains more than 90 transactions, then a warning2 message should be sent to the operator's VDU. 4. If a transaction contains more than the allowable number of fields, then a warnings message is sent to the operator's VDU