lib/scripts/convert.pl

 }
 
 sub subst_RS {
   s/ RS ([\w\'\.]+)/ [THEN $1]/g;
   s/ RS \((.+?)\)/ [THEN $1]/g;
+  s/\(([\w\'\.]+ \[THEN [\w\'\.]+\])\)/$1/g;
   s/\] \[THEN /, /g;
   s/THEN sym\b/symmetric/g;
 }
 
 sub subst_RS_standard {

   s/\( /\(/g; s/ \)/\)/g; # remove leading and trailing space inside parentheses
   s/\[ /\[/g; s/ \]/\]/g; # remove leading and trailing space inside sq brackets
   s/ ?\( ?\)/\(\)/g;      # remove space before and inside empty tuples
   s/\(\)([^ ])/\(\) $1/g; # possibly add space after empty tuples
 
+  if(s/^\(EVERY\'\[(.*?)\]\s*(\d+)\)$/\($1 $2\)/) {
+    $goal = $2;
+    s/,/ $goal,/g;
+  }
   s/Blast_tac 1/blast/g;
   s/^Blast_tac (\d+)/{$prefer="prefer $1 "; "blast"}/e;
   s/Fast_tac 1/fast/g;
   s/^Fast_tac (\d+)/{$prefer="prefer $1 "; "fast"}/e;
   s/Slow_tac 1/slow/g;