Understanding city dynamics by analyzing investment processes - an integrated formal and semantic approach | Synapse