填空题

【参考答案】

约束模式;推理模式