public String toString() {
		String clauseSet = "";
		for (int i = 0; i < clauses.size() - 1; i++) {
			clauseSet += "(" + get(i) + ") AND ";
		}
		if (clauses.size() > 0) {
			clauseSet += "(" + get(clauses.size() - 1) +")";
		}
		return clauseSet;
	}