{x|x is a male who is registered with selective service} ___ {x|x is a male who in the army}