premise: Everyone has visited United Kingdom, Luxembourg, Haiti, Vanuatu, Belize, Marshall Islands, Iran, Afghanistan, Portugal, Federated States of Micronesia, Israel, Georgia, Albania, Tajikistan, Bhutan, Uruguay and Venezuela
hypothesis: Frederick didn't visit Senegal