4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {a : b . a =e= b }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {a : b . a = e }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (a = b) }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . a p}
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (var y : b) a}
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (op y : b) b}
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (pred y : b) }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {a : b . a =e= b }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . ys as b}
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (pred y : ba) }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (predy y : ba) }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (predy : ba) }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . (predy : ba) }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . exists1 (predy :: b__a) }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersort a = {x : b . exists predy : ba . a }
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersorts a ; %(bla)% c %{bla2}% %[fdg]%
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersorts a < b %(dafasdf)%
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersorts a, b,c, d < e
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersorts a=b=c=d; %()% b={a:s.b}; %()%
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersorts a ; a=d;d=b