Overture set theory

What's included in figure for one KW?

[albert]

Really basic question, sorry if covered before but I couldn't find it:

Overture STST gives a figure for one KW, and figures for combinations of that KW + other KWs.

I guess the latter are included in the former, right?