Museum(metropolitanMuseumOfArt) ∧ In(metropolitanMuseumOfArt, nYC)
Museum(whitneyMuseumOfAmericanArt) ∧ In(metropolitanMuseumOfArt, nYC)
Museum(museumOfModernArt) ∧ In(museumOfModernArt, nYC)
Include(metropolitanMuseumOfArt, byzantineArt) ∧ Include(metropolitanMuseumOfArt, islamicArt)
Include(whitneyMuseumOfAmericanArt, americanArt)
∃x (Museum(x) ∧ In(x, nYC) ∧ Include(x, americanArt))