fixed semilinear-set parser to deal with spaces.. also the one-element is now correctly parsed