Feature system quantification language by Bellert