Sets for merge

adds experimental support for the MLSS (Multi-Level Syllogistic with Singleton) fragment