syntax file of SNL