What's the plan for implementing value comparison constraints? As an example from my CinemaBookings model, a booking for N seats must not allocate more than N seats. Using NORMA Pro, I can derive the number of seat allocations for a booking, but I need to enforce that to be less then or equal to the number of seats booked.
Also, I'd like to know how you plan to verbalise them. In CQL, they will look like this (this includes the allocated Count aggregate derivation):
for each Booking (in which some Person booked some Number of seats for some Showing),
count of Seat in (that Booking has some allocated Seat) <= that Number;