1% EXPECT: sat
2OPTION "logic" "ALL_SUPPORTED";
3x : SET OF INT;
4y : SET OF INT;
5z : SET OF INT;
6
7ASSERT CARD( x ) > CARD( y ) AND CARD( y ) > CARD( z );
8
9CHECKSAT;
10