Q(?X,?Y) <- -LuxuryHotel(?X), -City(?Y), hasAccommodation(?Y, ?X).
Q(?X,?Y) <- -LuxuryHotel(?X), -UrbanArea(?Y), hasAccommodation(?Y, ?X).
Q(?X,?Y) <- -LuxuryHotel(?X), -Capital(?Y), hasAccommodation(?Y, ?X).