The downpayment in OCL
The following figure shows the individual mask of a downpayment. Instead of the fields, the underlying OCL expressions are shown: