Behind the red facade is a structure of masonry hauled from the Portuguese citadel.
The masonry behind the facade was hauled from a Portuguese citadel.
mnli hypothesis: The masonry behind the facade was hauled from a Portuguese citadel. premise: Behind the red facade is a structure of masonry hauled from the Portuguese citadel.