[X in L | B: BOOL] [E | X in L] [E | X in L and B] where L: LIST, B: BOOL, E: expression returns LIST
/**/ [N in 1..10 | IsPrime(N)]; [2, 3, 5, 7] /**/ [N^2 | N in 1..10 and IsPrime(N)]; [4, 9, 25, 49]