premise: they are pursuing a general program of renovation to the entire property
hypothesis: a specific type of renovation is frankfurt on the main (or Frankfurt on the Main, Frankfort), defined as 'a German city; an industrial and commercial and financial center' .