Z notation simple exercise

[dreadmann]

I am new in Z notation and I need to solve these two problems.

"When an insurance policy is agreed between the client and the insurance agent, the system should send an email to the client with the content of the agreement"

"If a person owns more than one house, the assessed value of the houses is discounted by the number of the houses (i.e. an owner of 2 houses gets 2% discount, and so on)"

Thanks for any help.

 

[saw792]

You need to post the given types as well as the defined constants and then we can help you. It sounds like you're asking for us to do your homework question and I'm not willing to just solve it for you, although I will happily help you along the right track. Post what you currently have.