Docs for the set semantics tool