Updated syntax definition