Q(?X) <- -Accommodation(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -LuxuryHotel(?X), -Accommodation(?X), Hotel(?X).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -LuxuryHotel(?X), -Accommodation(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Accommodation(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -LuxuryHotel(?X), -Accommodation(?X), hasRating(?X, ?Y).
Q(?X) <- -Hotel(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Hotel(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -Hotel(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -Accommodation(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Hotel(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Accommodation(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -Hotel(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -Town(?X), -Accommodation(?X), LuxuryHotel(?X).
Q(?X) <- -Town(?X), -LuxuryHotel(?X), Accommodation(?X).
Q(?X) <- -Town(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -Town(?X), -LuxuryHotel(?X), Hotel(?X).
Q(?X) <- -Town(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -Town(?X), -LuxuryHotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Town(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -Town(?X), -LuxuryHotel(?X), hasRating(?X, ?Y).
Q(?X) <- -Town(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -Town(?X), -Accommodation(?X), Hotel(?X).
Q(?X) <- -Town(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Town(?X), -Accommodation(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Town(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Town(?X), -Accommodation(?X), hasRating(?X, ?Y).
Q(?X) <- -Town(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -Town(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Town(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Town(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -Town(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -Town(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -Town(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -Town(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasRating(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasRating(?Z, ?X), Accommodation(?X).
Q(?X) <- -Hotel(?X), -hasAccommodation(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasRating(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasRating(?Z, ?X), Hotel(?X).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasAccommodation(?X, ?Z), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasRating(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasRating(?Z, ?X), hasAccommodation(?Y, ?X).
Q(?X) <- -hasPart(?X, ?Z), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?X, ?Z), hasRating(?X, ?Y).
Q(?X) <- -hasRating(?X, ?Z), -hasRating(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasRating(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?X, ?Z), Capital(?X).
Q(?X) <- -Capital(?X), -hasAccommodation(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -Capital(?X), -RetireeDestination(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasPart(?X, ?Z), Capital(?X).
Q(?X) <- -Capital(?X), -hasPart(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -Capital(?X), -RetireeDestination(?X), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -Capital(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -Hotel(?X), -hasAccommodation(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasRating(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasRating(?Z, ?X), Hotel(?X).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -Accommodation(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasAccommodation(?X, ?Z), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasRating(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasRating(?Z, ?X), hasAccommodation(?Y, ?X).
Q(?X) <- -hasPart(?X, ?Z), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?X, ?Z), hasRating(?X, ?Y).
Q(?X) <- -hasRating(?X, ?Z), -hasRating(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasRating(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasAccommodation(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -Hotel(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -Hotel(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasAccommodation(?X, ?Z), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasRating(?Z, ?X), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasRating(?Z, ?X), hasAccommodation(?Y, ?X).
Q(?X) <- -hasPart(?X, ?Z), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?X, ?Z), hasRating(?X, ?Y).
Q(?X) <- -hasRating(?X, ?Z), -hasRating(?Z, ?X), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasRating(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasAccommodation(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -hasPart(?X, ?Z), -hasRating(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasRating(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -hasPart(?X, ?Z), -hasRating(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasRating(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -hasPart(?X, ?Z), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?X, ?Z), hasRating(?X, ?Y).
Q(?X) <- -hasRating(?X, ?Z), -hasRating(?Z, ?X), hasAccommodation(?Y, ?X).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasRating(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -Town(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Town(?X), -Beach(?X), hasPart(?Y, ?X).
Q(?X) <- -Town(?X), -RetireeDestination(?X), Capital(?X).
Q(?X) <- -Town(?X), -Capital(?X), RetireeDestination(?X).
Q(?X) <- -Town(?X), -Capital(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Town(?X), -Capital(?X), hasPart(?X, ?Y).
Q(?X) <- -Town(?X), -RetireeDestination(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Town(?X), -RetireeDestination(?X), hasPart(?X, ?Y).
Q(?X) <- -Town(?X), -BackpackersDestination(?X), NationalPark(?X).
Q(?X) <- -Town(?X), -NationalPark(?X), BackpackersDestination(?X).
Q(?X) <- -Beach(?X), -Accommodation(?X), LuxuryHotel(?X).
Q(?X) <- -Beach(?X), -LuxuryHotel(?X), Accommodation(?X).
Q(?X) <- -Beach(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -Beach(?X), -LuxuryHotel(?X), Hotel(?X).
Q(?X) <- -Beach(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -Beach(?X), -LuxuryHotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -LuxuryHotel(?X), hasPart(?Y, ?X).
Q(?X) <- -Beach(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -Beach(?X), -LuxuryHotel(?X), hasRating(?X, ?Y).
Q(?X) <- -Beach(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -Beach(?X), -Accommodation(?X), Hotel(?X).
Q(?X) <- -Beach(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Beach(?X), -Accommodation(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Accommodation(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -Accommodation(?X), hasPart(?Y, ?X).
Q(?X) <- -Beach(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Beach(?X), -Accommodation(?X), hasRating(?X, ?Y).
Q(?X) <- -Beach(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -Beach(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Hotel(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -Hotel(?X), hasPart(?Y, ?X).
Q(?X) <- -Beach(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Beach(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -Beach(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -Beach(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -hasAccommodation(?X, ?Z), hasPart(?Y, ?X).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -hasAccommodation(?Z, ?X), hasPart(?Y, ?X).
Q(?X) <- -Beach(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -Beach(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -hasPart(?X, ?Z), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -hasPart(?X, ?Z), hasPart(?Y, ?X).
Q(?X) <- -hasPart(?Z, ?X), -hasRating(?X, ?Z), Beach(?X).
Q(?X) <- -Beach(?X), -hasRating(?X, ?Z), hasPart(?Y, ?X).
Q(?X) <- -hasPart(?Z, ?X), -hasRating(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -hasRating(?Z, ?X), hasPart(?Y, ?X).
Q(?X) <- -City(?X), -RetireeDestination(?X), Capital(?X).
Q(?X) <- -City(?X), -Capital(?X), RetireeDestination(?X).
Q(?X) <- -City(?X), -hasAccommodation(?X, ?Z), Capital(?X).
Q(?X) <- -City(?X), -Capital(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasPart(?X, ?Z), Capital(?X).
Q(?X) <- -City(?X), -Capital(?X), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -hasAccommodation(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -City(?X), -RetireeDestination(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasPart(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -City(?X), -RetireeDestination(?X), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -Accommodation(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Capital(?X), Accommodation(?X).
Q(?X) <- -LuxuryHotel(?X), -RetireeDestination(?X), Capital(?X).
Q(?X) <- -LuxuryHotel(?X), -Capital(?X), RetireeDestination(?X).
Q(?X) <- -Capital(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Capital(?X), Hotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Capital(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Capital(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Capital(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -LuxuryHotel(?X), -Capital(?X), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -Capital(?X), hasRating(?X, ?Y).
Q(?X) <- -Accommodation(?X), -RetireeDestination(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -RetireeDestination(?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -NationalPark(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -NationalPark(?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -BackpackersDestination(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -BackpackersDestination(?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?Z, ?X), Accommodation(?X).
Q(?X) <- -RetireeDestination(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -RetireeDestination(?X), Hotel(?X).
Q(?X) <- -LuxuryHotel(?X), -RetireeDestination(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -RetireeDestination(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -LuxuryHotel(?X), -RetireeDestination(?X), hasPart(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -RetireeDestination(?X), hasRating(?X, ?Y).
Q(?X) <- -NationalPark(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -NationalPark(?X), Hotel(?X).
Q(?X) <- -LuxuryHotel(?X), -BackpackersDestination(?X), NationalPark(?X).
Q(?X) <- -LuxuryHotel(?X), -NationalPark(?X), BackpackersDestination(?X).
Q(?X) <- -NationalPark(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -NationalPark(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -NationalPark(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -NationalPark(?X), hasRating(?X, ?Y).
Q(?X) <- -Hotel(?X), -BackpackersDestination(?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -BackpackersDestination(?X), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?Z, ?X), Hotel(?X).
Q(?X) <- -BackpackersDestination(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -BackpackersDestination(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -BackpackersDestination(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -BackpackersDestination(?X), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?Z, ?X), hasAccommodation(?Y, ?X).
Q(?X) <- -hasPart(?Z, ?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -LuxuryHotel(?X), -hasPart(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -Accommodation(?X), -RetireeDestination(?X), Capital(?X).
Q(?X) <- -Capital(?X), -Accommodation(?X), RetireeDestination(?X).
Q(?X) <- -Capital(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -Capital(?X), -Accommodation(?X), Hotel(?X).
Q(?X) <- -Capital(?X), -Accommodation(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Capital(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Capital(?X), -Accommodation(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Capital(?X), -Accommodation(?X), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Capital(?X), -Accommodation(?X), hasRating(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -Hotel(?X), Capital(?X).
Q(?X) <- -Capital(?X), -Hotel(?X), RetireeDestination(?X).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?Z, ?X), Capital(?X).
Q(?X) <- -Capital(?X), -hasAccommodation(?Z, ?X), RetireeDestination(?X).
Q(?X) <- -RetireeDestination(?X), -hasRating(?X, ?Z), Capital(?X).
Q(?X) <- -Capital(?X), -hasRating(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -RetireeDestination(?X), -hasRating(?Z, ?X), Capital(?X).
Q(?X) <- -Capital(?X), -hasRating(?Z, ?X), RetireeDestination(?X).
Q(?X) <- -Capital(?X), -Hotel(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Capital(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -Capital(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Capital(?X), -Hotel(?X), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Capital(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -Capital(?X), -hasAccommodation(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Capital(?X), -hasAccommodation(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -Capital(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -hasRating(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -RetireeDestination(?X), Hotel(?X).
Q(?X) <- -Accommodation(?X), -RetireeDestination(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -RetireeDestination(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -Accommodation(?X), -RetireeDestination(?X), hasPart(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -RetireeDestination(?X), hasRating(?X, ?Y).
Q(?X) <- -NationalPark(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -NationalPark(?X), Hotel(?X).
Q(?X) <- -Accommodation(?X), -BackpackersDestination(?X), NationalPark(?X).
Q(?X) <- -Accommodation(?X), -NationalPark(?X), BackpackersDestination(?X).
Q(?X) <- -NationalPark(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -NationalPark(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -NationalPark(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -NationalPark(?X), hasRating(?X, ?Y).
Q(?X) <- -Hotel(?X), -BackpackersDestination(?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -BackpackersDestination(?X), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?Z, ?X), Hotel(?X).
Q(?X) <- -BackpackersDestination(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -BackpackersDestination(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -BackpackersDestination(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -BackpackersDestination(?X), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?Z, ?X), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?Z, ?X), hasAccommodation(?Y, ?X).
Q(?X) <- -hasPart(?Z, ?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -Accommodation(?X), -hasPart(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -Hotel(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -RetireeDestination(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -RetireeDestination(?X), -Hotel(?X), hasPart(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -RetireeDestination(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -RetireeDestination(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasRating(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -Hotel(?X), -BackpackersDestination(?X), NationalPark(?X).
Q(?X) <- -NationalPark(?X), -Hotel(?X), BackpackersDestination(?X).
Q(?X) <- -NationalPark(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -NationalPark(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -NationalPark(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -NationalPark(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -BackpackersDestination(?X), -hasAccommodation(?X, ?Z), NationalPark(?X).
Q(?X) <- -NationalPark(?X), -hasAccommodation(?X, ?Z), BackpackersDestination(?X).
Q(?X) <- -BackpackersDestination(?X), -hasAccommodation(?Z, ?X), NationalPark(?X).
Q(?X) <- -NationalPark(?X), -hasAccommodation(?Z, ?X), BackpackersDestination(?X).
Q(?X) <- -BackpackersDestination(?X), -hasPart(?X, ?Z), NationalPark(?X).
Q(?X) <- -NationalPark(?X), -hasPart(?X, ?Z), BackpackersDestination(?X).
Q(?X) <- -BackpackersDestination(?X), -hasRating(?X, ?Z), NationalPark(?X).
Q(?X) <- -NationalPark(?X), -hasRating(?X, ?Z), BackpackersDestination(?X).
Q(?X) <- -BackpackersDestination(?X), -hasRating(?Z, ?X), NationalPark(?X).
Q(?X) <- -NationalPark(?X), -hasRating(?Z, ?X), BackpackersDestination(?X).
Q(?X) <- -NationalPark(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -NationalPark(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -NationalPark(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -NationalPark(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -BackpackersDestination(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -Hotel(?X), -BackpackersDestination(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -BackpackersDestination(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -BackpackersDestination(?X), hasRating(?X, ?Y).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?Z, ?X), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?Z, ?X), hasAccommodation(?Y, ?X).
Q(?X) <- -hasPart(?Z, ?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -Hotel(?X), -hasPart(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -BackpackersDestination(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -BackpackersDestination(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -BackpackersDestination(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -BackpackersDestination(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -hasPart(?X, ?Z), -hasPart(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -hasAccommodation(?X, ?Z), -hasPart(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -hasPart(?Z, ?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -hasAccommodation(?Z, ?X), -hasPart(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -RuralArea(?X), -BackpackersDestination(?X), NationalPark(?X).
Q(?X) <- -RuralArea(?X), -NationalPark(?X), BackpackersDestination(?X).
Q(?X) <- -Town(?X), -AccommodationRating(?X), hasRating(?Y, ?X).
Q(?X) <- -UrbanArea(?X), -City(?X), Town(?X).
Q(?X) <- -Town(?X), -City(?X), UrbanArea(?X).
Q(?X) <- -Town(?X), -UrbanArea(?X), City(?X).
Q(?X) <- -UrbanArea(?X), -Capital(?X), Town(?X).
Q(?X) <- -Town(?X), -UrbanArea(?X), Capital(?X).
Q(?X) <- -UrbanArea(?X), -RetireeDestination(?X), Town(?X).
Q(?X) <- -Town(?X), -UrbanArea(?X), RetireeDestination(?X).
Q(?X) <- -UrbanArea(?X), -hasAccommodation(?X, ?Z), Town(?X).
Q(?X) <- -Town(?X), -UrbanArea(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -hasPart(?X, ?Z), Town(?X).
Q(?X) <- -Town(?X), -UrbanArea(?X), hasPart(?X, ?Y).
Q(?X) <- -Town(?X), -City(?X), Capital(?X).
Q(?X) <- -Town(?X), -City(?X), RetireeDestination(?X).
Q(?X) <- -Town(?X), -City(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Town(?X), -City(?X), hasPart(?X, ?Y).
Q(?X) <- Destination(?X), -LuxuryHotel(?X), AccommodationRating(?X).
Q(?X) <- -AccommodationRating(?X), -LuxuryHotel(?X), -Destination(?X).
Q(?X) <- -AccommodationRating(?X), Destination(?X), LuxuryHotel(?X).
Q(?X) <- Destination(?X), -Accommodation(?X), AccommodationRating(?X).
Q(?X) <- -AccommodationRating(?X), -Accommodation(?X), -Destination(?X).
Q(?X) <- -AccommodationRating(?X), Destination(?X), Accommodation(?X).
Q(?X) <- Destination(?X), -Hotel(?X), AccommodationRating(?X).
Q(?X) <- -AccommodationRating(?X), -Hotel(?X), -Destination(?X).
Q(?X) <- -AccommodationRating(?X), Destination(?X), Hotel(?X).
Q(?X) <- Destination(?X), -hasAccommodation(?Z, ?X), AccommodationRating(?X).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?Z, ?X), -Destination(?X).
Q(?X) <- -AccommodationRating(?X), Destination(?X), hasAccommodation(?Y, ?X).
Q(?X) <- Destination(?X), -hasRating(?X, ?Z), AccommodationRating(?X).
Q(?X) <- -AccommodationRating(?X), -hasRating(?X, ?Z), -Destination(?X).
Q(?X) <- -AccommodationRating(?X), Destination(?X), hasRating(?X, ?Y).
Q(?X) <- Destination(?X), -hasRating(?Z, ?X), AccommodationRating(?X).
Q(?X) <- -AccommodationRating(?X), Destination(?X), hasRating(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -Accommodation(?X), LuxuryHotel(?X).
Q(?X) <- -AccommodationRating(?X), -LuxuryHotel(?X), Accommodation(?X).
Q(?X) <- -AccommodationRating(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -AccommodationRating(?X), -LuxuryHotel(?X), Hotel(?X).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -AccommodationRating(?X), -LuxuryHotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -AccommodationRating(?X), -LuxuryHotel(?X), hasRating(?X, ?Y).
Q(?X) <- -AccommodationRating(?X), -LuxuryHotel(?X), hasRating(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -AccommodationRating(?X), -Accommodation(?X), Hotel(?X).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -AccommodationRating(?X), -Accommodation(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -AccommodationRating(?X), -Accommodation(?X), hasRating(?X, ?Y).
Q(?X) <- -AccommodationRating(?X), -Accommodation(?X), hasRating(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -AccommodationRating(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -AccommodationRating(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -AccommodationRating(?X), -Hotel(?X), hasRating(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?X, ?Z), hasRating(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -AccommodationRating(?X), -hasAccommodation(?Z, ?X), hasRating(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasPart(?X, ?Z), hasRating(?Y, ?X).
Q(?X) <- -AccommodationRating(?X), -hasRating(?X, ?Z), hasRating(?Y, ?X).
Q(?X) <- -Beach(?X), -RetireeDestination(?X), Capital(?X).
Q(?X) <- -Beach(?X), -Capital(?X), RetireeDestination(?X).
Q(?X) <- -Beach(?X), -Capital(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Beach(?X), -Capital(?X), hasPart(?X, ?Y).
Q(?X) <- -Capital(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -Capital(?X), hasPart(?Y, ?X).
Q(?X) <- -Beach(?X), -RetireeDestination(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -Beach(?X), -RetireeDestination(?X), hasPart(?X, ?Y).
Q(?X) <- -RetireeDestination(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -RetireeDestination(?X), hasPart(?Y, ?X).
Q(?X) <- -Beach(?X), -BackpackersDestination(?X), NationalPark(?X).
Q(?X) <- -Beach(?X), -NationalPark(?X), BackpackersDestination(?X).
Q(?X) <- -NationalPark(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -NationalPark(?X), hasPart(?Y, ?X).
Q(?X) <- -BackpackersDestination(?X), -hasPart(?Z, ?X), Beach(?X).
Q(?X) <- -Beach(?X), -BackpackersDestination(?X), hasPart(?Y, ?X).
Q(?X) <- -UrbanArea(?X), -Capital(?X), City(?X).
Q(?X) <- -UrbanArea(?X), -City(?X), Capital(?X).
Q(?X) <- -UrbanArea(?X), -RetireeDestination(?X), City(?X).
Q(?X) <- -UrbanArea(?X), -City(?X), RetireeDestination(?X).
Q(?X) <- -UrbanArea(?X), -hasAccommodation(?X, ?Z), City(?X).
Q(?X) <- -UrbanArea(?X), -City(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -hasPart(?X, ?Z), City(?X).
Q(?X) <- -UrbanArea(?X), -City(?X), hasPart(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -RetireeDestination(?X), Capital(?X).
Q(?X) <- -UrbanArea(?X), -Capital(?X), RetireeDestination(?X).
Q(?X) <- -UrbanArea(?X), -hasAccommodation(?X, ?Z), Capital(?X).
Q(?X) <- -UrbanArea(?X), -Capital(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -hasPart(?X, ?Z), Capital(?X).
Q(?X) <- -UrbanArea(?X), -Capital(?X), hasPart(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -hasAccommodation(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -UrbanArea(?X), -RetireeDestination(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -hasPart(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -UrbanArea(?X), -RetireeDestination(?X), hasPart(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -hasPart(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -UrbanArea(?X), -hasAccommodation(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -LuxuryHotel(?X), Capital(?X).
Q(?X) <- -City(?X), -Accommodation(?X), LuxuryHotel(?X).
Q(?X) <- -City(?X), -LuxuryHotel(?X), Accommodation(?X).
Q(?X) <- -City(?X), -LuxuryHotel(?X), RetireeDestination(?X).
Q(?X) <- -City(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- -City(?X), -LuxuryHotel(?X), Hotel(?X).
Q(?X) <- -City(?X), -LuxuryHotel(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), LuxuryHotel(?X).
Q(?X) <- -City(?X), -LuxuryHotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -City(?X), -LuxuryHotel(?X), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), LuxuryHotel(?X).
Q(?X) <- -City(?X), -LuxuryHotel(?X), hasRating(?X, ?Y).
Q(?X) <- -City(?X), -Accommodation(?X), Capital(?X).
Q(?X) <- -City(?X), -Hotel(?X), Capital(?X).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), Capital(?X).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), Capital(?X).
Q(?X) <- -City(?X), -hasRating(?Z, ?X), Capital(?X).
Q(?X) <- -City(?X), -Accommodation(?X), RetireeDestination(?X).
Q(?X) <- -City(?X), -Hotel(?X), Accommodation(?X).
Q(?X) <- -City(?X), -Accommodation(?X), Hotel(?X).
Q(?X) <- -City(?X), -Accommodation(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), Accommodation(?X).
Q(?X) <- -City(?X), -Accommodation(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -City(?X), -Accommodation(?X), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), Accommodation(?X).
Q(?X) <- -City(?X), -Accommodation(?X), hasRating(?X, ?Y).
Q(?X) <- -City(?X), -Hotel(?X), RetireeDestination(?X).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), RetireeDestination(?X).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), RetireeDestination(?X).
Q(?X) <- -City(?X), -hasRating(?Z, ?X), RetireeDestination(?X).
Q(?X) <- -City(?X), -Hotel(?X), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), Hotel(?X).
Q(?X) <- -City(?X), -Hotel(?X), hasAccommodation(?Y, ?X).
Q(?X) <- -City(?X), -Hotel(?X), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), Hotel(?X).
Q(?X) <- -City(?X), -Hotel(?X), hasRating(?X, ?Y).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?Z, ?X), hasAccommodation(?X, ?Y).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), hasAccommodation(?Y, ?X).
Q(?X) <- -City(?X), -hasAccommodation(?Z, ?X), hasRating(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?X, ?Z), hasPart(?X, ?Y).
Q(?X) <- -City(?X), -hasRating(?Z, ?X), hasPart(?X, ?Y).
Q(?X) <- Destination(?X), -Accommodation(?X), LuxuryHotel(?X).
Q(?X) <- Destination(?X), -LuxuryHotel(?X), Accommodation(?X).
Q(?X) <- Destination(?X), -Hotel(?X), LuxuryHotel(?X).
Q(?X) <- Destination(?X), -LuxuryHotel(?X), Hotel(?X).