将下面的语句谓词化为谓词公式，并求该谓词公式的前束范式。