约束性对象与延伸性对象。(a:vim,d:210208)(#形式逻辑,#碎片.)