(a) If the given statement is assumed to be legal, then cd must be a scalar and not a struct, so the reference to "structure cd" is incorrect.
(b) ab is presumably a struct, which is a member of xy. So this statement is correct, although the possibility exists that ab could be a union, also making this statement incorrect.