36 / 47

谓词公式是() 。