Demo Rodin: create specification