Improve and fixup cool2tatl.sh

cool2tatl/cool2tatl.sh

 #!/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)