三项命题分别承担关系性分析、支持与可持续性解释,以及结构性约束分析的任务。

系统交换命题要求进入具体关系;位置约束命题帮助辨认权利、资源与行动边界;有效回流命题进一步考察可用支持及其与持续参与的关系。三项命题共同构成分析框架,但各自具有不同的证明要求。