定义谓词如下：HIGHER(x，y):x比y长得高，定义公式father(x):x的父亲。李晓鹏比他父亲长得高。用谓词公式表示为()。