Corrected general syntax definition