/proj/dance.pl 'S=(((\!CS)&(A^B^\!CI0N))|(CS&(A^B^\!CI1N)))'