填空题

【参考答案】

基于元组的检查子句;断言