diff --git a/GMLMIP-0.1/onestep-example.cpp b/GMLMIP-0.1/onestep-example.cpp
index a6ab821e0992537e081b4f433d35a52d9f77d038..3c66fac23c25125430d6a445135a6cd6343dc396 100644
--- a/GMLMIP-0.1/onestep-example.cpp
+++ b/GMLMIP-0.1/onestep-example.cpp
@@ -73,21 +73,23 @@ int main (int argc, char *argv[]){
 		cout << vsa.size() << " rules\n";
 		for (RuleCollection::iterator it = vsa.begin(); it != vsa.end(); ++it) {
 			const set<set<int> > &r = *it;
-			cout << "\\/(";
+			bool first = true;
+			cout << "(\\/ ";
 			for (set<set<int> >::iterator jt = r.begin(); jt != r.end(); ++jt) {
 				const set<int>& clause = *jt;
-				cout << " /\\(";
+				if (first) first = false; else cout << "\n    ";
+				cout << "(/\\";
 				for (set<int>::iterator kt = clause.begin(); kt != clause.end(); ++kt) {
 					int v = *kt;
 					if (v > 0) {
-						cout << " p" << v;
+						cout << "  p" << v;
 					} else {
-						cout << " ¬p" << v;
+						cout << " ¬p" << (-v);
 					}
 				}
 				cout << " )";
 			}
-			cout << " )";
+			cout << ")";
 			cout << endl << endl;
 		}
 		f->clear_maps();