“西南政法大学法学专业的本科生（Bx）都是高分录取的（Gx）”这一命题的逻辑形式，可用谓词公式表示为（）