x : BITVECTOR(32);
QUERY (x[7:2][3:1] = x[5:3]);