diff --git a/cool2tatl/cool2tatl.sh b/cool2tatl/cool2tatl.sh
index 0c1ec628cabfc69644f02f0b17f2a7a49b711ebb..7c0c36c2070e0e19b79550be4e041508ffa7e2ce 100755
--- a/cool2tatl/cool2tatl.sh
+++ b/cool2tatl/cool2tatl.sh
@@ -1,17 +1,22 @@
 #!/bin/bash
 
+agentcnt="${1:-4}"
+aglist="$(seq 1 $agentcnt|tr '\n' ,)"
+aglist=${aglist%%,}
+
 cat \
 	| sed 's:True:(p \\/ ~p):g' \
 	| sed 's:False:(p /\\ ~p):g' \
 	| sed 's:\&:/\\:g' \
 	| sed 's:=>:->:g' \
 	| sed 's:|:\\/:g' \
-	| sed 's:<{[ ]*:<<:g' \
-	| sed 's:[ ]*}>:>>:g' \
-	| sed 's:\[{[ ]*:~<<:g' \
-	| sed 's:[ ]*}\]:>>~:g' \
+	| sed 's:\[{[ ]*:<<:g' \
+	| sed 's:[ ]*}\]:>>X :g' \
+	| sed 's:<{[ ]*:~<<:g' \
+	| sed 's:[ ]*}>:>>X ~:g' \
 	| sed -e :a -e 's:<<\([^ >]*\) [ ]*:<<\1,:g;ta' \
-	| cat
+	| sed 's,^,(,' \
+	| sed 's:$:) /\\ <<'"$aglist"'>>X(p \\/ ~p):'
 
 
 #     Top     -> tatlFm $ Dis p (Neg p)