ReservationEvent
booking
ReserveSeatCmd
booking
receive
Cinema
TicketPrinter
reservations
BookingState