03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {a : b . a =e= b}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {a : b . a = e}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . a = b}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . a p}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . (var y : b) a}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . (op y : b) b}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . (pred y : b)}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {a : b . a =e= b}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . ys as b}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . (pred y : ba)}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . (predy y : ba)}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . (predy : ba)}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . (predy : ba)}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . exists1(predy :: b __ a)}
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a = {x : b . exists predy : ba . a}
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersorts a; %(bla)%
03a6bbff551286168d0b15dc53476c2ede4e60d0Christian Maedersort a < b %(dafasdf)%
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedersorts a, b, c, d < e
4c20d89b174474beb5f38cc4d47b1ff983c676a9Christian Maedersorts a = b = c = d; %()%
4c20d89b174474beb5f38cc4d47b1ff983c676a9Christian Maeder b = {a : s . b} %()%