SMS: Modelling metaphysics