Added intro to syntax definition