motor glasgow columns power motoren fountains column auto theorem proving bmw energy england solar proof planning doors scotland university of edinburgh postgraduate webpage development edinburgh electricity knowledge representation