3.2.3 序列谓词