Cracking the syntax for Set Analysis