``The first order theory of specialisations''