SDF2 syntax definition formalism