The current building, dating from 1709, is only two-thirds the size of the original, which burned down decades earlier.
If the fire didn't happen, today the building would still have its full size.
mnli hypothesis: If the fire didn't happen, today the building would still have its full size. premise: The current building, dating from 1709, is only two-thirds the size of the original, which burned down decades earlier.