x : BITVECTOR(32);
QUERY (x[7:2][2:2] = x[4:4]);