diff --git a/robotlab_safety/pluto_auto.py b/robotlab_safety/pluto_auto.py
index 957400d28829427df550de50a97a5561da2c101f..03bc043e3016300be138ad1d501e3d471f384324 100755
--- a/robotlab_safety/pluto_auto.py
+++ b/robotlab_safety/pluto_auto.py
@@ -17,11 +17,11 @@ class PlutoVariables:
         pass
 
     def codegen(self, expr):
-        m = re.match('([^=]+)=ALL\((.*)\)', expr)
+        m = re.match('([^=]+)=AND\{(.*),(.*)\}', expr)
         if m:
             lh = m.group(1)
             regexp = m.group(2).replace('*', '.*')
-            rh = [ "(%s+/SM_Pluto%d_Present)" % (v, self.by_name[v][0])
+            rh = [ m.group(3).format(v, pluto=self.by_name[v][0])
                    for v in self.by_name if re.match(regexp, v)]
             return("%s=%s" % (lh, '*'.join(rh)))
         raise Exception('Invalid expression', expr)
diff --git a/robotlab_safety/safety_2020.sps b/robotlab_safety/safety_2020.sps
index 7ee861e384be87ed526625908edb6a07297f758e..5ac0785b586730b4a0c9ae1d60b27a3ed36e3fdd 100644
Binary files a/robotlab_safety/safety_2020.sps and b/robotlab_safety/safety_2020.sps differ