设A(x):x是人,B(x):x是工人,则命题“有人是工人”可符号化为( ).