A small Pinacoteca art museum is across the square.
There is an art museum across the square.
mnli hypothesis: There is an art museum across the square. premise: A small Pinacoteca art museum is across the square.