Improve onestep-example output

GMLMIP-0.1/onestep-example.cpp

@@ -73,16 +73,18 @@ 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;
 					} else {
-						cout << " ¬p" << v;
+						cout << " ¬p" << (-v);
 					}
 				}
 				cout << " )";