Example: navigations context Flight inv: origin <> destination inv: origin.name = Amsterdam context Airport inv: arrivingFlights.maxNrPassengers < 1000 Airport Flight * * departTime: Time /arrivalTime: Time duration : Interval maxNrPassengers: Integer origin desti- nation name: String arriving Flights departing Flights
{}