可以提升表达逻辑的框架模型