SMS: Quantitative syntax analysis