OSM-L: Queries
1. Predicate calculus (with text symbols, e.g., ? is exists).
GuestNr(x) with Name(y) where exists z exists w (Guest(z) has
GuestNr(x) and Guest(z) has Name(y) and Guest(z) has
reservation on ArrivalDate(10 May) for Room(w))
ArrivalDate(10 May).Guest.Name